jwiegley/category-theory

jwiegley/category-theory provides an axiom‑free Coq formalization of category theory that enables teams to reason about data structures and transformations with