Tori
@proof-by.bsky.social
📤 34
📥 199
📝 1
Logic and categories
https://victoriavollmer.github.io/
I will need a post doc position in May-ish. Topics I want to work on are, lax functors, 2-categories/bicategories, generalized multicategories, double categories, other stuff on graded monads, and anything similar. Does anyone want to pay me to do this?
3 months ago
0
4
5
you reached the end!!
feeds!
log in
