GitHub - strake/category.agda: Formulation of category theory in Agda · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
Algebra/Monoid		Algebra/Monoid
Category		Category
.gitignore		.gitignore
Category.agda		Category.agda

About

Formulation of category theory in Agda

mathematics category-theory foundations mathematical-foundations-of-informatics

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%