Category theory & type theory in Agda. This repo is intended for my (@ahubers) personal use in learning category theory and category theoretic semantics; for a full-fledged and reputable category theory library, please use Agda Categories or 1lab.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Category theory & type theory in Agda. This repo is intended for my (@ahubers) personal use in learning category theory and category theoretic semantics; for a full-fledged and reputable category theory library, please use Agda Categories or 1lab.