pr4xis 0.22.0

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines
Documentation 
1
2
3
4
5
6
7
8
9

//! Category theory — the substrate ontology grounding `category/arrow.rs`,
//! `category/functor.rs`, `category/adjunction.rs`, `category/transformation.rs`.
//! Names the concepts (Morphism, Arrow, Functor, NaturalTransformation,
//! Adjunction, Identity, Composition, …) that core's Rust traits and structs
//! realise, per Mac Lane (1971), Awodey (2010), Bénabou (1967), Leinster (2004).

pub mod ontology;

pub use ontology::{CategoryTheoryCategory, CategoryTheoryConcept, CategoryTheoryOntology};