Category theory for teapots

Question

Artificial intelligence

Category theory is central to modern mathematics and has also found applications in computer science, logic, and theoretical physics. (c) Wiki

I would like to get acquainted with the popular science presentation of this theory. I am familiar with mathematics, but, unfortunately, I do not perceive the presentation of the theory of categories in the MehMat version.

What category theory reading can you suggest?

Answer 1

A rather popular, but at the same time formalized presentation:
docs.google.com/Doc?docid=0Aa6kKaQaqdCZZGN4MzN3bWdfMjMwZHZ4dHozZHg&pli=1
docs.google.com/Doc?docid=0Aa6kKaQaqdCZZGN4MzN3bWdfMzE4Y3EyaDVwaGM

Answer 2

The Rosetta Stone is the way of the samurai, you can't master it without preparation. In addition, Baez, as a theoretical physicist, tends to constantly compare categorical concepts with concepts from the real world. This is not for IT.
If something is visual and in pictures, then you can read Goldblat “Topos. Categorical analysis of logic.
In general, Russian literature is not enough. But there is quite a lot of English. Take, for example, "Joy of cat" - many people like it.
Also, just for fun, you can look at the catsters youtube channel . In particular, the limits are very clearly explained there.

Answer 3

There was a good article habrahabr.ru/post/133277/

Answer 4

Read Wikipedia. Although the definition of transitive sets (a set whose elements are subsets of this set) has already taken out my brain.