There are many definitions of categories in Agda, but this one is mine.
Primary LanguageAgda
Categories ========== There are many definitions of categories in Agda, but this one is mine.