\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*{Contributors}

Following is a list of people who have contributed content to the nLab (or at least who have claimed credit for content or who have been impersonated by people who contributed content). Some people have also contributed [[AnonymousCoward|anonymously]] (including as a [[lab elf]] or [[admin|administrator]]). See also \href{http://ncatlab.org/nlab/list/people}{category: people} and \href{http://ncatlab.org/nlab/authors}{Authors}; the former includes both contributors and others, but only people with a page in the Lab; while the latter also displays a list of all pages that each author has contributed to, under the names that they signed, as well as names under which the Lab has been spammed and names which have been left off this list through oversight.

\begin{itemize}%
\item [[Aaron F]]
\item [[Abhijnan Rej]]
\item [[Adam]]
\item [[Akhil Mathew]]
\item [[amca01|Alasdair McAndrew]]
\item [[Aleks Kissinger]]
\item [[Alex Hoffnung]]
\item [[Alex Nelson]]
\item [[Alexandru Chirvasitu]]
\item [[AlonAmit|Alon Amit]]
\item [[André Joyal]]
\item [[Andrea Ferrario]]
\item [[Andreas Holmstrom]]
\item [[AndrejBauer|Andrej Bauer]]
\item [[Andres Angel]]
\item [[Andrew Ranicki]]
\item [[Andrew Stacey]]
\item [[Angela|Angela Beesley]]
\item [[Archimedes]]
\item [[Arnold Neumaier]]
\item [[Bas Spitters]]
\item [[Ben Webster]]
\item [[Benjamin Antieau]]
\item [[Benoit Jubin]]
\item [[Beren Sanders]]
\item [[beroal]]
\item [[Bertfried Fauser]]
\item [[Blake Stacey]]
\item [[Bruce Bartlett]]
\item [[Charles Rezk]]
\item [[Charles Siegel]]
\item [[Charles Wells]]
\item [[Chenchang Zhu]]
\item [[Chris]] (possibly one of the Chrises listed below)
\item [[Chris Brav]]
\item [[Chris Rogers]]
\item [[Chris Schommer-Pries]]
\item [[Chris Waggoner]]
\item [[Claire Tomesch]]
\item [[Colin Tan]]
\item [[Dan Christensen]]
\item [[dan|Dan Lior]]
\item [[Daniel de França MTd2|Daniel de França]] [[Daniel de Fran?a MTd2|MTd2]]
\item [[Daniel Schäppi]]
\item [[divbyzero|Dave Richeson]]
\item [[David Carchedi]]
\item [[David Corfield]]
\item [[davidfsnyder|David F. Snyder]]
\item [[david karapetyan|David Karapetyan]]
\item [[David Roberts]]
\item [[David Rydh]]
\item [[David Speyer]]
\item [[Dmitri Pavlov]]
\item [[Dmitri Roytenberg]]
\item [[Domenico Fiorenza]]
\item [[Dylan Thurston]]
\item [[dsk]]
\item [[Edmund Harriss]]
\item [[Eduardo Ochs]]
\item [[Eduardo Pareja-Tobes]]
\item [[Emily Riehl]]
\item [[Eric Forgy]]
\item [[Eric Katerman]]
\item [[Eugene Lerman]]
\item [[Evan Jenkins]]
\item [[Finn Lawler]]
\item [[Fosco Loregian]]
\item [[Frédéric Paugam]]
\item [[G. Rodrigues]]
\item [[G B]]
\item [[Gabriel C. Drummond-Cole]]
\item [[Garlef Wegart]]
\item [[Gavin Wraith]]
\item [[Geoff Cruttwell]]
\item [[Gerry]]
\item [[Gonçalo Marques|Gonçalo]] [[Goncalo Marques|Marques]]
\item [[Gordon Royle]]
\item [[Greg Egan]]
\item [[gtest]]
\item [[Hanno Becker]]
\item [[Harry Gindi]]
\item [[Herman Stel]]
\item [[Hugh Thomas]]
\item [[Ian Durham]]
\item [[Igor Bakovic]]
\item [[Ingo Blechschmidt]]
\item [[Itai Bar-Natan]]
\item [[Ivo]]
\item [[jdthomas|J. D. Thomas]]
\item [[Jacques Carette]]
\item [[Jacques Distler]]
\item [[Jamie Vicary]]
\item [[James Dolan]]
\item [[Jason Dusek]]
\item [[JCMcKeown]]
\item [[Jeanine|Jeanine Daems]]
\item [[Jim Stasheff]]
\item [[JM]] (possibly Jonas Meyer)
\item [[Jocelyn Paine]]
\item [[John Baez]]
\item [[John Cook]]
\item [[John Huerta]]
\item [[Jon Awbrey]]
\item [[Jon Beardsley]]
\item [[Jon Phillips]]
\item [[Jonas Frey]]
\item [[Jonas Meyer]]
\item [[Josep Elgueta]]
\item [[Jürgen Koslowski]]
\item [[Kareem|Kareem Carr]]
\item [[Kevin Lin]]
\item [[Kevin Walker]]
\item [[Konrad Waldorf]]
\item [[Kurt TeKolste]]
\item [[Lars Kindler]]
\item [[lieven lebruyn|Lieven Le Bruyn]]
\item [[Maarten Bergvelt]]
\item [[Marc Olschok]]
\item [[Mark Meckes]]
\item [[Martin Olbermann]]
\item [[Matan Prezma]]
\item [[Mathieu Dupont]]
\item [[Matthew Kahle]]
\item [[hilbertthm90|Matthew Ward]]
\item [[Michael Bächtold]]
\item [[Michael Hardy]]
\item [[Mikael Vejdemo Johansson]]
\item [[Mike Shulman]]
\item [[Mike Stay]]
\item [[MPichler]]
\item [[Noah Snyder]]
\item [[Noam Zeilberger|Noam]] [[NoamZeilberger|Zeilberger]]
\item [[Omar Antolín-Camarena]]
\item [[ouijaa]]
\item [[Owen Biesel]]
\item [[Pante Stanica]]
\item [[Patrick Schultz]]
\item [[Peter Arndt]]
\item [[Peter C Marks]]
\item [[Peter LeFanu Lumsdaine]]
\item [[Peter Selinger]]
\item [[phx]]
\item [[PrimeDeGold]]
\item [[Raeder]]
\item [[Rafael Borowiecki]]
\item [[Rasmus Bentmann]]
\item [[Reid Barton]]
\item [[Riccardo Nicoletti]]
\item [[Richard Body]]
\item [[Rod McGuire]]
\item [[Roger Witte]]
\item [[Romie Banerjee]]
\item [[Ronnie Brown]]
\item [[Ryan Grady]]
\item [[SamStaton|Sam Staton]]
\item [[Scott Morrison]]
\item [[Sebastian Thomas]]
\item [[Simon Willerton]]
\item [[Snoyl]]
\item [[Soeren]]
\item [[Sridhar Ramesh]]
\item [[Stefan Forcey]]
\item [[Stephan Alexander Spahn]]
\item [[Stephen Britton]]
\item [[Stephen Gaito]]
\item [[Stephen with OK|Stephen]] [[Approved Stephen|Harris]]
\item [[Thomas]] (possibly one of the Thomases or Toms listed below)
\item [[Thomas Fiore]]
\item [[Thomas Nikolaus]]
\item [[Thomas Streicher]]
\item [[Tim Porter]]
\item [[Tim Richter]]
\item [[Tim Silverman]]
\item [[Tim van Beek]]
\item [[Tobias Fritz]]
\item [[Toby Bartels]]
\item [[Todd Trimble]]
\item [[Tom Ellis]]
\item [[Tom Hirschowitz]]
\item [[Tom Leinster]]
\item [[Tom Prince]]
\item [[Torsten Asselmeyer-Maluga]]
\item [[Ulrik]]
\item [[Urs Schreiber]]
\item [[Vaughan Pratt]]
\item [[Victor Porton]]
\item [[Vishal Lama]]
\item [[ViV]]
\item [[Vlad Patryshev]]
\item [[Yaron]]
\item [[Yemon Choi]]
\item [[Yury Lifshits]]
\item [[Zhen Lin]]
\item [[Zoran Škoda]]

\end{itemize}
category: meta



\end{document}