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

\hypertarget{contents}{}\subsubsection*{{Contents}}\label{contents}

\hypertarget{contents_2}{}\subsubsection*{{Contents}}\label{contents_2}

[[!include contents]]

[[!include mathematicscontents]]

[[!include physicscontents]]

$\,$

 $\,$

[[About|This]] is a \href{http://en.wikipedia.org/wiki/Wiki}{wiki}-lab for collaborative work on \emph{[[Mathematics]]}, \emph{[[Physics]]} and \emph{[[Philosophy]]} --- especially from the [[n-point of view]]: in so far as these subjects are usefully treated with tools and notions of [[category theory]] or [[higher category theory]].

\hypertarget{the_lab}{}\section*{{The $n$Lab}}\label{the_lab}

\noindent\hyperlink{purpose}{Purpose}\dotfill \pageref*{purpose} \linebreak
\noindent\hyperlink{Discussion}{Discussion, Comments, Questions}\dotfill \pageref*{Discussion} \linebreak
\noindent\hyperlink{Contributing}{Contributing to the $n$Lab}\dotfill \pageref*{Contributing} \linebreak
\noindent\hyperlink{TermsOfUse}{Using the $n$Lab}\dotfill \pageref*{TermsOfUse} \linebreak
\noindent\hyperlink{SoftwareRequirements}{Software requirements}\dotfill \pageref*{SoftwareRequirements} \linebreak
\noindent\hyperlink{Server}{Server and setup}\dotfill \pageref*{Server} \linebreak
\noindent\hyperlink{SteeringCommitte}{Steering Committee}\dotfill \pageref*{SteeringCommitte} \linebreak


\hypertarget{purpose}{}\subsection*{{Purpose}}\label{purpose}

We think of this wiki as our \textbf{lab book} that we happen to keep open for all to see.

The \textbf{purpose of the $n$Lab} is to provide a public place where people can make notes about stuff. The purpose is not to make polished expositions of material; that is a happy by-product.

We all make notes as we read papers, read books and doodle on pads of paper. The $n$Lab is somewhere to put all those notes, and, incidentally, to make them available to others. Others might read them and add or polish them. But even if they don't, it is still easier to link from them to other notes that you've made.

For more see

\begin{itemize}%
\item [[schreiber:What is\ldots{} the nLab]]?


\item [[About]].


\item Wikipedia entry: \emph{\href{https://en.wikipedia.org/wiki/NLab}{nLab}}



\end{itemize}
\hypertarget{Discussion}{}\subsection*{{Discussion, Comments, Questions}}\label{Discussion}

While we work on the $n$Lab, we talk to each other on the \href{http://nforum.ncatlab.org}{nForum}. In particular, for all but the most trivial edits (correcting spelling or punctuation, etc.), we make a note of our latest edits to the $n$Lab in the part \href{http://nforum.ncatlab.org/5/}{nForum -- latest changes}, where they may be discussed further.

If you do make \textbf{contributions} to the $n$Lab, you are strongly encouraged to similarly drop a short note there about what you have done -- or maybe just about what you plan to do or even what you would like others to do. See \emph{[[nlabmeta:Welcome to the nForum]]} for more information.

If you do not want to contribute to the $n$Lab, but if you have \textbf{comments} on an entry -- say because you are an expert and feel that information is wrong or missing -- or \textbf{questions} -- say because you are a layperson and feel that things could be explained better -- then we generally prefer that you post that comment or question to the \href{http://nforum.ncatlab.org}{nForum}, where it is visible to everybody who might be concerned.

In case that you do feel that this is not an option and that you do need to contact privately (say by email) a single author of an $n$Lab page, please make sure that you know who the right author is. Beware that the $n$Lab pages are visibly ``signed'' only by the name of the last person who made any edit on the page, no matter how minor. To find the author who made the edit that you want to comment or ask about privately, you should click on the link ``History'' at the bottom of any page to see which version was authored by whom.

\hypertarget{Contributing}{}\subsection*{{Contributing to the $n$Lab}}\label{Contributing}

If after looking around for a while you feel like contributing yourself, you are welcome to do so. But read [[About]] to be sure you understand what we are doing here (to the extent that we understand this ourselves, at least). If you feel unsure about appropriate content, see [[What to Contribute]]. For technical hints see [[HowTo]].

If you make any edits to the $n$Lab, please inform the rest of the $n$Lab community by dropping a brief message in the \emph{latest changes} section of the \href{http://nforum.ncatlab.org}{nForum}!

\hypertarget{TermsOfUse}{}\subsection*{{Using the $n$Lab}}\label{TermsOfUse}

One goal of the $n$Lab is to help make information widely available and usefully related to other information. In this users and contributors are expected to follow traditional academic practice:

\begin{itemize}%
\item Using and distributing content obtained from the $n$Lab is free and encouraged if you acknowledge the source, as usual in academia.

(There is currently no consensus on a more formal license statement, but if it matters check if relevant individual contributors state such on their nLab homepages.)

If you cite a page you may want to point to a specific version of it, because $n$Lab pages can change. You can find a list of all the versions of a page by clicking on the \textbf{History} link at the bottom of the page itself.


\item Conversely, any content contributed to the $n$Lab is publicly available and you should be aware that others may use your contributions (whatever you decide to do with their content elsewhere) and indeed may edit them. In the first case you trust that users will cite your contributions properly, in the second that they will respect and only improve on them. At the same time, you are expected to properly acknowledge sources of information for material entered into the $n$Lab.



\end{itemize}
Usually this works well. If there is need for discussion, the \href{http://nforum.ncatlab.org}{nForum} is the forum to turn to. If serious problems arise, the \hyperlink{SteeringCommitte}{steering committee} might intervene.

\hypertarget{SoftwareRequirements}{}\subsection*{{Software requirements}}\label{SoftwareRequirements}

The $n$Lab sends mathematical formulas to the browser using \href{http://en.wikipedia.org/wiki/MathML}{MathML}.

Notice that \textbf{you don't need to know any MathML} for editing the $n$Lab, only your browser does. You write formulas into the $n$Lab between dollar signs in \href{http://golem.ph.utexas.edu/~distler/blog/itex2MMLcommands.html}{iTeX}, which is very similar to ordinary \href{https://www.latex-project.org/}{LaTeX}.

Presently only \href{http://www.mozilla.com/firefox/}{Firefox} and its derivatives have implemented \emph{native} rendering of MathML. Presently all other browsers fall back to invoking \href{https://www.mathjax.org/}{MathJax}. This works fine on small pages, but on pages with substantial content the MathJax rendering takes up to several minutes.

This means that presently \textbf{you should use Firefox} or its derivatives to view the $n$Lab (\href{https://www.mozilla.org/en-GB/firefox/new/?gclid=CJnjs-3R3M0CFRHhGwodA10Euw}{free download of Firefox}).

$\backslash$linebreak

\hypertarget{Server}{}\subsection*{{Server and setup}}\label{Server}

The domain {\colorbox[rgb]{1.00,0.93,1.00}{\tt ncatlab\char46org}} is owned by [[Urs Schreiber]].

The $n$Lab server is hosted at Carnegie Mellon University, funded in the context of the \href{http://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/}{HoTT MURI grant}.

\begin{quote}%
The nLab runs on a server at Carnegie Mellon University that is supported by MURI grant FA9550-15-1-0053 from the Air Force Office of Scientific Research. Any opinions, findings and conclusions or recommendations expressed on the nLab are those of the authors and do not necessarily reflect the views of the AFOSR.


\end{quote}
The technical administration of the software installation is currently in the hands of [[Richard Williamson]]. (If you wish to lend a hand, please \href{https://nforum.ncatlab.org/}{contact us}.)

The $n$Lab page style is due to [[Jake Bian]], originating with his \href{https://sites.google.com/keplr.io/kan}{Kan browser extension}

The $n$Lab logo is due to [[David Roberts]], inspired by Matisse's painting \emph{\href{https://collections.lacma.org/node/207557}{La Gerbe}}. Besides being an inside reference to [[schreiber:Higher Structures|higher structures]] known as \emph{[[gerbes]]}, the logo represents maybe [[computational trinitarianism]] or the [[Science of Logic|progression of modalities]] or generally the unity of diverse mathematical phenomena revealed by the [[nPOV]].

The $n$Lab runs on a \href{https://github.com/ncatlab/nlab}{custom fork} of \href{https://golem.ph.utexas.edu/wiki/instiki/show/HomePage}{Instiki}. All bug reports or other software issues/requests for the $n$Lab are currently best raised in the category \emph{\href{https://nforum.ncatlab.org/21/}{nLab Technical Matters}} at the \href{https://nforum.ncatlab.org/}{nForum}, but can also be posted \href{https://github.com/ncatlab/nlab/issues}{at github}.

$\backslash$linebreak

\hypertarget{SteeringCommitte}{}\subsection*{{Steering Committee}}\label{SteeringCommitte}

The $n$Lab is a community undertaking. But for all matters that do require that the $n$Lab is represented to the outside by an official decision-taking body, we have the [[nlabmeta:steering committee|steering committee]]. \emph{Nobody ``is in charge of the $n$Lab''.} But the steering committee is the closest approximation to a body being in charge that we have.

category: meta

[[!redirects HomePage]] [[!redirects Home Page]] [[!redirects Homepage]] [[!redirects Home page]] [[!redirects homepage]] [[!redirects home page]] [[!redirects nLab]]



\end{document}