3 ms·
Unrelatedly, speaking of category theory diagrams, SIGBOVIK 2014 has a gentle introduction to these. "A Simple Category-Theoretic Understanding of Category-The
by gcr 3y ago
Unrelatedly, speaking of category theory diagrams, SIGBOVIK 2014 has a gentle introduction to these.
"A Simple Category-Theoretic Understanding of Category-Theoretic Diagrams" begins on page 65 of https://sigbovik.org/2014/proceedings.pdf https://sigbovik.org/2014/proceedings.pdf
- mikhailfranco 3y agoThe physical page is 65, the labelled page is 57. That is of course, a joke, but Category Theory does feel like that sometimes. There does not appear to be any grounding, it's all circular. Anything can be lifted-up, or projected forgetfully down, to almost anything else. A Category has sets of nodes and edges, to describe the category of ... SET. Category diagrams are directed graphs, and there is a category of GRAPH, which can be labelled to make a diagram, which can be used to analyze ... categories. There is always sand under your feet and concrete in the sky.