agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard

verified publisher icon pcapriotti
→

Metadata

Category theory and algebra

trafficstars

agda-categories

Basic categories and algebra in HoTT.

Dependencies: agda-base

← Metadata

27
Stars
3
Forks
Watchers

Owner

verified publisher icon pcapriotti

Metadata

Category theory and algebra

Back