Ontology Reference

33 namespaces in 3 spaces: Kernel (17) Bridge (13) User (3)

Algebraic Identities

Browse 624 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 21 32 1878 kernel
op UOR Operations 19 42 663 kernel
query UOR Queries 7 10 3 bridge
resolver UOR Resolvers 26 47 8 bridge
type UOR Type System 39 86 17 user
partition UOR Partitions 11 28 0 bridge
observable UOR Observables 50 57 14 bridge
carry UOR Carry Algebra 5 15 0 kernel
homology UOR Homology 14 35 5 bridge
cohomology UOR Cohomology 10 20 4 bridge
proof UOR Proofs 16 27 656 bridge
derivation UOR Derivations 8 22 6 bridge
trace UOR Computation Traces 7 30 7 bridge
cert UOR Certificates 13 26 0 bridge
morphism UOR Transforms and Morphisms 20 56 7 user
state UOR State 15 43 7 user
reduction UOR Euler Reduction 38 93 44 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 15 12 kernel
parallel UOR Parallel Composition 5 10 0 kernel
stream UOR Productive Streams 6 13 0 kernel
failure UOR Failure Algebra 12 11 0 kernel
linear UOR Linear Resources 6 8 0 kernel
recursion UOR Bounded Recursion 7 10 0 kernel
region UOR Address Regions 5 11 0 kernel
boundary UOR IO Boundary 8 12 0 bridge
conformance UOR Conformance Shapes 30 49 10 bridge