Awodey, S. and Warren, M. A. (2009) Homotopy theoretic models of identity types. Mathematical Proceedings of the Cambridge Philosophical Society 146 (1)45–55.

Bancilhon, F and Spyratos, N. (1981) Update semantics of relational views. ACM TODS 6 557–575.

Barr, M. and Wells, C. (2005) Toposes, triples, and theories (corrected reprint of the 1985 original published by Springer-Verlag), Reprints in Theory and Applications of Categories 12 1–287.

Borceux, F. (1994) *Handbook of categorical algebra 1–3*, Encyclopedia of Mathematics and its Applications 50–52, Cambridge University Press.

Carlsson, G., Zomorodian, A., Collins, A. and Guibas, L. (2004) Persistence barcodes for shapes. In: Scopigno, R. and Zorin, D. (eds.) Eurographics Symposium on Geometry Processing 127–138.

Deus, H. F.et al. (2010) Provenance of microarray experiments for a better understanding of experiment results. Proceedings of The Second International Workshop on the role of Semantic Web in Provenance Management, Shanghai, China.

Deutsch, A., Nash, A. and Remmel, J. (2008) The Chase Revisited. Proceedings of Symposium on Principles of Database Systems (PODS), ACM.

Diskin, Z. and Kadish, B. (1994) Algebraic graph-oriented=category-theory-based – manifesto of categorizing data base theory. Technical report, Frame Inform Systems.

Ehresmann, C. (1968) Esquisses et types des structures algèbriques. Buletinul Institutului Politehic din Iasi (N.S.) 14 (18) (1–2) 1–14.

Gambino, N. and Kock, J. (2013) Polynomial functors and polynomial monads. Mathematical Proceedings of the Cambridge Philosophical Society 154 153–192.

Garner, R. (2009) Understanding the small object argument. Applied Categorical Structures 17 (3)247–285.

Ghrist, R. (2008) Barcodes: the persistent topology of data. Bulletin of the American Mathematical Society (N.S.) 45 (1)61–75.

Hartshorne, R. (1977) Algebraic Geometry, Graduate Texts in Mathematics **52**, Springer-Verlag.

Hirschhorn, P. (2003) Model categories and their localizations, Mathematical surveys and monographs, American Mathematical Society 99.

Johnson, M. (2001) On Category Theory as a (meta) Ontology for Information Systems Research. *Proceedings of the international conference on Formal Ontology in Information Systems*.

Johnson, M., Rosebrugh, R. and Wood, R. J. (2002) Entity-relationship-attribute designs and sketches. Theory and Applications of Categories 10 94–112.

Johnstone, P. (2002) Sketches of an elephant 1-2, Oxford logic guides **43–44**, The Clarendon Press.

Joyal, A. (2002) Quasi-categories and Kan complexes. Journal of Pure and Applied Algebra 175 (1–3)207–222.

Kato, A. (1983) An abstract relational model and natural join functors. Bulletin of Informatics and Cybernetics 20 95–106.

Kelly, G. M. (1974) On clubs and doctrines. In: Kelly, G. M. (ed.) Category Seminar. *Springer-Verlag Lecture Notes in Mathematics* 420 181–256.

Lurie, J. (2009) Higher topos theory, Annals of Mathematical Studies **170**, Princeton University Press.

Mac Lane, S. (1988) Categories for the working mathematician (second edition), Graduate texts in mathematics **5**, Springer Verlag.

Mac Lane, S. and Moerdijk, I. (1994) Sheaves in Geometry and Logic: a first introduction to topos theory, Universitext, Springer-Verlag.

Makkai, M. (1997) Generalized sketches as a framework for completeness theorems I. Journal of Pure and Applied Algebra 115 (1)49–79.

May, J. P. (1999) A concise course in Algebraic Topology, Chicago Lectures in Mathematics, University of Chicago Press.

Quillen, D. G. (1967) Homotopical Algebra. Springer-Verlag Lecture Notes in Mathematics 43.

Spivak, D. I. (2012) Functorial data migration. Information and Computation 217 31–51.

Spivak, D. I. and Kent, R. E. (2012) Ologs: A Categorical Framework for Knowledge Representation. PLoS ONE 7 (1).

Tuijn, C. and Gyssens, M. (1992) Views and decompositions from a categorical perspective. In: Biskup, J. and Hull, R. (eds.) Database Theory – ICDT '92: Proceedings 4th International Conference. *Springer-Verlag Lecture Notes in Computer Science* 646 99–112.

Voevodsky, V. (2006) A very short note on the homotopy λ-calculus. Unpublished note.