Когда это мне понадобилось на уровне основных понятий - я довольно быстро разобрался. Наверное именно потому, что понадобилось - потому было понятно, зачем - действительно что-то вроде замены теории множеств - язык, на котором удобно и весьма общо получается описывать всякие вещи. Ну и видны связи между казалось бы плохо связанными теориями - примерно как булевы алгебры например делают видимой связь между логикой и теорией множеств.

Наверное там есть много чего еще, но мне этого достаточно.