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
13//! primitive/ The ONE primitive: Kan extensions
14//! collapse/ Every classical concept derived from primitive
15//! effect/ Cats-Effect/ZIO-style runtime built on collapse
16//! ```
17//!
18//! The `effect` layer is why this crate exists: it provides a practical
19//! effect system whose design is *justified* by the categorical collapses
20//! underneath. IO, Resource, Fiber, and Stream are all specific Kan
21//! extensions.
22
23pub mod foundation;
24pub mod primitive;
25pub mod collapse;
26pub mod effect;