I think the prerequisite for "Category Theory in Context" is a grasp of basic category theory ((co-)limits, Yoneda lemma, adjoint functor theorems, etc). You sh

I think the prerequisite for "Category Theory in Context" is a grasp of basic category theory ((co-)limits, Yoneda lemma, adjoint functor theorems, etc). You should also have some interest in an abstract maths field that requires all these category theory machinery. So a graduate student in abstract maths sounds about right.