🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

<<Just consult a score of recent textbooks; discard any that seem a little different from the rest; those that are alike except for variation in offences to the language in which they are written will give you what "tradition" is in its present phase.>> C. "Savage" Truesdell

"Knowing that the Riemann-Hilbert correspondence is an equivalence of triangulated categories may feel empowering, but as a matter of technique, it is mere stardust compared with the power of being able to write in full the 2-dimensional universal property of a lax limit."

math: absolutely not a scam invented to please our quirks

— The species must flow. He who controls the species controls the universe.

Inside you there are two wolves: one invents graph theory to solve the Konigsberg problem, the other informally moves terms around a series to solve the Basel problem. Inside you there are two wolves: both wolves are Leonhard Euler.

Category theory: so powerful one can inadvertently create a meme on it

If you were alone in the woods, would you rather encounter a bear or a man? Plot twist: the bear is an applied category theorist

youtu.be/JVDRB0GtHqE?si…

This might very well be the most exciting paper I've managed to write so far. Kudos to Andrea Laretto who almost single-handedly pulled this bravura piece.

page 1 of the paper: "Transducers are classical computational devices that extend FSMs with the ability to produce output" page 10 of the paper: "...we have just proved that this boils down to a graded promonad, with the grading given by the monoidal category of states"

see you soon! ioc.ee/~amar/pssl110/

Lax died at 99, which means oplax just turned 66

To all the referees that keep saying "the paper does not contain many examples" and "it is unclear what the applications of [...] are": there is none. Zero. Ø. I will never focus on anything other than the inherent mathematical beauty of a monadic, self-referential question.