6 ms·
> conceptual content and the patterns it considers are so deep that no amount of illustration could convey that depth My experience is different - for me categ
by fn-mote 5y ago
> conceptual content and the patterns it considers are so deep that no amount of illustration could convey that depth
My experience is different - for me category theory abstracts / generalizes / encodes ideas that we understand well in a particular setting. Intuition comes from particular examples and is then "categorified" to make more general arguments. Of course some times it goes the other way ("hey you really need to do X because the category you are working with doesn't have property Y").
And sometimes the imported understanding is not quite accurate, like always there are issues. I don't think that impacts the main line of this argument, though it may be an example of the depth that category theory brings.