1. Algebraic Theories: a Categorical Introduction to General Algebra;Adámek,2010
2. Cartesian double categories with an emphasis on characterizing spans;Aleiferi,2018
3. Higher-dimensional algebra V: 2-groups;Baez;Theory Appl. Categ.,2004
4. Toposes, Triples and Theories;Barr,1985
5. Introduction to bicategories;Bénabou,1967