abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-09-11 17:08:54 +03:00
Code Issues Packages Projects Releases Wiki Activity
260 Commits 8 Branches 0 Tags 69 MiB
master
Commit Graph

2 Commits

Author SHA1 Message Date
Boris Marinov
dd5bc0159c stuff 2023-07-19 01:14:43 +03:00
Boris Marinov
ae171446c7 Orders as categories 2021-02-24 18:39:55 +02:00