agda-categories topic
List
agda-categories repositories
categorical-automata
15
Stars
1
Forks
Watchers
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/...