Computational applied category theory in Rust: finite sets, colimits, and (co)presheaves.
CRDTs as categorical colimits, built on comp-cat-rs
The agent the mathematics wants — thermodynamically closed, cohomologically self-aware, categorically closed organism
GAT (Generalized Algebraic Theory) engine for panproto
Categorical core of the Nucleus substrate: Session (the agent action), Projection (the verifiable record functor — Identity, Capability, Flow, Economic, …), and Receipt (the Ed25519-signed colimit). Lightweight, no runtime deps. See docs/architecture/substrate.md.
Abstract category theory in Rust — categories, functors, natural transformations, adjunctions, limits, colimits, monads, and the Yoneda lemma, with an agent-protocol composition application.
Categorical host layer for wgpu compute: adapter, device, buffers, shaders, and dispatches expressed as comp-cat-rs Io/Resource combinators
Computational category theory in Rust: all constructions as Kan extensions
Core re-export facade for panproto
Built-in protocol definitions for panproto
Declarative theory DSL for panproto with Nickel, JSON, and YAML support
The regular-expression-as-linear-logic interpretation and its implementation