Ontology Reference

34 namespaces in 3 spaces: Kernel (17) Bridge (14) User (3)

Algebraic Identities

Browse 642 verified identities across all verification domains.

Dependency Explorer

Interactive graph of namespace import relationships.

All Namespaces

PrefixLabelClassesPropertiesIndividualsSpace
u UOR Content Addressing 1 6 0 kernel
schema UOR Schema 22 35 1974 kernel
op UOR Operations 19 43 696 kernel
query UOR Queries 7 10 3 bridge
resolver UOR Resolvers 32 50 13 bridge
type UOR Type System 36 93 31 user
partition UOR Partitions 15 33 4 bridge
foundation UOR Foundation Layout Invariants 1 1 4 bridge
observable UOR Observables 57 58 14 bridge
carry UOR Carry Algebra 6 15 0 kernel
homology UOR Homology 14 35 5 bridge
cohomology UOR Cohomology 10 20 4 bridge
proof UOR Proofs 17 30 678 bridge
derivation UOR Derivations 12 27 6 bridge
trace UOR Computation Traces 8 30 7 bridge
cert UOR Certificates 18 32 0 bridge
morphism UOR Transforms and Morphisms 20 56 11 user
state UOR State 15 45 7 user
reduction UOR Euler Reduction 41 101 62 kernel
convergence UOR Convergence Tower 5 15 8 kernel
division UOR Division Algebras 5 9 7 kernel
interaction UOR Interaction Algebra 9 25 0 bridge
monoidal UOR Monoidal Composition 3 8 0 kernel
operad UOR Operad Composition 2 6 0 kernel
effect UOR Effect Algebra 9 14 0 kernel
predicate UOR Predicates and Dispatch 9 18 19 kernel
parallel UOR Parallel Composition 5 12 0 kernel
stream UOR Productive Streams 6 15 0 kernel
failure UOR Failure Algebra 12 11 0 kernel
linear UOR Linear Resources 6 9 0 kernel
recursion UOR Bounded Recursion 7 10 0 kernel
region UOR Address Regions 5 11 0 kernel
boundary UOR IO Boundary 8 10 0 bridge
conformance UOR Conformance Shapes 32 54 48 bridge