J. Adámek and J. Rosicky, Locally Presentable and Accessible Categories, 1994.
DOI : 10.1017/CBO9780511600579

J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

P. Baldan, A. Corradini, T. Heindel, B. König, and P. Soboci?ski, Processes and unfoldings: concurrent computations in adhesive categories, Mathematical Structures in Computer Science, vol.26, issue.04, pp.2014-2024
DOI : 10.1006/inco.2001.3060

A. K. Bousfield, Constructions of factorization systems in categories, Journal of Pure and Applied Algebra, vol.9, issue.2-3, pp.287-329, 1977.
DOI : 10.1016/0022-4049(77)90067-6

A. Carboni, S. Lack, and R. F. Walters, Introduction to extensive and distributive categories, Journal of Pure and Applied Algebra, vol.84, issue.2, 1993.
DOI : 10.1016/0022-4049(93)90035-R

C. Eberhart, T. Hirschowitz, and T. Seiller, An intensionally fullyabstract sheaf model for ?, CALCO, Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl?Leibniz-Zentrum fuer Informatik, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00873626

C. Ehresmann, Catégories structurées Annales scientifiques de l'Ecole Normale Supérieure, pp.349-426, 1963.

C. Ehresmann, Catégories et structures. Dunod, 1965.

H. Ehrig, Introduction to the algebraic theory of graph grammars In Graph- Grammars and Their Application to, Computer Science and Biology LNCS, vol.73, 1979.

R. Garner, A homotopy-theoretic universal property of Leinster's operad for weak ??-categories, Math. Proc. Camb, pp.615-628, 2009.
DOI : 10.1112/blms/7.3.294

M. Grandis and R. Paré, Limits in double categories, pp.162-220, 1999.

M. Grandis and R. Paré, Adjoints for double categories, pp.193-240, 2004.

M. Grandis and R. Paré, Kan extensions in double categories (On weak double categories, Part III) Theory and Applications of Categories, pp.152-185, 2008.

R. Guitart, Relations et carrés exacts, Annales des Sciences Mathématiques du Québec, vol.4, issue.2, pp.103-125, 1980.

R. Harmer, M. Hyland, and P. Melliès, Categorical Combinatorics for Innocent Strategies, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.379-388, 2007.
DOI : 10.1109/LICS.2007.14
URL : https://hal.archives-ouvertes.fr/hal-00150373

T. Hirschowitz, Full Abstraction for Fair Testing in CCS, CALCO, pp.175-190978, 2013.
DOI : 10.1007/978-3-642-40206-7_14
URL : https://hal.archives-ouvertes.fr/hal-00826274

T. Hirschowitz, Full abstraction for fair testing in CCS (expanded version), Logical Methods in Computer Science, vol.10, issue.4, 2014.
DOI : 10.2168/LMCS-10(4:2)2014
URL : https://hal.archives-ouvertes.fr/hal-00869469

J. M. Hyland and C. Ong, On full abstraction for PCF: I, II, and III. Information and Computation, pp.285-408, 2000.

B. Jacobs, Categorical Logic and Type Theory Number 141 in Studies in Logic and the Foundations of Mathematics, 1999.

G. and M. Kelly, Basic concepts of enriched category theory Lecture Note Series Republished as: Reprints in Theory and Applications of Categories, p.10, 1982.

S. Lack and P. Soboci?ski, Adhesive categories, FoSSaCS, pp.273-288, 2004.

T. Leinster, Higher Operads, Higher Categories, 2004.
DOI : 10.1017/CBO9780511525896

S. Mac and L. , Categories for the Working Mathematician. Number 5 in Graduate Texts in Mathematics, 1998.

P. Melliès, Game Semantics in String Diagrams, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.481-490
DOI : 10.1109/LICS.2012.58

H. Nickau, Hereditarily sequential functionals, LFCS, pp.253-264, 1994.
DOI : 10.1007/3-540-58140-5_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.2978

R. Paré, Yoneda theory for double categories Theory and Applications of Categories, pp.436-489, 2011.

M. R. Przybylek, The other pullback lemma. ArXiv e-prints, 2013.

M. Shulman, Framed bicategories and monoidal fibrations Theory and Applications of Categories, pp.147-163, 2008.

T. Tsukada and C. Ong, Nondeterminism in Game Semantics via Sheaves, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015.
DOI : 10.1109/LICS.2015.30