Loading annotation for category-theory.mitpress.mit.e…