\begin{thebibliography}{MM}


\bibitem{JoyOfCats}
J. Ad\'amek, H. Herrlich, G. Strecker. 
Abstract and Concrete Categories---The Joy of Cats.
John Wiley and Sons (1990), electronic edition available at
\verb+http://katmat.math.uni-bremen.de/acc/+.


\bibitem{AdamekRosicky}
J. Ad\'amek, J. Rosicky. {\em Locally Presentable and Accessible Categories}.
London Math. Soc. Lecture Note Series {\bf 189}, Cambridge University Press (1994).


\bibitem{Adams}
J. Adams. {\em Infinite Loop Spaces}, Princeton University Press {\sc Annals
of Math. Studies} {\bf 90} (1978).

\bibitem{ArtinInventiones}
M. Artin.  Versal deformations and algebraic stacks, {\em Inventiones Math.}
{\bf 27} (1974), 165-189.

\bibitem{Badzioch}
B. Badzioch. Algebraic theories in homotopy theory. Ann. of Math. {\bf 155} (2002), 895–913.


\bibitem{BaezDolan}
J. Baez, J. Dolan. 
Higher-dimensional algebra and topological quantum
field theory. {\em Jour. Math. Phys.} {\bf 36} (1995), 6073-6105.

\bibitem{BaezDolanLetter}
J. Baez, J. Dolan. $n$-Categories, sketch of a
definition. Letter to R. Street, 29 Nov. and 3 Dec. 1995, 
{\tt http://math.ucr.edu/home/baez/ncat.def.html}.

\bibitem{BaezIntroduction}
J. Baez. An introduction to $n$-categories. 
{\em Category Theory and Computer Science (Santa Margherita Ligure 1997)}
{\sc Lect. Notes in Computer Science} {\bf 1290} (1997), 1-33.

\bibitem{BaezDolanIII}
J. Baez, J. Dolan. Higher-dimensional algebra III: $n$-categories and the
algebra of opetopes. Adv. in Math.
{\bf 135} (1998), 145-206.  


\bibitem{catBD}
J. Baez, J. Dolan. Categorification. Preprint math/9802029.


\bibitem{BaezMayTowards}
J. Baez, P. May. {\em Towards higher categories}.  
The IMA Volumes in Mathematics and its Applications Series {\bf 152},
Springer (2009).  

\bibitem{BakovicJurco}
I. Bakovi\'c, B. Jur\v{c}o. The classifying topos of a topological bicategory,
Arxiv preprint 0902.1750 (2009). 

\bibitem{BFSV}
C. Balteanu, Z. Fiedorowicz, R. Schwaenzl, and R. Vogt.
Iterated Monoidal Categories.
Preprint math.AT/9808082

\bibitem{BarwickThesis}
C. Barwick. $(\infty , n)-Cat$ as a closed model category. Doctoral
dissertation, University of Pennsylvania (2005). 

\bibitem{BarwickGottingen}
C. Barwick. $\infty$-groupoids, stacks, and Segal categories.
Seminars 2004-2005 of the Mathematical Institute, University of G\"ottingen (Y. Tschinkel, ed.). Universit\"atsverlag G\"ottingen (2005), 155-195. 



\bibitem{Barwick}
C. Barwick. On (enriched) left Bousfield localization of model categories.
Arxiv preprint arXiv:0708.2067 (2007). 

\bibitem{BarwickReedy}
C. Barwick. On Reedy  model categories. Preprint arXiv: 0708.2832 (2007). 

\bibitem{BarwickLeftRight}
C. Barwick. On left and right model categories and left and right Bousfield localizations.
To appear, {\em Homology, Homotopy and Applications}.

\bibitem{BarwickKan}
C. Barwick, D. Kan. Relative categories as another model for the homotopy theory of
homotopy theories I: the model structure. Preprint. 


\bibitem{Batanin}
M. Batanin. On the definition of weak $\omega$-category. Macquarie mathematics
report number 96/207, Macquarie University, NSW Australia.

\bibitem{Batanin2}
M. Batanin. Monoidal globular categories as a natural environment for the
theory of weak $n$-categories. {\em Adv. Math.} {\bf 136} (1998), 39-103/

\bibitem{BataninAinfty}
M. Batanin. Homotopy coherent category theory and $A_{\infty}$ structures in monoidal categories, 
{\em J. Pure and Appl. Alg.} {\bf 123} (1998), 67-103. 

\bibitem{BataninPenon}
M. Batanin. 
On the Penon method of weakening algebraic structures.
{\em J. Pure and Appl. Alg.} {\bf 172} (2002), 1-23.

\bibitem{BataninEH}
M. Batanin. The Eckmann–Hilton argument and higher operads. 
{\em Adv. in Math.} {\bf 217} (2008), 334-385.

\bibitem{BataninCisinskiWeber}
M. Batanin, D. Cisinski, M. Weber. 
Algebras of higher operads as enriched categories II. 
Preprint arXiv:0909.4715v1 (2009). 


\bibitem{Baues}
H. Baues. {\em Combinatorial homotopy and $4$-dimensional complexes.}
de Gruyter, Berlin (1991).

\bibitem{Beke}
T. Beke. Sheafifiable homotopy model categories. Math. Proc. Cambridge Phil. Soc.
{\bf 129} (2000), 447–-475.


\bibitem{Benabou}
J. B\'enabou. {\em Introduction to Bicategories}, Lect. Notes in Math. {\bf
47}, Springer-Verlag (1967).


