1. Toposes, Triples and Theories;Barr,1985
2. Monads with arities and their associated theories;Berger;J. Pure Appl. Algebra,2012
3. Cauchy-completion and the associated sheaf;Betti;Cah. Topol. Géom. Différ. Catég.,1982
4. Kan Extensions in Enriched Category Theory;Dubuc,1970
5. The cartesian closed bicategory of generalised species of structures;Fiore;J. Lond. Math. Soc.,2008