comp_cat_rs/lib.rs
1//! # comp-cat-rs
2//!
3//! Computational category theory in Rust: all constructions as Kan extensions.
4//!
5//! This crate is the Rust implementation of the thesis formalized in
6//! `comp-cat-theory` (Lean 4): every constructive computation in category
7//! theory is a Kan extension, and every verification is a decision problem.
8//!
9//! ## Architecture
10//!
11//! ```text
12//! foundation/ Traits: Category, Functor, NatTrans, MonoidalCategory, Braided, Symmetric
13//! primitive/ The ONE primitive: Kan extensions
14//! collapse/ Every classical concept derived from primitive
15//! Free categories, pullbacks, spans
16//! effect/ Cats-Effect/ZIO-style runtime built on collapse
17//! ```
18//!
19//! The `effect` layer provides a practical effect system whose design is
20//! *justified* by the categorical collapses underneath. IO, Resource,
21//! Fiber, and Stream are all specific Kan extensions.
22//!
23//! The `foundation` monoidal hierarchy and `collapse` free category /
24//! span / pullback modules provide the infrastructure for building
25//! compositional ZK proof systems (e.g. halo2-style circuit categories)
26//! on top of this crate.
27
28pub mod foundation;
29pub mod primitive;
30pub mod collapse;
31pub mod effect;