Core¶
Core modules define the small mathematical vocabulary behind Topos: objects,
morphisms, categories, and the Omega lattice used to represent quality
verdicts. Most users should begin with evaluation or MCP APIs; use this section
when extending the underlying model.
|
Category Module |
|
Morphism Module In the category of Programs, we treat source code not as static text, but as a 'Morphism' (f: A → B) between computational states. |
|
Object Module In Category Theory, an 'Object' is an abstract entity that serves as the domain or codomain of morphisms. In the category of Programs, we model the Abstract Syntax Tree (AST) as our primary object. |
|
Omega — The Subobject Classifier of the Topos |