UOR Operad Composition

IRI
https://uor.foundation/operad/
Prefix
operad:
Space
kernel
Comment
Structural type nesting via operad composition. Governs how types compose: Table(Tuple(Sequence(Symbol(...)))).

Imports

  • https://uor.foundation/type/
  • https://uor.foundation/carry/
  • https://uor.foundation/morphism/

Classes

NameIRISubclass OfDisjoint WithComment
StructuralOperadhttps://uor.foundation/operad/StructuralOperadhttp://www.w3.org/2002/07/owl#ThingThe composition structure on the eight structural types. Governs how types nest.
OperadCompositionhttps://uor.foundation/operad/OperadCompositionhttp://www.w3.org/2002/07/owl#ThingA specific nesting: outer type F applied to inner type G.

Properties

NameKindFunctionalDomainRangeComment
operadStructureObjecttruehttps://uor.foundation/operad/StructuralOperadhttps://uor.foundation/operad/StructuralOperadThe structural operad defining this composition.
outerTypeObjecttruehttps://uor.foundation/operad/OperadCompositionhttps://uor.foundation/type/TypeDefinitionThe outer type F in the nesting F(G).
innerTypeObjecttruehttps://uor.foundation/operad/OperadCompositionhttps://uor.foundation/type/TypeDefinitionThe inner type G in the nesting F(G).
composedTypeObjecttruehttps://uor.foundation/operad/OperadCompositionhttps://uor.foundation/type/TypeDefinitionThe resulting composed type F(G).
composedSiteCountDatatypetruehttps://uor.foundation/operad/OperadCompositionhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerSite count of the composed type F(G).
composedGroundingObjecttruehttps://uor.foundation/operad/OperadCompositionhttps://uor.foundation/morphism/GroundingMapGrounding of the composed type F(G).