Мне кажется, что даже обладая приличным бекграундом в теории категорий, если он носит преимущественно computer science & logic характер, всё равно будет сложно Маклейна читать.
И наоборот. Сейчас сложно, конечно, представить себе человека с алгебротополическим бекграундом, но не проникнутым теоркатом, но если бы мы выдернули соответствующего аспиранта из 50'ых, то думаю ему бы Маклейн вполне зашёл