copumpkin / categories

Categories parametrized by morphism equality, in Agda
147Updated 5 years ago

Related projects

Alternatives and complementary repositories for categories