pr4xis 0.29.0

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! 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,
    is_grounding_functor_kind,
};