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(...)))).

View documentation reference

This is a kernel-space namespace in the Define stage of the PRISM pipeline. It provides the immutable algebraic substrate — ring structure, schema vocabulary, and operation algebra.

Learn more: Pipeline Overview

Imports

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

Classes

Name	Subclass Of	Disjoint With	Comment
`StructuralOperad`	`Thing`		The composition structure on the eight structural types. Governs how types nest.
`OperadComposition`	`Thing`		A specific nesting: outer type F applied to inner type G.

Properties

Name	Kind	Functional	Domain	Range	Comment
`operadStructure`	Object	true	`StructuralOperad`	`StructuralOperad`	The structural operad defining this composition.
`outerType`	Object	true	`OperadComposition`	`TypeDefinition`	The outer type F in the nesting F(G).
`innerType`	Object	true	`OperadComposition`	`TypeDefinition`	The inner type G in the nesting F(G).
`composedType`	Object	true	`OperadComposition`	`TypeDefinition`	The resulting composed type F(G).
`composedSiteCount`	Datatype	true	`OperadComposition`	`nonNegativeInteger`	Site count of the composed type F(G).
`composedGrounding`	Object	true	`OperadComposition`	`GroundingMap`	Grounding of the composed type F(G).