1. Altenkirch, T., Chapman, J., Uustalu, T.: Monads need not be endofunctors. Log. Methods Comput. Sci. 11(1:3), 1–40 (2015)
2. Artin, M., Grothendieck, A., Verdier, J.-L. (eds.): Séminaire de Géométrie Algébrique du Bois Marie (1963–1964)–Théorie des topos et cohomologie étale des schemas, Tome 1. Lecture Notes in Mathematics, vol. 269. Springer, New York (1973)
3. Baez, J., Dolan, J.: Higher-dimensional algebra and topological quantum field theory. J. Math. Phys. 36, 6073–6105 (1995)
4. Baez, J., Dolan, J.: Higher-dimensional algebra III: $$n$$ n -categories and the algebra of opetopes. Adv. Math. 135(2), 145–206 (1998)
5. Barr, M., Wells, C.: Toposes, Triples, and Theories. Springer, New York (1985)