A DSL for the internal language of a topos

Topos theory in lean

Notes on how to use the internal language of toposes in algebraic geometry

A specialised computer algebra system for topos theory.

Some notes on the independence of the continuum hypothesis.

Computational tool for tiny presheaf topoi

A McCord Functor for Alexandroff Categories

Cognosis branch of Morphological Source Code (MSC), implemented in Python3 for contemporary hardware. Operates as a quantized kernel of agentic motility, akin to a Hilbert space kernel; augmented by an AdS/CFT-dual Noetherian jet space enabling topos-invariant syntax-lift/lower, morphological differentiation, and morphosemantic integration.

A rewrite of the Quiver frontend to use Bootstrap CSS so that it can be used as a diagram editor on all platforms having a web browser.

Ontogeny and pedagogy of Morphological Source Code (MSC), implemented in Python3 for contemporary hardware. Operates as a quantized kernel of agentic motility, akin to a Hilbert space kernel; augmented by an AdS/CFT-dual Noetherian jet space enabling topos-invariant syntax-lift/lower, morphological differentiation, and morphosemantic integration.