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

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{homotopy_theory}{}\paragraph*{{Homotopy theory}}\label{homotopy_theory}

[[!include homotopy - contents]]

\hypertarget{higher_category_theory}{}\paragraph*{{Higher category theory}}\label{higher_category_theory}

[[!include higher category theory - contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{relation_to_other_concepts}{Relation to other concepts}\dotfill \pageref*{relation_to_other_concepts} \linebreak
\noindent\hyperlink{relation_to_groupoids}{Relation to $\omega$-groupoids}\dotfill \pageref*{relation_to_groupoids} \linebreak
\noindent\hyperlink{relation_to_cyclic_polytopes}{Relation to cyclic polytopes}\dotfill \pageref*{relation_to_cyclic_polytopes} \linebreak
\noindent\hyperlink{details}{Details}\dotfill \pageref*{details} \linebreak
\noindent\hyperlink{applications}{Applications}\dotfill \pageref*{applications} \linebreak
\noindent\hyperlink{nerve}{$\omega$-Nerve}\dotfill \pageref*{nerve} \linebreak
\noindent\hyperlink{free_category_on_a_simplicial_set}{Free $\omega$-Category on a simplicial set}\dotfill \pageref*{free_category_on_a_simplicial_set} \linebreak
\noindent\hyperlink{descent_and_codescent}{Descent and codescent}\dotfill \pageref*{descent_and_codescent} \linebreak
\noindent\hyperlink{lit}{References}\dotfill \pageref*{lit} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

\emph{Orientals} are ``oriented simplices'': the $n$-th oriental is the [[simplicial set|simplicial]] $n$-[[simplex]] turned into a [[globular set|globular]] simplex, hence equipped with source and target relations, assigning to each $k$-face a set of $(k-1)$-faces called its source and a set of $(k-1)$-faces called its target, subject to some natural axioms. Thus an oriental is a translation from [[simplicial set|simplicial]] to \emph{[[globular set|globular]]} [[geometric shapes for higher structures]]. (For more discussion of this point see also at \emph{[[Kan complex]]} the section \emph{\href{Kan%20complex#AsGrpds}{As models for ∞-groupoids}}.)

Each oriental freely generates (see below) a structure of a [[strict omega-category]] $O(\Delta^n)$, such that $k$-morphisms in $O(\Delta^n)$ are [[pasting diagrams]] of $k$-faces in $\Delta^n$.

One of the axioms is a [[globular set|globularity axiom]], which says that the source of a source (that is, the union of sources of all $(k-1)$-faces in the source of a $k$-face) equals the source of the target, and similarly that the target of a source equals the target of the target. Thus, orientals mediate between the [[simplicial set|simplicial]] and the [[globular set|globular]] world of [[higher category theory|infinity-categories]].

The first few orientals look as follows:

\begin{displaymath}
\itexarray{\arrayopts{\rowalign{center}}
O(\Delta^0) = & \{ 0\} \\
O(\Delta^1) = & \left\{ 0 \to 1\right\} \\
O(\Delta^2) = & \left\{
\itexarray{ }
\right\}\\
O(\Delta^3) = & \left\{
\itexarray{ }\right\}\\
O(\Delta^4) = & \left\{
\itexarray{ }
\right\}
}
\end{displaymath}
The construction of orientals is designed to be compatible with face and degeneracy maps. Therefore the orientals arrange themselves into a [[cosimplicial object|cosimplicial]] [[∞-category]], i.e., a functor

\begin{displaymath}
O : \Delta \to \omega Cat
\end{displaymath}
from the [[simplex category]] $\Delta$ to the category of [[strict omega-category|strict omega-categories]].

\hypertarget{relation_to_other_concepts}{}\subsection*{{Relation to other concepts}}\label{relation_to_other_concepts}

\hypertarget{relation_to_groupoids}{}\subsubsection*{{Relation to $\omega$-groupoids}}\label{relation_to_groupoids}

Regarding the standard $n$-simplex as a filtered space with the standard filtering, and denoting for $X$ a filtered space by $\Pi_\omega(X)$ the fundamental filter-respecting $\omega$-groupoid of $X$, we obtain a cosimplicial [[omega-groupoid|omega-groupoid]]

\begin{displaymath}
\Pi_\omega(\Delta^{-})
  :
  \Delta \to \omega Grpd
\end{displaymath}
It should be true that $\Pi_\omega(\Delta^n)$ is the \emph{free $\omega$-groupoid} on $O(\Delta^n)$. Is that right?

\hypertarget{relation_to_cyclic_polytopes}{}\subsubsection*{{Relation to cyclic polytopes}}\label{relation_to_cyclic_polytopes}

There is a convex-geometric perspective on orientals outlined in \hyperlink{KapranovVoevodsky}{Kapranov-Voevodsky} We will try to explain the punch-line first, then go into details.

In $O(\Delta^n)$, denote the source of the $n$-morphism corresponding to the $n$-face in $\Delta^n$ by $\hat 0_{n-1}$, and denote its target by $\hat 1_{n-1}$. Since these are source and target of the same morphism, they both have the same source, and both have the same target. Write $\hat 0_{n-2}$ for this source, and $\hat 1_{n-2}$ for this target. Inductively define $\hat 0_k$ and $\hat 1_k$ for all $0\leq k \leq n-1$.

The promised punchline is that the $(k+1)$-morphisms from $\hat 0_k$ to $\hat 1_k$ are in natural correspondence to the triangulations of the $(k+1)$-dimensional cyclic polytope with $n+1$ vertices.

For example, when $k=1$, we have $\hat 0_1$ is the 1-[[morphism]] $0\rightarrow 1\rightarrow \dots \rightarrow n$, and $\hat 1_1$ is the 1-morphism $0\rightarrow n$. The [[2-morphism]]s from $\hat 0_1$ to $\hat 1_1$ consist of [[triangulation]]s of the $(n+1)$-gon. See the diagrams above for examples.

\hypertarget{details}{}\paragraph*{{Details}}\label{details}

We are going to embed the [[simplex]] $\Delta^n$ inside $\mathbb {R}^n$, so we can think (convex-)geometrically about it.

Let is get the main convex-geometric definitions out of the way at the beginning.

The \emph{moment curve} in $\mathbb {R}^d$ is defined parametrically by $p(t)=(t,t^2,\dots,t^d)$.

A \emph{cyclic [[polytope]]} of [[dimension]] $d$ with $n$ vertices is the [[convex hull]] of $n$ points on the moment curve in $\mathbb {R}^d$. For many purposes, the choice of the $n$ points is irrelevant; for example, the face lattice of the polytope does not depend on which points were chosen.

A \emph{[[triangulation]]} of a polytope is a subdivision of the polytope into maximal-dimensional simplices, which overlap only on their boundaries, and all of whose vertices are vertices of the original polytope.

To fix an embedding of $\Delta^n$ into $\mathbb {R}^n$, choose real numbers $a_0\lt a_1\lt\dots\lt a_{n}$, and embed $\Delta^n$ inside $\mathbb {R}^n$ so that its $i$-th vertex is at $p(a_i)$.

Now, as already described above, we have that $\hat 0_{n-1}$ and $\hat 1_{n-1}$ are compositions of the morphisms corresponding to some $n-1$-faces, so that the morphism coming from the unique $n$-face of $\Delta_n$ goes from $\hat 0_{n-1}$ to $\hat 1_{n-1}$. Which faces belong to which $(n-1)$-morphism?

The answer is very simple: $\hat 0_{n-1}$ is the composition of the \emph{lower} faces, while $\hat 1_{n-1}$ is the composition of the \emph{upper} faces, where lower and upper are always taken with respect to the final co-ordinate.

Now, project into $\mathbb {R}^{n-1}$ by forgetting the last co-ordinate. The image of $\Delta^n$ inside $\mathbb {R}^{n-1}$ is the convex hull of $n+1$ points on the moment curve in $\mathbb {R}^{n-1}$, that is to say, it is a cyclic polytope with $n+1$ vertics in dimension $n-1$.

$\hat 0_{n-2}$ consists of the lower faces of this cyclic polytope (where, as always, we take upper/lower with respect to the final co-ordinate, though note that in this case, the final co-ordinate is the $n-1$-st co-ordinate, since we have already forgotten the $n$-th co-ordinate). Similarly, $\hat 1_{n-2}$ consists of the upper faces of this cyclic polytope.

The projections of $\hat 0_{n-1}$ and $\hat 1_{n-1}$, meanwhile, are triangulations of this cyclic polytope. The cyclic polytope of dimension $n-1$ with $n+1$ vertices has only two triangulations, so these are all of them.

In general, $\hat 0_{k}$ consists of the lower faces of the image of the projection of $\Delta_n$ into $\mathbb {R}^{k+1}$ by forgetting the last $n-k+1$ coordinates, while $\hat 1_k$ consists of the upper faces of the image. And then $\hat 0_{k+1}$, $\hat 1_{k+1}$ correspond to particular triangulations of this image and, indeed, the $(k+1)$-morphisms from $\hat 0_k$ to $\hat 1_k$ correspond bijectively to triangulations of the image (which is a cyclic polytope).

\hypertarget{applications}{}\subsection*{{Applications}}\label{applications}

\hypertarget{nerve}{}\subsubsection*{{$\omega$-Nerve}}\label{nerve}

The $\omega$-nerve $N(C)$ of an [[omega-category]] $C$ is a simplicial set which generalizes the [[nerve]] of an ordinary category: the collection of $k$-simplices in $N(C)$ is the collection of images of the $k$-th oriental $O_k$ in $C$, i.e.

\begin{displaymath}
(N(C))_k := Hom_{\omega Cat}(O([k]), C)
  \,.
\end{displaymath}
This naturally extends to a functor

\begin{displaymath}
N : \omega Cat \stackrel{Hom_{\omega Cat}(O([-_2]),-_1)}{\to}
  SimplicialSets
  \,.
\end{displaymath}
The nerve functor is faithful. This means that omega categories can be regarded as simplicial sets equipped with extra structure. The precise nature of this structure was identified by Dominic Verity in terms of [[complicial set]]s in his work on the \href{http://golem.ph.utexas.edu/string/archives/000711.html}{Doplicher-Roberts conjecture}.

\hypertarget{free_category_on_a_simplicial_set}{}\subsubsection*{{Free $\omega$-Category on a simplicial set}}\label{free_category_on_a_simplicial_set}

The $\omega$-nerve has a [[adjoint functor|left adjoint]], the free $\omega$category on a simplicial set

\begin{displaymath}
F : SimplicialSets \to \omega Cat
\end{displaymath}
given by the [[end|coend]]

\begin{displaymath}
F(S_\bullet) := \int^{[n] \in \Delta} S_n \cdot
   O([n])
  \,.
\end{displaymath}
(Here one uses that $\omega Cat$ is naturally tensored over $Sets$: the notation $S_n \cdot O([n])$ refers to a coproduct of an $S_n$-indexed collection of copies of $O([n])$. See also [[enriched category theory]].)

Because the nerve functor is faithful, the counit of the adjunction $F \dashv N$,

\begin{displaymath}
\varepsilon_C: F N C \to C,
\end{displaymath}
is an epimorphism for omega categories $C$.

Is $F$ faithful? It seems to be\ldots{} If not, how does it fail to be faithful?

\hypertarget{descent_and_codescent}{}\subsubsection*{{Descent and codescent}}\label{descent_and_codescent}

The orientals $O(\Delta^{(n)})$, as well as the $\Pi_\omega(\Delta^{(n)})$ play a central role in the description of [[descent|descent and codescent]] in [[omega-category|omega-categorical terms]].

\hypertarget{lit}{}\subsection*{{References}}\label{lit}

The orientals were introduced in

\begin{itemize}%
\item [[Ross Street]], \emph{The algebra of oriented simplexes}, J. Pure Appl. Algebra 49 (1987) 283-335; MR89a:18019 (\href{http://www.math.mq.edu.au/~street/aos.pdf}{pdf}).

\end{itemize}
The link to cyclic polytopes is discussed in

\begin{itemize}%
\item [[Mikhail Kapranov]] and [[Vladimir Voevodsky]], \emph{Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results)}. International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990). Cahiers Topologie G\'e{}om. Diff\'e{}rentielle Cat\'e{}g. 32 (1991), no. 1, 11--27. (\href{http://archive.numdam.org/article/CTGDC_1991__32_1_11_0.pdf}{pdf}).

\end{itemize}
The $\omega$-groupoids $\Pi_\omega(\Delta^{n})$ are discussed in detail in

\begin{itemize}%
\item [[Ronnie Brown]], Philip J. Higgins and Rafael Sivera, \emph{Nonabelian algebraic topology} (\href{http://www.bangor.ac.uk/~mas010/pdffiles/rbrsbookb-e040609.pdf}{pdf})

\end{itemize}
An introductory survey of the role of orientals in Street's definition of an $\omega$-category is given in section 6 of

\begin{itemize}%
\item [[Eugenia Cheng]], [[Aaron Lauda]], \emph{Higher dimensional categories: an illustrated guidebook} (2004) (\href{http://www.cheng.staff.shef.ac.uk/guidebook/guidebook-new.pdf}{pdf})

\end{itemize}
[[!redirects orientals]]



\end{document}