{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Condition Category: 
A Condition Category is a class of  Condition Property Type.Example: Measurement Types (Performance, Security, Cost), PESTEL (political, economic, social, environmental, legal)It is used to group Condition Property Type(ies) by domain of concerns represented by Family of Measurement.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 6cfb6ef26a0f15e4 where -- ========== Condition Category

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import f69619236a0f8dcd public -- Category
open import 0eb97aff6855cd23 public -- Model Property Block
open import 6f9c71356a0f3116 public -- Family of Measurement

postulate
  ConditionCategory : ∀ {u} → Category u

postulate --  ConditionCategory is subTypeOf Category
  st-6cfb6f166a0f166b : ∀ {u} → (ConditionCategory {u}) ⊏⋆ₑ (Category u)

postulate --  ConditionCategory is subTypeOf ModelPropertyBlock
  st-c2f2a61c66ea3a14 : ∀ {u} → (ConditionCategory {u}) ⊏⋆ₑ (ModelPropertyBlock {u})

-- == Relationships =======================

{- Family of Measurement:  -}
postulate -- Relation: Family of Measurement
  familyOfMeasurement : ∀ {u} → classOfMixedOrderRelation  (ConditionCategory {u}) (FamilyOfMeasurement {u})