M. An, A. , U. (. , B. , U. et al., for each object A over U , a 2-cell I A, W satisfying the obvious three axioms of left and right identities and asso- ciativity

A. , U. , V. , and ?. Ab, ?B) in M U V 3. for each object A over U we have I ?A = ? AA ? I A ; satisfying the obvious compatibility with respect to the composition on both sides

. Sketch, The assertion (1) follows from Beck monadicity theorem since: ? U has a left adjoint F (Proposition 4.4.2), ? U clearly reflect isomorphisms, ? Lax O-alg (C., M.) has coequalizers of parallel U-split pairs and U preserves them

J. Adámek and J. Rosický, Locally presentable and accessible categories Lecture Note Series, 1994.

V. Angeltveit, Enriched Reedy categories, Proc. Amer, pp.2323-2332, 2008.
DOI : 10.1090/S0002-9939-08-09185-5
URL : http://arxiv.org/abs/math/0612137

H. V. Bacard, Segal Enriched Categories I

H. V. Bacard, Segal Enriched Categories II

B. Badzioch, Algebraic Theories in Homotopy Theory, The Annals of Mathematics, vol.155, issue.3, pp.895-913, 2002.
DOI : 10.2307/3062135

J. C. Baez and J. Dolan, From Finite Sets to Feynman Diagrams, p.4133

J. C. Baez and M. Shulman, Lectures on N-Categories and Cohomology
DOI : 10.1007/978-1-4419-1524-5_1
URL : http://arxiv.org/abs/math/0608420

C. Barwick and C. Schommer-pries, On the Unicity of the Homotopy Theory of Higher Categories. ArXiv e-prints, 2011.

C. Barwick, On left and right model categories and left and right Bousfield localizations, Homology, Homotopy and Applications, vol.12, issue.2, pp.245-320, 2010.
DOI : 10.4310/HHA.2010.v12.n2.a9

J. Bénabou, Introduction to bicategories, Reports of the Midwest Category Seminar, pp.1-77, 1967.
DOI : 10.1007/BF01451367

C. Berger and I. Moerdijk, On an extension of the notion of Reedy category, Mathematische Zeitschrift, vol.13, issue.3-4
DOI : 10.1007/s00209-010-0770-x
URL : https://hal.archives-ouvertes.fr/hal-01296573

C. Berger and I. Moerdijk, ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES, The Quarterly Journal of Mathematics, vol.64, issue.3
DOI : 10.1093/qmath/hat023
URL : https://hal.archives-ouvertes.fr/hal-01145619

C. Berger and I. Moerdijk, Resolution of coloured operads and rectification of homotopy algebras, Contemp. Math. Amer. Math. Soc, vol.431, pp.31-58, 2007.
DOI : 10.1090/conm/431/08265

J. E. Bergner, A survey of (\infty, 1)-categories, 610239.

J. E. Bergner and C. Rezk, Comparison of models for $(\infty, n)$-categories, I. ArXiv e-prints, 2012.

J. E. Bergner, Rigidification of algebras over multi-sorted theories, Algebraic & Geometric Topology, vol.6, issue.4, pp.1925-1955, 2006.
DOI : 10.2140/agt.2006.6.1925

J. E. Bergner, Simplicial monoids and Segal categories, of Encyclopedia of Mathematics and its Applications, pp.59-83, 1994.
DOI : 10.1090/conm/431/08266
URL : http://arxiv.org/abs/math/0508416

E. Cheng, Comparing operadic theories of $n$-category. ArXiv e-prints, 2008.

J. Chiche, Un Théorème A de Quillen pour les 2-foncteurs lax. ArXiv e-prints, 2012.

D. Cisinski, Les préfaisceaux comme modèles des types d'homotopie. Astérisque, p.390, 2006.

D. Cisinski, Catégories dérivables Bulletin de la société mathématique de France, pp.317-393, 2010.

R. J. Macg, R. Dawson, D. A. Paré, and . Pronk, Paths in double categories, Theory Appl. Categ, vol.16, issue.18, pp.460-521, 2006.

P. Deligne, Le Groupe Fondamental de la Droite Projective Moins Trois Points, Math. Sci. Res. Inst. Publ, vol.16, pp.79-297, 1987.
DOI : 10.1007/978-1-4613-9649-9_3

D. Dugger, Universal Homotopy Theories, Advances in Mathematics, vol.164, issue.1, p.7070
DOI : 10.1006/aima.2001.2014
URL : http://doi.org/10.1006/aima.2001.2014

G. Dunn, Uniqueness of n-fold delooping machines, Journal of Pure and Applied Algebra, vol.113, issue.2, pp.159-193, 1996.
DOI : 10.1016/0022-4049(96)00016-3

W. G. Dwyer and D. M. Kan, Function complexes in homotopical algebra, Topology, vol.19, issue.4, pp.427-440, 1980.
DOI : 10.1016/0040-9383(80)90025-7

