PrototypeCommon
copumpkin/categories
Categories parametrized by morphism equality, in Agda
- Owner
- copumpkin (personal account)
- Stars
- Stars: 154
- Forks
- Forks: 23
- Language
- Agda
- License
- None
- Created
- 2011
- Topics
- category-theoryagda
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Agda
All Agda repos- pigworker/CS410-17Stars: 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 237AgdaPrototype
- agda/agda2hsStars: 210AgdaPrototype
- thehottgame/TheHoTTGameStars: 141AgdaPrototype
- ice1000/BooksStars: 140AgdaPrototype
- gallais/agdarsecStars: 138AgdaPrototype