Mercurial > repo

view paste/paste.15815 @ 9285:8320c9c4620f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents 84061e4bd0cb
children
line wrap: on
line source

288) <ais523> the big issue with category theory is that pretty much everything forms a category
887) <coppro> GreyKnight: for instance, you can form a poset category from a bunch of tiles <GreyKnight> oh, that's why somebody was conflating category theory with bathroom interior design the other day :-D
996) <olsner> in category theory, category theory is a theory in the category of theories