comp-cat-rs 0.5.1

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