vyre-primitives 0.4.1

Compositional primitives for vyre — marker types (always on) + Tier 2.5 LEGO substrate (feature-gated per domain).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Categorical primitives (P-PRIM-16/17/18).
//!
//! Pure-CPU primitives over finite categories: Yoneda embedding,
//! adjoint-pair detection, Kan extension along a functor. The pass
//! scheduler / functorial_pass_composition substrate consumes these
//! to reason about pass equivalences and free-functor laws.
//!
//! Categories here are finite: a fixed object set + a Hom-set lookup
//! table. Morphisms are u32 ids, composition is a `(f, g) → f∘g`
//! lookup, identities are `id_X` per object. Functors map objects
//! and morphisms.

pub mod adjoint;
pub mod kan_extension;
pub mod yoneda;

pub use adjoint::{is_adjoint_pair, AdjointPair, FiniteFunctor};
pub use kan_extension::{kan_extension_left, kan_extension_right};
pub use yoneda::{yoneda_embedding, yoneda_natural_iso, FiniteCategory};