comp-cat-rs 0.4.0

Computational category theory in Rust: all constructions as Kan extensions
Documentation