Теория категорий для чайника
Довольно популярное, но в то же время формализованное изложение:
docs.google.com/Doc?docid=0Aa6kKaQaqdCZZGN4MzN3bWdfMjMwZHZ4dHozZHg&pli=1
docs.google.com/Doc?docid=0Aa6kKaQaqdCZZGN4MzN3bWdfMzE4Y3EyaDVwaGM
Википедию почитайте. Хотя мне вынесло мозг уже определение транзитивных множеств (множество, элементы которого являются подмножествами этого множества).