Tori

@proof-by.bsky.social

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?