affine-cat

Category theory native to Rust's affine, monoidal reality: lawful duplication, graded functors, box-free applicatives, Moore-machine wiring, mutation-as-lens, and law-first recursion schemes (derive + Agda-mechanized driver disciplines).