\bibitem{BergerEckmannHilton}
C. Berger. 
Double loop spaces, braided monoidal categories and algebraic $3$-type of space.
{\em Contemp. Math.} {\bf 227} (1999), 49-65.

\bibitem{BergerCellularNerve}
C. Berger. 
A cellular nerve for higher categories.
Advances in Mathematics {\bf 169} (2002), 118-175.

\bibitem{BergerWreath}
C. Berger. 
Iterated wreath product of the simplex category and iterated loop spaces.
{\em Adv. in Math.} {\bf 213} (2007), 230-270.


\bibitem{BergerMoerdijk}
C. Berger, I. Moerdijk. On an extension of the notion of Reedy category.
Preprint arXiv: 0809.3341 (2008). 

\bibitem{BergnerModel}
J. Bergner. A model category structure on the category of simplicial categories.
Transactions of the AMS {\bf 359} (2007), 2043--2058.

\bibitem{BergnerThreeModels}
J. Bergner. Three models for the homotopy theory of homotopy theories.
{\em Topology} {\bf 46} (2007), 397-436.


\bibitem{BergnerInverting}
J. Bergner. Adding inverses to diagrams encoding algebraic structures.
{\em Homology, Homotopy Appl.} {\bf 10} (2008), 149–174.


\bibitem{BergnerSegal}
J. Bergner. A characterization of fibrant Segal categories.
{\em Proc. Amer. Math. Soc.} {\bf 135} (2007), 4031-4037.


\bibitem{BergnerRigidification}
J. Bergner. Rigidification of algebras over multi-sorted theories. Algebr. Geom. Topol. 
{\bf 6} (2006), 1925-1955.

\bibitem{BergnerSurvey}
J. Bergner. A survey of $(\infty , 1)$-categories. In 
{\em Towards higher categories} (J. Baez, P. May eds),  
The IMA Volumes in Mathematics and its Applications Series {\bf 152} (2009).  



\bibitem{BergnerSMSC}
J. Bergner. Simplicial monoids and Segal categories. Contemp. Math. {\bf 431} (2007),
59-83.

\bibitem{BergnerHoFiProd}
J. Bergner. On homotopy fiber products of homotopy theories. 
Arxiv preprint arXiv:0811.3175 (2008). 

\bibitem{Blander}
B. Blander. Local projective model structures on simplicial presheaves. 
{\em K-theory} {\bf 24}   (2001), 283-301.

\bibitem{BoardmanVogt}
J. Boardman, R. Vogt. {\em Homotopy invariant algebraic structures on
topological spaces.} Springer {\em L.N.M.} {\bf 347} (1973).

\bibitem{BondalKapranov}
A. Bondal, M. Kapranov. 
Enhanced triangulated categories. {\em Math. U.S.S.R. Sb.} {\bf 70} (1991), 93–107. 

\bibitem{BottTu}
R. Bott, L. Tu. {\em Differential Forms in Algebraic Topology}.  {\sc
Graduate Texts in Mathematics} {\bf 82} Springer, New York (1982).

\bibitem{BournDitopos}
D. Bourn. Sur les ditopos. {\em C. R. Acad. Sci. Paris} {\bf 279} (1974), 911–913.

