\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{Bibliography} \hypertarget{discussion}{}\section*{{Discussion}}\label{discussion} \emph{Eric}: I had the idea that maybe we can create a comprehensive bibliography here. Then, within a page when you want to provide a reference you can simply provide a link to this page with an anchor placed at the appropriate article. Html anchors work on the nLab, right? What do you think? \emph{Toby}: That's a good idea! References like `Bat3' are really not going to work, however; we could try APA-style `Batanin 2003' (although that will also be ambiguous sometimes). Of course, anything on the arXiv has a unique identifier \ldots{}. I'll see what I can do about getting anchors on this page so that we can test it out. \emph{Eric}: I think Bruce figured it out on that recent conference page. Found it [[Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology]] \emph{Eric}: Oh! Oh! Can we do a redirect to an anchor??? For example, have [[Goldblatt1984]] redirect to ? Or something\ldots{} \emph{Toby}: Not with the current software. But we can add redirect commands (not just anchors) to each entry and then trust that, when people click on `Goldblatt1984' and arrive at this page, they'll have the sense to search the page for `Goldblatt1984'. (Also, check out the \href{http://ncatlab.org/nlab/show/Sandbox#bibtest}{Sandbox} now.) \emph{Eric}: Nice. I like what you did in the \href{http://ncatlab.org/nlab/show/Sandbox#bibtest}{Sandbox}. Now all we need is a standardized bib reference and can think about encouraging others to use this method. \emph{Toby}: Yes, for instance we need to decide whether the standard has a space or not. (I like a space, although it's true that it makes hand-crafted URIs trickier. Although we might be able to get Jacques to fix that.) \hypertarget{bibliography}{}\section*{{Bibliography}}\label{bibliography} These are just incomplete examples in need of formatting adjustments, etc: \begin{itemize}% \item [[!redirects Goldblatt1984]] \item MacLane, ``Categories for the Working Mathematician'' \item [[John Baez|J. Baez]] and [[James Dolan|J. Dolan]], \emph{Higher-dimensional algebra III: $n$-categories and the \newline algebra of opetopes, Adv. Math. \textbf{135} (1998), 145--206. (\href{http://arxiv.org/abs/q-alg/9702014}{arXiv})} \item M. Batanin, \emph{Monoidal globular categories as natural environment for the theory of weak $n$-categories,} Adv. Math. \textbf{136} (1998), 39--103. \item M. Batanin, \emph{The Eckmann--Hilton argument, higher [[operad]]s and $E_n$-spaces.} (\href{arXiv:math/0207281}{arXiv}) \item M. Batanin, \emph{The combinatorics of iterated [[loop space]]s.} (\href{http://arxiv.org/abs/math/0301221}{arXiv}) \item J. B\'e{}nabou, \emph{Introduction to [[bicategory|bicategories]],} in \emph{Reports of the Midwest Category Seminar} , Springer, Berlin, 1967, pp. 1--77. \item C. Berger, \emph{Iterated wreath product of the [[simplex category]] and iterated [[loop space]]s} Adv. Math. \textbf{213} (2007), 230--270.\newline (\href{http://arxiv.org/abs/math/0512575}{arXiv}) \item C. Berger, \emph{A cellular [[nerve]] for higher categories, Adv. Math. \textbf{169} (2002), 118--175.\newline (\href{"http://math.ucr.edu.fr/~cberger/}{web})} \item J. Bergner, \emph{A [[model category]] structure on the category of [[simplicially enriched category|simplicial categories]]}, Trans. Amer. Math. Soc. \textbf{359} (2007), 2043-2058.\newline (\href{http://arxiv.org/abs/math/0406507}{arXiv}) \item J. Bergner, \emph{Three models of the [[homotopy theory]] of homotopy theory} , Topology \textbf{46} (2006), 1925--1955.\newline (\href{http://arxiv.org/abs/math/0504334}{arXiv}) \item R. Brown, P. Higgins and R. Sivera, \emph{[[nonabelian algebraic topology|Nonabelian Algebraic Topology]]: Higher Homotopy Groupoids of Filtered Spaces} (\href{http://www.bangor.ac.uk/~mas010/nonab-a-t.html}{web}) \item (BD1) J. Baez and J. Dolan, Higher-dimensional algebra III: $n$-categories and the algebra of opetopes, \emph{Adv. Math.} \textbf{135} (1998), 145--206. (\href{http://arxiv.org/abs/q-alg/9702014}{arXiv}) \item (Bat1) M. Batanin, Monoidal globular categories as natural environment for the theory of weak $n$-categories, \emph{Adv. Math.} \textbf{136} (1998), 39--103. \item (Bat2) M. Batanin, The Eckmann--Hilton argument, higher operads and $E_n$-spaces. (\href{http://arxiv.org/abs/math/0207281}{arXiv}) \item (Bat3) M. Batanin, The combinatorics of iterated loop spaces. (\href{http://arxiv.org/abs/math/0301221}{arXiv}) \item (Benabou) J. B\'e{}nabou, Introduction to bicategories, in \emph{Reports of the Midwest Category Seminar}, Springer, Berlin, 1967, pp. 1--77. \item (Berger1) C. Berger, Iterated wreath product of the simplex category and iterated loop spaces, \emph{Adv. Math.} \textbf{213} (2007), 230--270. (\href{http://arxiv.org/abs/math/0512575}{arXiv}) \item (Berger) C. Berger, A cellular nerve for higher categories, \emph{Adv. Math.} \textbf{169} (2002), 118--175. (\href{http://math.unice.fr/~cberger/}{online}) \item (Be1) J. Bergner, A model category structure on the category of simplicial categories, \emph{Trans. Amer. Math. Soc.} \textbf{359} (2007), 2043--2058. (\href{http://arxiv.org/abs/math/0406507}{arXiv}) \item (Be2) J. Bergner, Three models of the homotopy theory of homotopy theory, \emph{Topology} \textbf{46} (2006), 1925--1955. (\href{http://arxiv.org/abs/math/0504334}{arXiv}) \item (BHS) R. Brown, P. Higgins and R. Sivera, \emph{Nonabelian Algebraic Topology: Higher Homotopy Groupoids of Filtered Spaces}, to appear. (\href{http://www.bangor.ac.uk/~mas010/nonab-a-t.html}{online}) \item (Ch1) E. Cheng, The category of opetopes and the category of opetopic sets, \emph{Th. Appl. Cat.} \textbf{11} (2003), 353--374. \href{http://arxiv.org/abs/math/0304284}{arXiv}) \item (Ch2) E. Cheng, Weak $n$-categories: opetopic and multitopic foundations, \emph{Jour. Pure Appl. Alg.} \textbf{186} (2004), 109--137. (\href{http://arxiv.org/abs/math/0304277}{arXiv}) \item (Ch3) E. Cheng, Weak $n$-categories: comparing opetopic foundations, \emph{Jour. Pure Appl. Alg.} \textbf{186} (2004), 219--231. (\href{http://arxiv.org/abs/math/0304279}{arXiv}) \item (Ch4) E. Cheng, Opetopic bicategories: comparison with the classical theory. (\href{http://arxiv.org/abs/math/0304285}{arXiv}) \item (Ch5) E. Cheng, Comparing operadic theories of $n$-category. (\href{http://arxiv.org/abs/0809.2070}{arXiv}) \item ($\backslash$ChGur) E. Cheng and N. Gurski, Toward an $n$-category of cobordisms, \emph{Th. Appl. Cat.} \textbf{18} (2007), 274--302. (\href{http://www.tac.mta.ca/tac/volumes/18/10/18-10abs.html}{online}) \item ($\backslash$ChLau) E. Cheng and A. Lauda, \emph{Higher-Dimensional Categories: an Illustrated Guidebook}. (\href{http://www.dpmms.cam.ac.uk/~elgc2/guidebook/}{online}) \item ($\backslash$ChMakkai) E. Cheng and M. Makkai, A note on the Penon definition of $n$-category, to appear in \emph{Cah. Top. G\'e{}eom. Diff.} \item (Cisinski) D.-C. Cisinski, Batanin higher groupoids and homotopy types, in \emph{Categories in Algebra, Geometry and Mathematical Physics}, eds. A. Davydov \emph{et al}, \emph{Contemp. Math.} \textbf{431}, AMS, Providence, Rhode Island, 2007, pp. 171--186. (\href{http://arxiv.org/abs/math/0604442}{arXiv}) \item (Ehresmann) C. Ehresmann, \emph{Cat\'e{}gories et Structures}, Dunod, Paris, 1965. \item (EK) S. Eilenberg and G. M. Kelly, Closed categories, in \emph{Proceedings of the Conference on Categorical Algebra,} eds. S. Eilenberg \emph{et al}, Springer, New York, 1966. \item (Gro) A. Grothendieck, \emph{Pursuing Stacks}, letter to D. Quillen, 1983. To be published, eds. G. Maltsiniotis, M. K\"u{}nzer and B. Toen, \emph{Documents Math\'e{}matiques}, Soc. Math. France, Paris, France. \item (Gur) M. Gurski, Nerves of bicategories as stratified simplicial sets. To appear in \emph{Jour. Pure Appl. Alg.}. \item (HMP) C. Hermida, M. Makkai, and J. Power: On weak higher-dimensional categories I, II. \emph{Jour. Pure Appl. Alg.} \textbf{157} (2001), 221--277. \item (Joyal) A. Joyal, Disks, duality and $\theta$-categories, preprint, 1997. \item (JT) A. Joyal and M. Tierney, Quasi-categories vs Segal spaces. (\href{http://arxiv.org/abs/math/0607820}{arXiv}) \item (Lein1) [[Tom Leinster]], A survey of definitions of $n$-category, \emph{Th. Appl. Cat.} \textbf{10} (2002), 1--70. (\href{http://arxiv.org/abs/math/0107188}{arXiv}) \item (Lein2) [[Tom Leinster]], Structures in higher-dimensional category theory. (\href{http://arxiv.org/abs/math/0109021}{arXiv}) \item (Lein3) [[Tom Leinster]], \emph{Higher Operads, Higher Categories}, Cambridge U. Press, Cambridge, 2003.\newline (\href{http://arxiv.org/abs/math/0305049}{arXiv}) \item (Loday) J. L. Loday, Spaces with finitely many non-trivial homotopy groups, \emph{Jour. Pure Appl. Alg.} \textbf{24} (1982), 179--202. \item (Lurie1) J. Lurie, \emph{Higher Topos Theory}. (\href{http://arxiv.org/abs/math/0608040}{arXiv}) \item (Lurie2) J. Lurie, Stable infinity categories. (\href{http://arxiv.org/abs/math/0608228}{arXiv}) \item (Lurie3) J. Lurie, On the classification of topological field theories. (\href{http://arxiv.org/abs/0905.0465}{arXiv}) \item (Makkai) M. Makkai, The multitopic $\omega$-category of all multitopic $\omega$-categories. (\href{http://www.math.mcgill.ca/makkai}{online}) \item (Makkai2) M. Makkai, On comparing definitions of weak $n$-category. (\href{http://www.math.mcgill.ca/makkai}{online}) \item (May) J. P. May, What precisely are $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra?, \emph{Geometry and Topology Monographs} \textbf{16} (2009), 215--284. \item (MS) J. P. May and J. Siggurdson, \emph{Parametrized Homotopy Theory}, AMS, Providence, Rhode Island, 2006. \item (Pa1) S. Paoli, Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids. (\href{http://arxiv.org/abs/math/0607330}{arXiv}) \item (Pa2) S. Paoli, Semistrict Tamsamani $n$-groupoids and connected $n$-types. (\href{http://arxiv.org/abs/math/0701655}{arXiv}) \item (Penon) J. Penon, Approche polygraphique des $\infty$-categories non strictes, \emph{Cah. Top. G\'e{}om. Diff.} \textbf{40} (1999), 31--80. \item (Simpson1) C. Simpson, A closed model structure for $n$-categories, internal Hom, $n$-stacks and generalized Seifert--Van Kampen. (\href{http://arxiv.org/abs/alg-geom/9704006}{arXiv}) \item (Simpson2) C. Simpson, Limits in $n$-categories. (\href{http://arxiv.org/abs/alg-geom/9708010}{arXiv}) \item (Simpson3) C. Simpson, Calculating maps between $n$-categories. (\href{http://arxiv.org/abs/math/0009107}{arXiv}) \item (Simpson4) C. Simpson, On the Breen--Baez--Dolan stabilization hypothesis for Tamsamani's weak $n$-categories. (\href{http://arxiv.org/abs/math/9810058}{arXiv}) \item (Simpson5) C. Simpson, Some properties of the theory of $n$-categories. (\href{http://arxiv.org/abs/math/0110273}{arXiv}) \item (Str1) R. Street, The algebra of oriented simplexes, \emph{Jour. Pure Appl. Alg.} \textbf{49} (1987), 283--335. \item (Str2) R. Street, The role of Michael Batanin's monoidal globular categories, in \emph{Higher Category Theory}, Contemp. Math. \textbf{230}, AMS, Providence, Rhode Island, 1998, pp. 99--116. (\href{http://www.math.mq.edu.au/~street}{online}) \item (Str3) R. Street, Weak omega-categories, in \emph{Diagrammatic Morphisms and Applications}, \emph{Contemp. Math.} 318, AMS, Providence, RI, 2003, pp. 207--213. (\href{http://www.math.mq.edu.au/~street}{online}) \item (Tam1) Z. Tamsamani, Sur des notions de $n$-cat\'e{}gorie et $n$-groupoide non-strictes via des ensembles multi-simpliciaux, \emph{K-Theory} \textbf{16} (1999), 51--99. (\href{http://arxiv.org/abs/alg-geom/9512006}{arXiv}) \item (Tam2) Z. Tamsamani, Equivalence de la th\'e{}orie homotopique des $n$-groupoides et celle des espaces topologiques $n$-tronqu\'e{}s. (\href{http://arxiv.org/abs/alg-geom/9607010}{arXiv}) \item (Verity1) D. Verity, \emph{Complicial Sets: Characterising the Simplicial Nerves of Strict $\omega$-Categories}, \emph{Memoirs AMS} \textbf{905}, 2005. (\href{http://arxiv.org/abs/math/0410412}{arXiv}) \item (Verity2) D. Verity, Weak complicial sets, a simplicial weak $\omega$-category theory. Part I: basic homotopy theory. (\href{http://arxiv.org/abs/math/0604414}{arXiv}) \item (Verity3) D. Verity, Weak complicial sets, a simplicial weak $\omega$-category theory. Part II: nerves of complicial Gray-categories. (\href{http://arxiv.org/abs/math/0604416}{arXiv}) \item (Weber) M. Weber, Yoneda structures from 2-toposes, \emph{Applied Categorical Structures} \textbf{15(3)} (2007), 259--323. Preliminary version: (\href{http://arxiv.org/abs/math/0606393}{arXiv}) \end{itemize} \emph{Eric}: There is probably a better solution, but the asterisks below are to ensure that this page is long enough that links to specific references work, e.g. if the reference is at the bottom of the page, the anchor may not work as desired. \emph{Toby}: Some browsers do this right; they put extra space at the bottom if needed. \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * \begin{itemize}% \item \end{itemize} * * category: meta \end{document}