comp-cat-rs 0.2.2

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