Tori (@proof-by.bsky.social)

Tori @proof-by.bsky.social

📤 26 📥 198 📝 1

Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position 🫩

you reached the end!!