W. G. Dwyer, D. M. Kan, and J. H. Smith, Homotopy commutative diagrams and their realizations, Journal of Pure and Applied Algebra, vol.57, issue.1, pp.5-24, 1989.
DOI : 10.1016/0022-4049(89)90023-6
URL : http://doi.org/10.1016/0022-4049(89)90023-6

W. G. Dwyer and J. Spali?ski, Homotopy Theories and Model Categories, Handbook of algebraic topology, pp.73-126, 1995.
DOI : 10.1016/B978-044481779-2/50003-1

W. G. Dwyer, P. S. Hirschhorn, D. M. Kan, and J. H. Smith, Homotopy limit functors on model categories and homotopical categories, Mathematical Surveys and Monographs, vol.113, 2004.
DOI : 10.1090/surv/113

K. Fukaya, Y. Oh, H. Ohta, and K. Ono, Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMSIP Studies in Advanced Mathematics, vol.46, 2009.

K. Fukaya, Y. Oh, H. Ohta, and K. Ono, Lagrangian intersection Floer theory: anomaly and obstruction. Part II, AMSIP Studies in Advanced Mathematics, vol.46, 2009.

K. Fukaya and P. Seidel, Floer homology, A ? -categories and topological field theory, Geometry and physics, pp.9-32, 1995.

J. Giraud, Cohomologie non abélienne, Die Grundlehren der mathematischen Wissenschaften, 1971.

A. Grothendieck, Revêtements étales et groupe fondamental. Fasc. II: Exposés 6, 1960.

S. Philip and . Hirschhorn, Model categories and their localizations, volume 99 of Mathematical Surveys and Monographs, 2003.

A. Hirschowitz and C. Simpson, Descente pour les n-champs (Descent for n-stacks)

M. Hovey, Model categories, volume 63 of Mathematical Surveys and Monographs, 1999.

B. Jacobs, Categorical logic and type theory, volume 141 of Studies in Logic and the Foundations of Mathematics, 1999.

J. F. Jardine, Simplical presheaves, Journal of Pure and Applied Algebra, vol.47, issue.1, pp.35-87, 1987.
DOI : 10.1016/0022-4049(87)90100-9
URL : http://doi.org/10.1016/0022-4049(87)90100-9

A. Joyal, Letter to A. Grothendieck, 1984.

A. Joyal and M. Tierney, Strong stacks and classifying spaces, Category theory, pp.213-236, 1990.
DOI : 10.2307/1970725

B. Keller, Introduction to $A_{\infty}$-infinity algebras and modules, Homology, Homotopy and Applications, vol.3, issue.1, pp.1-35, 2001.
DOI : 10.4310/HHA.2001.v3.n1.a1

G. M. Kelly, Basic concepts of enriched category theory, 10):vi+137, 2005. Reprint of the 1982 original

G. M. Kelly and S. Lack, V -Cat is locally presentable or locally bounded if V is so, Theory Appl. Categ, vol.8, pp.555-575, 2001.

G. M. Kelly, S. Lack, and R. F. Walters, Coinverters and categories of fractions for categories with structure, Applied Categorical Structures, vol.1, issue.1, pp.95-102, 1993.
DOI : 10.1007/BF00872988

M. Kelly, A. Labella, V. Schmitt, and R. Street, Categories enriched on two sides, Journal of Pure and Applied Algebra, vol.168, issue.1, pp.53-98, 2002.
DOI : 10.1016/S0022-4049(01)00048-2
URL : http://doi.org/10.1016/s0022-4049(01)00048-2

J. Kock, Weak identity arrows in higher categories, International Mathematics Research Papers, pp.69163-69164, 2006.
DOI : 10.1155/IMRP/2006/69163

M. Kontsevich and Y. Soibelman, Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I Homological algebra of mirror symmetry, Proceedings of the International Congress of Mathematicians, pp.120-139, 1994.

I. K?í? and J. P. , Operads, algebras, modules and motives, Astérisque, issue.233, p.145, 1995.

S. Lack, Icons, Applied Categorical Structures, vol.4, issue.2, pp.289-307, 2010.
DOI : 10.1007/s10485-008-9136-5

F. and W. Lawvere, Metric spaces, generalized logic, and closed categories, MR0352214 (50 #4701)]. Repr, pp.135-1661, 1973.
DOI : 10.1007/BF02924844

T. Leinster, Basic Bicategories, p.9810017

T. Leinster, Homotopy Algebras for Operads, 2180.

T. Leinster, Up-to-Homotopy Monoids, 9912084.

T. Leinster, Higher operads, higher categories Lecture Note Series, 2004.
DOI : 10.1017/cbo9780511525896
URL : http://arxiv.org/abs/math/0305049

F. E. Linton, Coequalizers in categories of algebras, In Sem. on Triples and Categorical Homology Theory, vol.9, issue.67, pp.75-90, 1966.
DOI : 10.1007/BFb0083082

J. Lurie, On the Classification of Topological Field Theories, Current Developments in Mathematics, vol.2008, issue.1
DOI : 10.4310/CDM.2008.v2008.n1.a3

J. Lurie, Stable Infinity Categories, p.608228, 2006.

J. Lurie, Higher topos theory, Annals of Mathematics Studies, vol.170, 2009.
DOI : 10.1515/9781400830558

V. Lyubashenko, Category of $A_{\infty}$-categories, Homology, Homotopy and Applications, vol.5, issue.1, pp.1-48, 2003.
DOI : 10.4310/HHA.2003.v5.n1.a1

S. Mac and L. , Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics, 1998.

C. Mazza, V. Voevodsky, and C. Weibel, Lecture notes on motivic cohomology, Clay Mathematics Monographs, vol.2, 2006.

F. Morel and V. Voevodsky, A 1 -homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math, issue.90, pp.45-143, 1999.

]. R. Pellissier, Weak enriched categories -Categories enrichies faibles, p.308246
URL : https://hal.archives-ouvertes.fr/hal-00000565

