In this post and the next, I want to try out a new idea and see where it leads. It goes back to where magnitude began, which was the desire to unify elementary counting formulas like the ...

We’re brought up to say that the dual concept of injection is surjection, and of course there’s a perfectly good reason for this. The monics in the category of sets are the injections, the epics are ...

We’re brought up to say that the dual concept of injection is surjection, and of course there’s a perfectly good reason for this. The monics in the category of sets are the injections, the epics are ...

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...

Jan 19, 2025 09:22 Answering as one of the “quiver representation people”: It seems like the cofree representations you are referring to are the ...

Jan 16, 2025 19:51 Ah, now that’s a very interesting point. Someone who’s fluent in dagger categories would probably have further thoughts about that.

Jan 13, 2025 01:49 Also, it seems that you didn’t explicitly show that the existence of identity functions for every set, while in the ...

Hello [email protected]. So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the theory ...