SUO: Category Theory Unplugged
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
CTU. Note 1
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
If I had to distill the practical insights leading up to
category theory down to a few lines, I think it would be
a sesquibit like this:
0. Not of necessity in that order:
1. It is useful to keep track of type coincidences.
2. It is useful to keep track of type distinctions.
To be continued ...
Jon Awbrey
P.S. I have now copied out as far as the basic definition
of a "category" in Mac Lane's 'Cat Work Math'. It is here:
http://suo.ieee.org/ontology/msg04796.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o