\bibitem{Bourn}
D. Bourn. La tour de fibrations exactes des $n$-cat\'egories.
{\em Cahiers Top. G\'eom. Diff. Cat.} (1984). 

\bibitem{BournCordier}
D. Bourn and J.-M. Cordier. A general formulation of homotopy limits. {\em Jour.
Pure Appl. Alg.} {\bf 29} (1983), 129-141.

\bibitem{Bousfield-Kan}
A. Bousfield, D. Kan. {\em Homotopy limits, completions and localizations. }
Springer {\em Lecture Notes in Math.} {\bf 304} (1972).


\bibitem{BreenAsterisque}
L. Breen. On the classification of $2$-gerbs and $2$-stacks. {\em Ast\'erisque}
{\bf 225}, Soc. Math. de France (1994).

\bibitem{BreenRecent}
L. Breen. Monoidal categories and multiextensions. 
{\em Compositio Math.} {\bf 117} (1999), 295-335.



\bibitem{Breen}
L. Breen. On the classification of $2$-gerbs and $2$-stacks. {\em Ast\'erisque}
{\bf 225}, Soc. Math. de France (1994).

\bibitem{EBrown}
E. Brown, Jr. Finite computability of Postnikov complexes. {\em Ann. of Math.}
{\bf 65} (1957), 1-20.


\bibitem{KBrown}
K. Brown. Abstract homotopy theory and generalized sheaf cohomology. {\em
Trans. A.M.S.} {\bf 186} (1973), 419-458.

\bibitem{BrownGersten}
K. Brown, S. Gersten. {\em Algebraic $K$-theory as generalized sheaf cohomology}
Springer {\em Lecture Notes in Math.} {\bf 341} (1973), 266-292.

\bibitem{RBrown}
R. Brown. Groupoids and crossed objects in algebraic topology. 
{\em Homology Homotopy Appl.} {\bf 1} (1999), 1-78.

\bibitem{RBrown1}
R. Brown. Computing homotopy types using crossed $n$-cubes of
groups. {\em Adams Memorial Symposium on Algebraic Topology},
Vol 1, eds. N. Ray, G  Walker. Cambridge University Press, Cambridge
(1992) 187-210.

\bibitem{BrownGilbert}
R. Brown, N.D. Gilbert. Algebraic models of 3-types and automorphism
structures for crossed modules. {\em
Proc. London Math. Soc.} (3) {\bf 59} (1989), 51-73.

\bibitem{BrownHiggins}
R. Brown, P. Higgins. The equivalence of $\infty$-groupoids and crossed
complexes. {\em Cah. Top. Geom. Diff. Cat.} {\bf 22} (1981), 371-386.

\bibitem{BrownHiggins2}
R. Brown, P. Higgins. The classifying space of a crossed complex. {\em
Math. Proc. Camb. Phil. Soc.} {\bf 110}
(1991), 95-120.


\bibitem{BrownLoday}
R. Brown, J.-L. Loday. Van Kampen theorems for diagrams of spaces. {\em
Topology} {\bf 26} (1987), 311-335.

\bibitem{BrownLoday2}
R. Brown, J.-L. Loday. Homotopical excision, and Hurewicz theorems, for
$n$-cubes of spaces. {\em Proc. London Math. Soc.} {\bf 54} (1987), 176-192.

\bibitem{CabelloGarzon}
J. Cabello, A. Garzon. 
Closed model structures for algebraic models of $n$-types. 
Journal of Pure and Applied Algebra {\bf 103} (1995), 287-302.

\bibitem{ChengOpetopes}
The category of opetopes and the category of opetopic sets.  {\em Theory and Appl. of Categories} {\bf 11} (2003), 353-374.

\bibitem{ChengInfty}
E. Cheng. An omega-category with all duals is an omega groupoid.  {\em Appl. Cat. Struct.}
{\bf 15} (2007), 439-453.

\bibitem{ChengComparison}
E. Cheng. Comparing operadic theories of $n$-category.
Preprint arXiv:0809.2070 (2008).

\bibitem{ChengLauda}
E. Cheng, A. Lauda. {\em Higher-Dimensional Categories: an illustrated guide-book}.
\verb+http://cheng.staff.shef.ac.uk/guidebook/guidebook-new.pdf+ (2004). 

\bibitem{ChengMakkai}
E. Cheng, M. Makkai.  A note on the Penon definition of $n$-category.
Preprint arXiv:0907.3961 (2009).
 

\bibitem{CisinskiAsterisque}
D. Cisinski. {\em Les pr\'efaisceaux comme mod\`eles
des types d'homotopie.} {\sc Ast\'erisque}
{\bf 308}, S.M.F. (2006). 

\bibitem{CisinskiBatanin}
D. Cisinski. Batanin higher groupoids and homotopy types.
{\em Categories in
Algebra, Geometry and Mathematical Physics, proceedings of Streetfest}
(Batanin, Davydov, Johnson, Lack, Neeman, eds), Contemporary Math. {\bf 431} 
(2007), 171–186.

\bibitem{CisinskiDerivateurs}
D. Cisinski. 
Propri\'et\'es universelles et extensions de Kan d\'eriv\'ees.
{\em Theory and Appl. of Categories} {\bf 20} (2008), 605–649.

\bibitem{CohenLadaMay}
F. Cohen, T. Lada, J. P. May. {\em The homology of iterated loop spaces.}
Springer {\em L.N.M.} {\bf 533} (1976).


\bibitem{Cordier}
J. Cordier. Comparaison de deux cat\'egories d’homotopie de morphismes
coh\'erents. {\em Cahiers Top. G\'eom. Diff. Cat.} {\bf 30} (1989), 257-275.

\bibitem{CordierPorter86}
J. Cordier, T. Porter. Vogt's theorem on categories of homotopy coherent diagrams.
{\em Math. Proc. Camb. Phil. Soc.} {\bf 100} (1986), 65-90.

\bibitem{CordierPorter}
Cordier, Porter. Homotopy coherent category theory. 
{\em Trans. Amer. Math. Soc.} {\bf 349} (1997), 1-54.

\bibitem{Crans}
S. Crans. Quillen closed model structures for sheaves.
{\em J.  Pure Appl. Alg.} {\bf 101} (1995), 35-57. 


\bibitem{CransTensor}
S. Crans. A tensor product for Gray-categories.
{\em Theory  and Appl. of Categories} {\bf 5} (1999), 12–69.


\bibitem{CransBraidings}
S. Crans. On braidings, syllapses and symmetries. 
Cahiers de topologie et g\'eom\'etrie diff\'erentielle,
Volume 41 (2000), 2-74.


\bibitem{Curtis2}
E. Curtis. Lower central series of semisimplicial complexes. {\em Topology}
{\bf 2} (1963), 159-171.

\bibitem{Curtis}
E. Curtis. Some relations between homotopy and homology. {\em Ann. of Math.}
{\bf 82} (1965), 386-413.

\bibitem{HodgeIII}
P. Deligne. Th\'eorie de Hodge, III. {\em Publ. Math. I.H.E.S.} {\bf 44} (1974),
5-77.

\bibitem{DeligneMumford}
P. Deligne, D. Mumford. On the irreducibility of the space of curves of
a given genus. {\em Publ. Math. I.H.E.S.}  {\bf 36} (1969), 75-109.

\bibitem{lnm900}
P. Deligne, A. Ogus, J. Milne, K. Shih. {\em Hodge cycles, motives, and Shimura varieties}. {\sc Lecture Notes in Math.} {\bf 900},
Springer (1982).  

\bibitem{DrinfeldIntervalDG}
V. Drinfeld. DG quotients of DG categories. 
{\em J. of Algebra} {\bf 272} (2004), 643-691.

\bibitem{DuggerCombinatorial}
D. Dugger. Combinatorial model categories have presentations. 
{\em Adv.  in Math.} {\bf 164} (2001), 177-201. 

\bibitem{Dunn}
G. Dunn. Uniqueness of $n$-fold delooping machines. {\em J. Pure and Appl. Alg.}
{\bf 113} (1996), 159-193.

\bibitem{Duskin}
J. Duskin. Simplicial matrices and the nerves of weak $n$-categories I: nerves
of bicategories. 
{\em Theory and Applications of Categories} {\bf 9} (2002), 198–308.

\bibitem{DwyerHirschhornKan}
W. Dwyer, P. Hirschhorn, D. Kan. Model categories and  more general abstract
homotopy theory, a work in what we like to think of as progress. 

\bibitem{DwyerHirschhornKanSmith}
W. Dwyer, P. Hirschhorn, D. Kan, J. Smith. Homotopy
limit functors on model categories and homotopical categories. Mathematical Surveys and
Monographs {\bf 113} AMS, Providence,(2004).

\bibitem{DK1}
W. Dwyer, D. Kan. Simplicial localizations of categories. {\em J. Pure and Appl.
Algebra} {\bf 17} (1980), 267-284.

\bibitem{DK2}
W. Dwyer, D. Kan. Calculating simplicial localizations. {\em J. Pure and
Appl. Algebra} {\bf 18} (1980), 17-35.

\bibitem{DK3}
W. Dwyer, D. Kan. Function complexes in homotopical algebra. {\em Topology}
{\bf 19} (1980), 427-440.


\bibitem{DKS}
W. Dwyer, D. Kan, J. Smith. Homotopy commutative diagrams and their
realizations.
{\em J. Pure Appl. Algebra} {\bf 57} (1989), 5-24.

\bibitem{DwyerSpalinski}
W. Dwyer, J. Spalinski. Homotopy theories and model categories.
Handbook of Algebraic Topology, I. M. James, ed., Elsevier (1995). 

\bibitem{DyerLashoff}
E. Dyer, R. Lashoff. Homology of iterated loop spaces. {\em Amer. J. of Math.}
{\bf 84} (1962), 35-88.

\bibitem{Ellis}
G. Ellis. Spaces with finitely many nontrivial homotopy groups all of which are
finite. {\em Topology} {\bf 36} (1997), 501-504.

\bibitem{Fiedorowicz}
Z. Fiedorowicz. Classifying spaces of topological monoids and categories.
{\em Amer. J. Math.} {\bf 106} (1984), 301-350.

\bibitem{FiedorowiczVogt}
Z. Fiedorowicz, R. Vogt. 
Simplicial $n$-fold Monoidal Categories Model All $n$-fold Loop Spaces.
{\em Cah. Top. Geom. Diff. Cat.}
{\bf 44} (2003), 105-148.

\bibitem{Fukaya}
K. Fukaya. Morse homotopy, $A_{\infty}$-category and Floer homologies.
{\em Proceedings of GARC
Workshop on Geometry and Topology} (H. J. Kim, ed.), Seoul National University,
(1993).

\bibitem{Futia}
C. Futia. Weak omega categories I. Preprint arXiv:math/0404216 (2004).

\bibitem{GabrielZisman}
P. Gabriel, M. Zisman. {\em Calculus of fractions and homotopy theory.}
Springer, New York (1967).

\bibitem{Gaucher}
P. Gaucher. 
Homotopy invariants of higher dimensional categories and concurrency in computer science.
{\em Mathematical Structures in Computer Science} {\bf 10} (2000), 481-524. 

\bibitem{Giraud}
J. Giraud. {\em Cohomologie nonab\'elienne}, Grundelehren der Wissenschaften
in Einzeldarstellung {\bf 179} Springer-Verlag (1971).

\bibitem{GoerssJardine}
P. Goerss, R. Jardine. {\em Simplicial homotopy theory}.
{\sc Progress in Math.} {\bf 174}, Birkh\"{a}user (1999).  


\bibitem{GordonPowerStreet}
R. Gordon, A.J. Power, R. Street.  Coherence for tricategories {\em  Memoirs
A.M.S.} {\bf 117} (1995), 558 ff.

\bibitem{Grandis}
M. Grandis. 
Directed homotopy theory, I. The fundamental category. 
{\em Cah. Top. G\'eom. Diff. Cat.} {\bf 44} (2003), 281-316.


\bibitem{GrothendieckTohoku}
A. Grothendieck. 
Sur quelques points d'alg\`ebre homologique, I.
{\em Tohoku Math. J.}
{\bf 9} (1957), 119-221.

\bibitem{SGA1}
A. Grothendieck. {\em Revetements Etales et Groupe Fondamental (SGA I)}, 
{\sc Lecture Notes in Math.} {\bf 224}, Springer-Verlag (1971).

\bibitem{Grothendieck}
A. Grothendieck.  {\em Pursuing Stacks}, edited by G. Maltsiniotis,
to appear {\sc Documents Math\'ematiques}. See also 
\verb+http://www.grothendieckcircle.org/+.

\bibitem{GrothendieckDerivateurs}
A. Grothendieck. {\em Les D\'erivateurs}, edited by G. Maltsiniotis, available at
\verb+http://people.math.jussieu.fr/~maltsin/textes.html+.



\bibitem{Hain}
R. Hain. Completions of mapping class groups and the cycle $C-C^{-}$.
{\em Mapping class groups and moduli spaces of Riemann surfaces: proceedings of workshops held in G\"ottingen and Seattle}, {\sc Contemporary Math.} {\bf 150}, A.M.S. (1993),
75-106. 


\bibitem{HainMalcev}
R. Hain. The de rham homotopy theory of complex algebraic varieties I. 
{\em K-theory} {\bf 1} (1987),  271-324.

\bibitem{HainRelativeMalcev}
R. Hain. The Hodge de Rham theory of relative Malcev completion. 
{\em Ann. Sci. de l’E.N.S.} {\bf 31} (1998), 47-92.

\bibitem{Heller}
A. Heller. Homotopy theories. {\em Mem. Amer. Math. Soc.} {\bf  71} n. 388 (1988).

\bibitem{HermidaMakkaiPower}
C. Hermida, M. Makkai, A. Power. On weak higher-dimensional categories I.
{\em J. Pure Appl. Alg.} Part 1: {\bf 154} (2000), 221-246; Part 2: {\bf 157} (2001),
247-277.

\bibitem{HinichHAHA}
V. Hinich. Homological algebra of homotopy algebras. {\em Comm. in Algebra}
{\bf 25} (1997), 3291-3323. 

\bibitem{Hirschhorn}
P. Hirschhorn. {\em Model Categories and their Localizations}. 
{\sc Math. Surveys and Monographs} {\bf 99}, A.M.S. (2003). 

\bibitem{descente}
A. Hirschowitz, C. Simpson. Descente pour les $n$-champs. Preprint
math/9807049.

\bibitem{Hollander}
S. Hollander. 
A homotopy theory for stacks.  
{\em Israel Journal of Math.} {\bf 163} (2008) 93-124.


\bibitem{HoveyArxiv99}
M. Hovey. Monoidal model categories.  
Arxiv preprint math/9803002 (1998). 

\bibitem{Hovey}
M. Hovey. 
{\em Model categories}. 
{\sc Math. Surveys and Monographs} {\bf 63}, A.M.S. (1999). 

\bibitem{James}
I. James. Reduced product spaces. {\em Ann. of Math.} {\bf 62} (1955), 170-197.

\bibitem{Janelidze}
G. Janelidze. 
{\em Precategories and Galois theory}, Springer (1990). 


\bibitem{Jardine}
J.F. Jardine.  Simplicial presheaves, {\em J. Pure and Appl. Algebra} {\bf 47}
(1987), 35-87.

\bibitem{Johnson}
M. Johnson. The combinatorics of $n$-categorical pasting. {\em J. Pure and
Appl. Algebra} {\bf 62} (1989), 211-225.

\bibitem{JoyalLetter}
A. Joyal. Letter to A. Grothendieck (refered to in Jardine's paper).

\bibitem{JoyalQC}
A. Joyal. Quasi-categories and Kan complexes. 
{\em J. Pure Appl. Alg.}
{\bf 175} (2002), 207-222. 

\bibitem{JoyalTheta}
A. Joyal. Disks, duality and $\theta$-categories.  Preprint (1997).

\bibitem{JoyalKock}
A. Joyal, J. Kock. Weak units and homotopy $3$-types. 
{\em Categories in algebra, geometry and mathematical physics: conference and workshop in honor of Ross Street's 60th birthday}, {\sc Contemporary Math.} {\bf 431},
A.M.S. (2007), 257-276. 

\bibitem{JoyalTierney}
A. Joyal, M. Tierney. Algebraic homotopy types. Occurs as an entry in
the bibliography of \cite{BaezDolan}.

\bibitem{JoyalTierneyQCSC}
A. Joyal, M. Tierney. Quasi-categories vs Segal spaces. 
{\em Categories in algebra, geometry and mathematical physics: conference and workshop in honor of Ross Street's 60th birthday}, {\sc Contemporary Math.} {\bf 431},
A.M.S. (2007), 277-326. 


\bibitem{Kan1}
D. Kan. On c.s.s. complexes. {\em Amer. J. of Math.} {\bf 79} (1957), 449-476.

\bibitem{Kan2}
D. Kan. A combinatorial definition of homotopy groups. {\bf Ann. of Math.}
{\bf 67} (1958), 282-312.

\bibitem{Kan3}
D. Kan. On homotopy theory and c.s.s. groups. {\em Ann. of Math.} {\bf 68}
(1958), 38-53.


\bibitem{Kan4}
D. Kan. On c.s.s. categories. {\em Bol. Soc. Math. Mexicana} (1957), 82-94.

\bibitem{KapranovInv}
M. Kapranov. On the derived categories of coherent sheaves on some homogeneous spaces. 
{\em Inventiones} {\bf 92} (1988), 479-508.

\bibitem{KapranovVoevodsky}
M. Kapranov, V. Voevodsky. $\infty$-groupoid and homotopy types. {\em Cah. Top.
Geom. Diff. Cat.} {\bf 32} (1991), 29-46.

\bibitem{KaPaTo}
L. Katzarkov, T. Pantev, B. Toen. 
Algebraic and topological aspects of the schematization functor. {\em Compositio} {\bf 145} (2009),  633-686.

\bibitem{Keller}
B. Keller. Deriving DG categories. {\em Ann. Sci. E.N.S.} {\bf 27} (1994), 63-102.

\bibitem{Kelly}
G. Kelly, {\em Basic concepts of enriched category theory} London Math. Soc.
Lecture Notes {\bf 64}, Cambridge U. Press, Cambridge (1982).


\bibitem{Kock}
J. Kock. Weak identity arrows in higher categories. {\em Int. Math. Res. Papers}
(2006). 

\bibitem{Kock2}
J. Kock. 
Elementary remarks on units in monoidal categories. 
{\em Math. Proc. Cambridge Phil. Soc.} {\bf 144} (2008), 53-76.

\bibitem{KockJoyalBataninMascari}
J. Kock, A. Joyal, M. Batanin, J. Mascari. 
Polynomial functors and opetopes.
Preprint arXiv:0706.1033 (2007). 

\bibitem{Kondratieff}
G. Kondratiev. Concrete duality for strict infinity categories.
Preprint arXiv:0807.4256 (see also arXiv:math/0608436).


\bibitem{Kontsevich}
M. Kontsevich. Homological algebra of mirror symmetry.
{\em Proceedings of I. C. M.-94, Zurich} Birkh\"{a}user (1995), 120-139.


\bibitem{LaumonMB}
G. Laumon, L. Moret-Bailly.  {\em Champs Alg\'ebriques}. Springer (2000). 

\bibitem{Lawvere}
F. W. Lawvere. Functorial semantics of algebraic theories, Proc. Nat. Acad.
Sc. {\bf 50} (1963), 869-872.

\bibitem{LawvereThesis}
F. W. Lawvere. Functorial semantics of algebraic theories, Dissertation,
Columbia University 1963; Reprints in Theory Appl. Categ. {\bf 5} (2004), 23-107.

\bibitem{Leinster}
T. Leinster. A survey of definitions of $n$-category. 
{\em Theory and  Appl. of Categories} {\bf 10} (2002), 1–70.

\bibitem{LeinsterBook}
T. Leinster. {\em Higher operads, higher categories}. 
{\sc London Math. Soc. Lecture Notes} {\bf 298}, Cambridge University Press (2004).

\bibitem{Leroy}
O. Leroy.  Sur une notion de $3$-cat\'egorie adapt\'ee \`a l'homotopie.
Preprint Univ. de Montpellier 2 (1994).

\bibitem{Lewis}
L. G. Lewis. Is there a convenient category of spectra? {\em Jour. Pure and
Appl. Algebra} {\bf 73} (1991), 233-246.

\bibitem{Loday}
J.-L. Loday. Spaces with finitely many non-trivial homotopy groups. {\em J.
Pure Appl. Alg.} {\bf 24} (1982), 179-202.

\bibitem{LurieTopos}
J. Lurie. {\em Higher Topos Theory}. {\em Ann. of Math. Studies}  {\bf 170} (2009). 

\bibitem{LurieAlgebra}
J. Lurie. Derived Algebraic Geometry II--VI. Arxiv preprints (2007-2009). 

\bibitem{LurieGC}
J. Lurie. (Infinity,2)-Categories and the Goodwillie Calculus I. 
Preprint arXiv:0905.0462v2 (2009). 


\bibitem{MacDuff}
D. MacDuff. On the classifying spaces of discrete monoids. {\em Topology} {\bf
18} (1979), 313-320.

\bibitem{Mackaay}
M. Mackaay. Spherical $2$-categories and $4$-manifold invariants. {\em Adv. in Math.}
{\bf 143} (1999), 288-348.


\bibitem{MacLane}
S. MacLane. Categories for the working mathematician. Springer (1971).

\bibitem{MakkaiPare}
M. Makkai, R. Par\'e. 
{\em Accessible categories: the foundations of categorical model theory}.
{\sc Contemporary Math.} {\bf 104}, A.M.S. (1989). 


\bibitem{MaltsiniotisAsterisque}
G. Maltsiniotis. {\em La th\'eorie de l'homotopie de Grothendieck}. 
{\sc Ast\'erisque} {\bf 301}
(2005). 

\bibitem{MaltsiniotisGroGpd}
G. Maltsiniotis. Infini groupo\"'{i}des non stricts, d'apr\`es Grothendieck.  
Preprint (2007).

\bibitem{MaltsiniotisGroBat}
G. Maltsiniotis. Infini cat\'egories non strictes, une nouvelle d\'efinition. Preprint (2007).



\bibitem{Massey}
W. Massey. {\em Algebraic Topology: An Introduction}. {\sc Graduate Texts in Mathematics} {\bf 56},
Springer (1977). 

\bibitem{MaySimplicial}
J. P. May. {\em Simplicial objects in algebraic topology.} Van Nostrand (1967).

\bibitem{MayLoops}
J.P. May. {\em The geometry of iterated loop spaces} Springer {\em L.N.M.}
{\bf 271} (1972).

\bibitem{MayFibs}
J. P. May. Classifying spaces and fibrations. {\em Mem. Amer. Math. Soc.}
{\bf 155} (1975).

\bibitem{MayThomason}
J. P. May, R. Thomason. The uniqueness of infinite loop space machines. {\em
Topology} {\bf 17} (1978),  205-224.

\bibitem{MorelVoevodsky}
F. Morel, V. Voevodsky. $\aaa ^1$-homotopy theory of schemes. 
{\em Publ. Math. I.H.E.S.} {\bf 90} (1999), 45-143.

\bibitem{Moriya}
S. Moriya. 
Rational homotopy theory and differential graded category.
{\em J. of Pure and Appl. Alg.} {\bf 214} (2010), 422-439.  


\bibitem{PaoliAdvances}
S. Paoli. Weakly globular $cat^n$-groups and Tamsamani's model.
{\em  Advances in Math.} {\bf 222} (2009), 621-727.


\bibitem{Pelissier}
R. Pelissier. Cat\'egories enrichies faibles. 
Thesis, Universit\'e de Nice (2002),
\verb+http://tel.archives-ouvertes.fr/tel-00003273/fr/+ .

\bibitem{Penon}
J. Penon. Approche polygraphique des $\infty$-cat\'egories non strictes. 
{\em Cahiers Top. G\'eom. Diff. Cat.} {\bf XL-1} (1999), 31-80.

\bibitem{Power}
A. Power. Why tricategories? {\em Information and Computation} {\bf 120} (1995), 251-262.

\bibitem{Pridham}
J. Pridham. 
Pro-algebraic homotopy types.
{\em Proc. of the London Math. Soc.} {\bf 97} (2008), 273-338.

\bibitem{Quillen}
D. Quillen. {\em Homotopical algebra} Springer {\em L.N.M.} {\bf 43} (1967).

\bibitem{QuillenAnnals}
D. Quillen. Rational Homotopy Theory. {\em Ann. Math.} {\bf 90} (1969), 205-295.


\bibitem{Reedy}
C. Reedy. Homotopy theory of model categories. Preprint (1973) available from P.
Hirschhorn.

\bibitem{Rezk}
C. Rezk. A model for the homotopy theory of homotopy theory.
{\em Trans. Amer. Math. Soc.} {\bf 353} (2001), 973–1007. 

\bibitem{RezkCartesian}
C. Rezk. A cartesian presentation of weak n-categories. 
Arxiv preprint arXiv:0901.3602 (2009).

\bibitem{Riehl}
E. Riehl. On the structure of simplicial categories associated to quasi-categories.
Preprint arXiv:0912.4809 (2009). 

\bibitem{RosickyTholen}
J. Rosick\'y and W. Tholen, Left-determined model categories and universal
homotopy theories, Trans. Amer. Math. Soc. 355 (2003), 3611-3623.

\bibitem{RosickyHomotopyVarieties}
J. Rosick\'y. 
On homotopy varieties. 
{\em Adv. in Math.} {\bf 214} (2007), 525-550. 

\bibitem{RosickyCombinatorial}
J. Rosick\'y. On combinatorial model categories. 
{\em Appl. Cat. Structures} {\bf 17} (2009) 303-316. 


\bibitem{Vogt}
R. Schw\"{a}nzl, R. Vogt. Homotopy homomorphisms and the hammock localization. 
{\em Papers in honor of Jos\'e Adem}, {\em Bol. Soc. Mat. Mexicana} {\bf 37}
(1992), 431-448. 


\bibitem{SegalHspaces}
G. Segal. Homotopy everything $H$-spaces. Preprint.

\bibitem{SegalInventiones}
G. Segal. Configuration spaces and iterated loop spaces. {\em Inv. Math.} {\bf
21} (1973), 213-221.

\bibitem{Segal}
G. Segal. Categories and cohomology theories. {\em Topology} {\bf 13}
(1974), 293-312.

\bibitem{ShipleySchwede02}
B. Shipley, S. Schwede. 
Equivalences of monoidal model categories. 
{\em Algebr. Geom. Topol.} {\bf 3} (2003), 287-334. 

\bibitem{kobe}
C. Simpson. Homotopy over the complex numbers and generalized de Rham
cohomology. {\em Moduli of Vector Bundles}, M. Maruyama (Ed.) {\em Lecture
Notes in Pure and Applied Math.} {\bf 179}, Marcel Dekker (1996), 229-263.

\bibitem{flexible}
C. Simpson. Flexible sheaves. Preprint q-alg/9608025.

\bibitem{realization}
C. Simpson. The topological realization of a simplicial presheaf. Preprint
q-alg/9609004.

\bibitem{geometricN}
C. Simpson. Algebraic (geometric) $n$-stacks. Preprint
alg-geom/9609014.

\bibitem{svk}
C. Simpson. A closed model structure for $n$-categories, internal $Hom$,
$n$-stacks and generalized Seifert-Van Kampen. Preprint alg-geom/9704006.

\bibitem{limits}
C. Simpson. Limits in $n$-categories. Preprint alg-geom 9708010.

\bibitem{effective}
C. Simpson. Effective generalized Seifert-Van Kampen: how to calculate
$\Omega X$. Preprint q-alg/9710011.

\bibitem{BBDSH}
C. Simpson. On the Breen-Baez-Dolan stabilization hypothesis. Preprint 
math.CT/9810058. 

\bibitem{hty3types}
C. Simpson. 
Homotopy types of strict 3-groupoids. Preprint, math.CT/9810059.

\bibitem{SmithCombi}
J. Smith. Combinatorial model categories. Manuscript refered to in 
\cite{DuggerCombinatorial}. 

\bibitem{Stanculescu}
A. Stanculescu. 
A homotopy theory for enrichment in simplicial modules. Preprint
arXiv:0712.1319.

\bibitem{Stasheff}
J. Stasheff. Homotopy associativity of $H$-spaces, I, II. {\em Trans. Amer.
Math.
Soc.} {\bf 108} (1963), 275-292, 293-312.


\bibitem{Street}
R. Street. The algebra of oriented simplexes. {\em Jour. Pure and Appl.
Algebra} {\bf 49} (1987), 283-335.

\bibitem{Street2}
R. Street. Weak $\omega$-categories. 
{\em Diagrammatic morphisms and applications (San Francisco, 2000)}
{\em Contemporary Mathematics} {\bf 318}, AMS (2003), 207-213.

\bibitem{Tabuada}
G. Tabuada. Differential graded versus Simplicial categories. 
Preprint
arXiv:0711.3845. 

\bibitem{TabuadaSpectral}
G. Tabuada. Homotopy theory of spectral categories.
{\em Adv. in Math.} {\bf 221} (2009), 1122-1143. 

\bibitem{TamsamaniThesis}
Z. Tamsamani.  Sur des notions de $n$-categorie et $n$-groupoide non-stricte
via des ensembles multi-simpliciaux. Thesis, Universit\'e Paul Sabatier,
Toulouse (1996) available on alg-geom (95-12 and 96-07).

\bibitem{Tamsamani}
Z. Tamsamani. Sur des notions de $n$-categorie et $n$-groupoide non-stricte
via des ensembles multi-simpliciaux. {\em $K$-theory} {\bf 16} (1999), 51-99.

\bibitem{Tanre}
D. Tanre. {\em  Homotopie Rationnelle: mod\`eles de Chen, Quillen, Sullivan.}
Springer {\em Lecture Notes in Mathematics} {\bf 1025}  (1983).

\bibitem{Thomason}
R. Thomason. Uniqueness of delooping machines. {\em Duke Math. J.} {\bf 46}
(1979), 217-252.

\bibitem{ThomasonENS}
R. Thomason. 
Algebraic $K$-theory and \'etale cohomology.
{\em Ann. Sci. E.N.S.} {\bf 18} (1985), 437–552.

\bibitem{Toen}
B. Toen. Champs affines.  {\em Selecta Math.} {\bf 12} (2006), 39-134.

\bibitem{Trimble4}
T. Trimble. Notes on tetracategories,
\verb+http://math.ucr.edu/home/baez/trimble/tetracategories.html+

\bibitem{Verity}
D. Verity. Weak complicial sets I. Basic homotopy theory.
{\em Adv. in Math.} {\bf 219} (2008), 1081-1149.

\bibitem{Voevodsky}
V. Voevodsky. The Milnor conjecture. Preprint (1996). 


\bibitem{Weber}
M. Weber. 
Yoneda Structures from 2-toposes.
{\em Appl. Cat. Struct.} {\bf 15} (2007), 259-323.


\bibitem{Whitehead}
G. Whitehead. {\em Elements of Homotopy Theory}, Springer, New-York (1978).

\bibitem{WhiteheadAspheric}
J. H. C. Whitehead. On the asphericity of regions in a $3$-sphere. {\em Fund.
Math.} {\bf 32} (1939), 149-166.


\bibitem{Zawadowski}
M. Zawadowski. Lax Monoidal Fibrations. Preprint 
arXiv:0912.4464 (2009). 





\end{thebibliography}