jonoodle @ionchy@types.pl

I love drawing the funny diagrams. I've decided to be a category theorist now even if all my current understanding is informal

When I'm at Penn I'll be sitting there at my desk at 3pm looking at "lunch?" messages in #food-room on the splack and missing everyone

Me: idk how ppl can work and watch a show at the same time. I can't multitask like that at all
Also me: immediately switches to my browser window and twitter tab the moment there's a lull and I'm not fully engaged

Baby's First Category Theory Proof 😌

There's someone in our group whose first exposure to pattern matching might be Agda... oof
Come to think of it though, everything we've been doing could've been done in Haskell, idk when we're going to get to dependent types

I'm so fucking itchy I hate this I wanna be OUTSIDE but the outside HATES ME

We've got our fourth positive COVID test today... unless they were already included in the count idk. I only know one of the lecturers caught it

Abductive reasoning (when you try to convince your captors to let you go)

What is a function Mu F -> Cofree F A ???

how tf do I draw a histomorphism

Nope itchy itchy. Back to the dorms it is

I think it might've just been Powell's. You know, the one in Portland 4h away

I heard Eugene has a good bookstore but from maps I can't tell which one it is

Perhaps I shall get a souvenir

What do I do now. I wanted to draw out mutumorphisms but what after...

Two ppl I just met, immediately after shaking hands: "I guess we shouldn't be doing that"

Idk if that's a universal property. It's an equation alright

mutu phi psi . in = (fork phi psi) . fmap (mutu phi psi)
Isn't that lovely

I've figured out the universal property for para and mutu but I don't see it for zygo