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 ...

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 19, 2025 09:22 Answering as one of the “quiver representation people”: It seems like the cofree representations you are referring to are 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 ...

Jan 22, 2025 Warming up to a dual concept to magnitude, with an aside on a new connection between magnitude and entropy.

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 ...

Dec 25, 2024 03:44 Also I thought I should mention that this conversation inspired me to collate my thoughts on some of these mathematical ...

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 3, 2025 03:30 Heribert Schütz wrote a program that lets you take various 11-pointed stars of the sort described above and fold them ...

Jun 2, 2014 Summarizes the approach to coherence theorems expressed as a rectification for pseudoalgebras for a 2-monad using codescent objects, following Steve Lack.