G. Daniel and . Quillen, Homotopical algebra, Lecture Notes in Mathematics, issue.43, 1967.

A. Roig, Model category structures in bifibred categories, Journal of Pure and Applied Algebra, vol.95, issue.2, pp.203-223, 1994.
DOI : 10.1016/0022-4049(94)90074-4

U. Schreiber and K. Waldorf, Parallel Transport and Functors

R. Schwänzl and R. Vogt, Homotopy homomorphisms and the hammock localization, Bol. Soc. Mat. Mexicana, vol.37, issue.212, pp.431-448, 1992.

S. Schwede and B. E. Shipley, Algebras and Modules in Monoidal Model Categories, Proc. London Math. Soc. (3), pp.491-511, 2000.
DOI : 10.1112/S002461150001220X

G. Segal, Categories and cohomology theories. Topology, pp.293-312, 1974.
DOI : 10.1016/0040-9383(74)90022-6
URL : http://doi.org/10.1016/0040-9383(74)90022-6

C. Simpson, Homotopy theory of higher categories, volume 19 of New Mathematical Monographs

A. Stanculescu, Bifibrations and Weak Factorisation Systems, Applied Categorical Structures, vol.4, issue.3
DOI : 10.1007/s10485-009-9214-3

J. Dillon and S. , Homotopy associativity of H-spaces. I, II, Trans. Amer. Math. Soc, vol.108, issue.108, pp.275-292293, 1963.

R. Street, Fibrations in bicategories, Cahiers Topologie Géom. Différentielle, vol.21, issue.2, pp.111-160, 1980.

R. Street, Cauchy characterization of enriched categories, Rendiconti del Seminario Matematico e Fisico di Milano, vol.24, issue.1, pp.217-233, 1981.
DOI : 10.1007/BF02924823

R. Street, Characterization of bicategories of stacks, Category theory, pp.282-291, 1981.
DOI : 10.1016/0022-4049(81)90021-9

R. Street, ENRICHED CATEGORIES AND COHOMOLOGY, Quaestiones Mathematicae, vol.50, issue.1-3, pp.1-18, 1983.
DOI : 10.1080/16073606.1983.9632304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.5858

Z. Tamsamani, Sur des notions de n-catégorie et n-groupoïde non strictes via des ensembles multi-simpliciaux. K-Theory, pp.51-99, 1999.
DOI : 10.1023/a:1007747915317

R. W. Thomason and . Erratum, Algebraic $K$-theory and etale cohomology, Annales scientifiques de l'??cole normale sup??rieure, vol.18, issue.3, pp.437-552, 1985.
DOI : 10.24033/asens.1495
URL : http://archive.numdam.org/article/ASENS_1985_4_18_3_437_0.pdf

B. Toen and G. Vezzosi, Homotopical algebraic geometry I: topos theory, Advances in Mathematics, vol.193, issue.2, 207028.
DOI : 10.1016/j.aim.2004.05.004
URL : https://hal.archives-ouvertes.fr/hal-00772995

B. Toen and G. Vezzosi, Homotopical algebraic geometry. II. Geometric stacks and applications, Memoirs of the American Mathematical Society, vol.193, issue.902, p.404373
DOI : 10.1090/memo/0902
URL : https://hal.archives-ouvertes.fr/hal-00772995

B. Toen and G. Vezzosi, Segal topoi and stacks over Segal categories

B. Toën, Vers une axiomatisation de la théorie des catégories supérieures. K-Theory, pp.233-263, 2005.

B. Toën and R. F. Walters, Dualité de Tannaka supérieure I: Structure monoïdales. Unpublished manuscript Available on the author's website Sheaves and Cauchy-complete categories, Third Colloquium on Categories, pp.283-286, 1980.

R. F. Walters, Sheaves on sites as Cauchy-complete categories, Journal of Pure and Applied Algebra, vol.24, issue.1, pp.95-102, 1982.
DOI : 10.1016/0022-4049(82)90061-5

H. Wolff and V. V-cat, V-cat and V-graph, Journal of Pure and Applied Algebra, vol.4, issue.2, pp.123-135, 1974.
DOI : 10.1016/0022-4049(74)90018-8