fouche
@ququ7
Followers
826
Following
427
Media
242
Statuses
2K
I make diagrams commute, whether they do it or not.
Joined September 2009
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
6
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
5
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
Category theory: so powerful one can inadvertently create a meme on it
3
20
184
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
40
— The species must flow. He who controls the species controls the universe.
0
1
6
It seems equally difficult for the email I sent to the categories mailing list, with this discussion, to be accepted.
0
0
3
It seems surprisingly difficult to trace back the precise origin of the word "functor" (Mac Lane was wrong). Has anyone *really* tried?
5
1
11
"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
<<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
0
0
2