double-categories topic
List
double-categories repositories
awesome-double-categories
24
Stars
2
Forks
Watchers
A list of works and resources about double category theory, with a particular focus on applications.
locus
17
Stars
1
Forks
Watchers
A specialised computer algebra system for topos theory.