copumpkin / categories

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

Related projects

Alternatives and complementary repositories for categories