fouche @ququ7

I make diagrams commute, whether they do it or not. Joined September 2009

Tweets

2K
Followers

823
Following

268
Likes

427

fouche @ququ7

4 months ago

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.

0 0 5 259 2

fouche @ququ7

4 months ago

Lax died at 99, which means oplax just turned 66

1 0 4 435 0

fouche @ququ7

4 months ago

3 8 74 4K 4

Download Image

fouche @ququ7

4 months ago

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

1 2 11 537 0

Download Image

fouche @ququ7

5 months ago

0 0 5 290 1

Download Image

fouche @ququ7

5 months ago

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"

0 0 6 323 1

fouche @ququ7

12 months ago

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

1 1 14 866 2

Download Image

fouche @ququ7

a year ago

youtu.be/JVDRB0GtHqE?si…

0 0 2 677 1

fouche @ququ7

a year ago

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

0 0 8 970 2

fouche @ququ7

a year ago

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

3 20 189 6K 17

Download Image

fouche @ququ7

a year ago

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.

1 4 38 3K 10

fouche @ququ7

a year ago

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

0 1 6 889 2

fouche @ququ7

a year ago

0 0 1 464 0

Download Image

fouche @ququ7

a year ago

2 2 25 4K 3

Download Image

fouche @ququ7

2 years ago

math: absolutely not a scam invented to please our quirks

1 1 27 2K 8

Download Image

fouche @ququ7

2 years ago

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

0 0 4 687 5

fouche @ququ7

2 years ago

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