comp-cat-rs 0.5.0

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