\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*{fundamental (infinity,1)-category}

[[!redirects fundamental (∞,1)-category]]

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

\hypertarget{category_theory}{}\paragraph*{{$(\infty,1)$-Category theory}}\label{category_theory}

[[!include quasi-category theory contents]]

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

[[!include homotopy - contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{directed_topological_spaces}{Directed topological spaces}\dotfill \pageref*{directed_topological_spaces} \linebreak
\noindent\hyperlink{fundamental_category}{Fundamental $(\infty,1)$-category}\dotfill \pageref*{fundamental_category} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{fundamental_categories_induced_from_intervals}{Fundamental $\infty$-categories induced from intervals}\dotfill \pageref*{fundamental_categories_induced_from_intervals} \linebreak
\noindent\hyperlink{fundamental_algebraic_categories}{Fundamental algebraic $\infty$-categories}\dotfill \pageref*{fundamental_algebraic_categories} \linebreak
\noindent\hyperlink{FundGeomInftCat}{Fundamental geometric $\infty$-categories}\dotfill \pageref*{FundGeomInftCat} \linebreak
\noindent\hyperlink{example_standard_intervals_cubes_and_simplices_in__and_}{Example: standard intervals, cubes and simplices in $Top$ and $Diff$}\dotfill \pageref*{example_standard_intervals_cubes_and_simplices_in__and_} \linebreak
\noindent\hyperlink{Dendroidal}{Fundamental little 1-cubes space induced from an interval}\dotfill \pageref*{Dendroidal} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


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

In analogy to how a [[topological space]] has a [[fundamental ∞-groupoid]], a [[directed space]] has a fundamental [[(∞,1)-category]]

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

\hypertarget{directed_topological_spaces}{}\subsubsection*{{Directed topological spaces}}\label{directed_topological_spaces}

\begin{udefn}
By a \textbf{[[directed space|directed topological space]]} we here mean specifically a pair $(X,D)$ consisting of

\begin{itemize}%
\item a [[topological space]] $X$;


\item a subset $D \subset X^{[0,1]}$ of [[continuous map]]s $\gamma : [0,1] \to X$ that are are labeled as being \emph{directed} ,


\item such that

\begin{itemize}%
\item for every orientation preserving [[homeomorphism]] $\phi : [0,1] \to [0,1]$ and every directed map $\gamma$ also $\gamma \circ \phi$ is directed;


\item for any two directed paths $\gamma_1, \gamma_2$ with $\gamma_1(1) = \gamma_2(0)$ also the concatenation

\begin{displaymath}
[0,1] \stackrel{\times 2}{\to} [0,2]
  \simeq [0,1] \coprod_{*} [0,1]
  \stackrel{(\gamma_1, \gamma_2)}{\to} 
  X
\end{displaymath}
is a directed path.



\end{itemize}


\end{itemize}
A morphism $(X_1,D_1) \to (X_2, D_2)$ of directed spaces is a continuous map $X_1 \to X_2$ that takes elements in $D_1$ to elements in $D_2$.

This defines the [[category]] $DTop$ of directed topological spaces.

\end{udefn}
\begin{uexample}
\textbf{(topological poset)}

For $X$ a topological space equipped with the structure of a [[poset]] on its underlying set, say that $\gamma : [0,1] \to X$ is directed if for all $x \leq y$ in $[0,1]$ we have $\gamma(x) \leq \gamma(y)$ in $X$.

\end{uexample}
\begin{uexample}
\textbf{(directed geometric simplex)}

For $\Delta^k_{Top}$ the standard topological $k$-[[simplex]] its \emph{standard directed paths} are order-preserving maps into its 1-[[simplicial skeleton|skeleton]] (the union of the 1-faces equipped with the evident [[poset]]-structure induced from that on the vertices), such that the endpoints land on vertices.

\end{uexample}
\begin{uexample}
\textbf{(directed geometric realization)}

For $C$ a [[quasi-category]] its [[geometric realization]] $|C|$ becomes a directed topological space by taking the directed paths to be all maps that factor through its 1-[[simplicial skeleton|skeleton]]:

\begin{displaymath}
\int^{[k] \in \Delta_{\leq 1}} \Delta^k_{Top} \times C_k 
  \hookrightarrow
  \int^{[k] \in \Delta} 
  \Delta^k_{Top} \times C_k
  =
  |C|
\end{displaymath}
while preserving the canonical order and so that the endpoints land on vertices.

\end{uexample}
The previous example of the directed topological simplex is the special case of this for $C = \Delta[k]$.

\hypertarget{fundamental_category}{}\subsubsection*{{Fundamental $(\infty,1)$-category}}\label{fundamental_category}

\begin{udef}
The \textbf{fundamental $(\infty,1)$-category} of a directed topological space $(X,D)$ is given by the [[quasi-category]] $\Pi(X,D)$ whose [[k-morphism]]s are those continuous maps

\begin{displaymath}
\sigma : \Delta^k_{Top} \to X
\end{displaymath}
that are morphisms of directed spaces with respect to the \hyperlink{DirectedSimplex}{standard directed paths} in $\Delta^k$.

\begin{displaymath}
\Pi(X,D)_k := Hom_{DTop}(\Delta^k_{Top}, (X,D))
 \,.
\end{displaymath}
\end{udef}
\begin{ulemma}
This does indeed define a quasi-category

\end{ulemma}
\begin{proof}
Use the standard [[retract]]s $\Delta^k_{Top} \to \Lambda^k_i$ of the topological [[horn]] inclusions $\Lambda^k_i \hookrightarrow \Delta^k$ to fill horns in $\Pi(X,D)$.

For $k \geq 3$ these retracts are the identity on 1-faces, hence trivially preserve the directed paths. For $k = 2$ it is precisely the retract of the \emph{inner} horn $\Lambda^2_1$ that preserves the directed paths. This is sufficient to satisfy the inner horn filler condition of quasi-categories.

\end{proof}
\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\begin{ulemma}
If $X$ is undirected in that \emph{all} paths are labeled as directed -- $D = X^{[0,1]}$ -- then $\Pi(X,D)$ coincides with the [[fundamental ∞-groupoid]] $\Pi(X)$ of $X$.

\end{ulemma}
\hypertarget{fundamental_categories_induced_from_intervals}{}\subsection*{{Fundamental $\infty$-categories induced from intervals}}\label{fundamental_categories_induced_from_intervals}

The interest in interval objects is that various further structures of interest may be built up from them. In particular, since picking an interval object $I$ is like picking a notion of \emph{path}, in a category with interval object there is, under mild assumptions, for each object $X$ an [[infinity-category]] $\Pi_I(X)$ -- the fundamental $\infty$-category of $X$ with respect to $I$ -- whose [[k-morphism]]s are $k$-fold $I$-paths in $X$.

There are different ways to make this precise and realize it in detail. The main distinction is whether one uses

\begin{itemize}%
\item an [[algebraic definition of higher category]]

\end{itemize}
or

\begin{itemize}%
\item a [[geometric definition of higher category]].

\end{itemize}
We describe an algebraic version in terms of [[Trimble n-category|Trimble omega-categories]] and then a geometric version in terms of [[cubical object]]s and [[simplicial object]]s.

\hypertarget{fundamental_algebraic_categories}{}\subsubsection*{{Fundamental algebraic $\infty$-categories}}\label{fundamental_algebraic_categories}

The collection of objects $\{ {}_{pt}[I, I^{\vee n}]_{pt}\}_{n \in \mathbb{N}}$ in a category with interval object naturally comes equipped with the structure of an [[operad]]: this is the tautological co-[[endomorphism operad]] on the object $I$ in the symmetric closed monoidal category of [[bi-pointed object]]s from $pt$ to $pt$.

This induces in turn for all objects $X \in V$ on the object $[I,X]$ the structure of an operad, which is naturally interpreted as an internal $A_\infty$-[[A-infinity-category|category]] structure on

\begin{displaymath}
(X_0 := [pt,X]) 
  \stackrel{s := [\sigma,X]}{\leftarrow}  
  [I,X] 
  \stackrel{t := [\tau, X]}{\to} (X_0 := [pt,X])
  \,.
\end{displaymath}
This internal $A_\infty$-category is denoted

\begin{displaymath}
\Pi_1(X)
\end{displaymath}
and interpreted as the [[fundamental groupoid]] or rather, in general, the [[fundamental category]] of the object $B$ with respect to the interval object $I$ -- all internal to $V$.

Moreover, by iterating this process as described at [[Trimble n-category]] one should obtain, if everything goes through, on $X$ the structure of a [[Trimble n-category|Trimble]] $\omega$-[[infinity-category|category]] and indeed a functor

\begin{displaymath}
\Pi_\omega : V_0 \to Trimble \omega Cat
  \,.
\end{displaymath}
(\ldots{} to be continued \ldots{})

\begin{uremark}
\begin{itemize}%
\item The condition that all ${}_{pt}[I, I^{\vee n}]_{pt}$ are contractible is the \emph{coherence condition} on all composition operations.


\item The above is \emph{not} demanding that the interval object $I$ itself is is weakly equivalent to the point. If it is, then $\Pi_1(X)$ is indeed a [[fundamental groupoid]]. If it is not, then $\Pi_1(X)$ may just be a [[fundamental category]].


\item If $X_0$ has a notion of [[path object]] one may consider imposing the condition that $[I,X]$ is a path object of $X$ for all $X$. Similarly, if $V_0$ has a [[cylinder functor]], one may consider imposing the condition that it is given by $-\otimes I$.



\end{itemize}
\end{uremark}
\hypertarget{FundGeomInftCat}{}\subsubsection*{{Fundamental geometric $\infty$-categories}}\label{FundGeomInftCat}

Let $C$ be a category with finite [[limit]]s and (plain) interval object ${*} \stackrel{0}{\to} I \stackrel{1}{\leftarrow} {*}$, where ${*}$ denotes the [[terminal object]].

This may or may not come with further structures and properties as discussed in the definitions above. For the following however no more than that is neceesray.

Recall that the \textbf{cube category} is the initial strict [[monoidal category]] $(M, \otimes, I)$ equipped with an object $int$ together with two maps $i_0, i_1: I \to int$ and a map $p: int \to I$ such that $p i_0 = 1_I = p i_1$.

In a tautological way, $I$ induces a [[cocubical object]] in $C$, a [[functor]]

\begin{displaymath}
\Box_I : \Box \to C
\end{displaymath}
from the [[cube category]] $\Box$ to $C$. This sends the abstract interval object $int$ that the [[cube category]] is freely generated from to the given $I$, and sends $int^{\otimes n}$ to the $n$-cuber $\Box_I^n := I^{\times n}$.

For every object $X \in C$ homming cubes into $X$ thereby produces a [[cubical set]]

\begin{displaymath}
X^{\Box^\bullet_I} : int^n \mapsto C(\Box_I^n,X)
  \,.
\end{displaymath}
One tends to want to regard this as the cubical incarnation of the fundamental $\infty$-category of $X$ with respect to the notion of path given by $I$.

However, while cubes are nice for many purposes, it is a sad fact of life that the [[homotopy theory]] for cubical structures (while certainly it does exist in full beauty in principle) is much less well developed to date (maybe that will change in the future) than that of [[simplicial object|simplicial]] structures. For many purposes in [[higher category theory]], therefore, it will be useful to take a slightly different perspective on $X^{\Box}$, without essentially changing it.

In fact, there is also naturally the structure of a [[cosimplicial object]] of the collection $I^\times \bullet$ of $I$-cubes. This differs from the cubical structure only in were precisely one injects the boundaries into an $I^{\times n}$

\begin{udefn}
Given a cartesian interval object $I \in C$, define a [[cosimplicial object]]

\begin{displaymath}
\Delta_I : \Delta \to C
\end{displaymath}
as follows:

\begin{itemize}%
\item the object in degree $n$ is the $n$-fold [[product]] of $I$ with itself:

\begin{displaymath}
\Delta_I^n := I^{\times n}
\end{displaymath}

\item the degeneracy map $\sigma_i : \Delta_I^{n+1} \to \Delta_I^n$ is given by projecting out the $(i+1)$-factor:

\begin{displaymath}
\sigma_i := p_1 \times p_2 \times \cdots \times p_i \times p_{i+2} \times p_{i+3}
      \times \cdots \times p_{n+1}
\end{displaymath}

\item the face map $\delta_i : \Delta_I^{n} \to \Delta_I^{n+1}$ is given

\begin{itemize}%
\item for $i = n+1$ by inserting $0$ in the $(n+1)$-factor:

\begin{displaymath}
\delta_{n+1} := p_1 \times \cdots \times p_{n} \times 0
\end{displaymath}

\item for $i = 0$ by inserting $1$ in the $0$-factor:

\begin{displaymath}
\delta_0 = 1 \times p_1 \times \cdots \times p_2
\end{displaymath}

\item for $0 \lt i \lt n+1$ by duplicating the $i$-factor:

\begin{displaymath}
\delta_i := p_1 \times \cdots \times_{p_{i-1}} 
    \times p_i \times p_i \times p_{i+1} \times \cdots \times p_n
\end{displaymath}


\end{itemize}


\end{itemize}
\end{udefn}
\begin{uprop}
The maps defined this way indeed satisfy the [[simplicial identities]].

\end{uprop}
\begin{proof}
This is straightforward to check, if a little tedious due to the many case distinctions.

\end{proof}
\begin{uremark}
It may be helpful to unpack the above definition a bit.

\begin{itemize}%
\item The two faces of $\Delta_I^1$ are just the ``boundary points'' of the interval itself.

\begin{itemize}%
\item $(\delta_0 : {*} \to I) = (1 : {*} \to I)$


\item $(\delta_1 : {*} \to I) = (0 : {*} \to I)$



\end{itemize}

\item The face maps of $\Delta^2_I$ may be depicted as follows:

\begin{displaymath}
\delta_2 : 
  \itexarray{
    I &\times& I 
    \\
    \uparrow^{Id} && \uparrow^{0}
    \\
    I &\times& {*}
  }
  \,,
  \;\;\;\;\;
  \delta_1 : 
  \itexarray{
    I &\times& I
    \\
    & \uparrow^{Id \times Id} 
    \\
    & I
  }
  \,,
  \;\;\;\;\;
  \delta_0 : 
  \itexarray{
    I &\times& I 
    \\
    \uparrow^{1} && \uparrow^{Id}
    \\
    {*} &\times& I
  }
\end{displaymath}
Therefore $\delta_1$, being a diagonal morphism (cartesian [[pairing]] of an [[identity]] with itself), literally identifies the \textbf{diagonal} in the ``square'' $I \times I$ as the 1st 1-dimensional boundary.



\end{itemize}
\end{uremark}
\begin{uremark}
\textbf{([[collars]])}

This construction gives ``collared simplices'' in much the same sense as in [[collar|collared]] [[cobordism]] and in [[A1-homotopy]]:

there is no condition that the morphisms $0,1  : {*} \to I$ ``hit a boundary point'' -- whatever that may mean in $C$ -- of $I$. For instance in a [[lined topos]] $I$ is canonically chosen to be the given line object and will hence typically ``extended indefinitely'' beyond these points.

An example of this in practice is the [[A1-homotopy theory]] of schemes -- there is no exact analogue of the interval (with boundary points) in an algebraic setting, but the [[affine line]] $A^1$ together with the canonical points 0 and 1 is an interval object.

So $I$ need not ``look'' much like a 1-simplex, but the \emph{choice of boundary points} $\delta_1 = 0 : {*} \to I$ and $\delta_0 = 1 : {*} \to I$ allows us to regard it as an interval for all practical purposes.

Similarly and more generally what the above construction manifestly defines are \emph{cubes} $I^n$ built from $I$. But then the simplicial choice of boundaries inside these cubes allows to think of them as just the simplices ``sitting inside'' these cubes.

All these statement become precise for specific typical choices of the ambient category $C$, discussed in the examples below.

An important aspect is that once the cosimplicial object of \emph{collared simplices} $\Delta_I$ is used to form [[simplicial object]]s $\Pi(X) := [\Delta^\bullet_I,X]$ (discussed below) and when these are interpreted as [[model category|models]] for [[∞-groupoid]]s, then \textbf{the collars disappear}: they are part of the model, but, roughly, don't affect the equivalence class of the object that this model models.

For instance with ${*}\amalg {*} \stackrel{0, 1}{\to}\mathbb{R}$ used as the interval in [[Top]], a \emph{path} in a [[topological space]] $X$ is an entire curve $\gamma : \mathbb{R} \to X$, but two such paths $\gamma_1,\gamma_2$ are composable already when $\gamma_1(1) = \gamma_2(0)$, irrsepctive of how $\gamma_1$ extends $\gt 1$ and irrsepctive of how $\gamma_2$ extends $\lt 0$.

Moreover, the composite-up-to-homotopy of these two paths is an entire surface $\mathbb{R}^2 \to X$ in $X$, but what only matters for this surface qualifying as a compositor of $\gamma_1 and \gamma_2$ is that its $\delta_2$-segment $\{(x,y) \in \mathbb{R}^2 | 0 \leq x \leq 1, y = 0\}$ and its $\delta_0$segment $\{(x,y) \in \mathbb{R}^2 | 0 \leq y \leq 1, x = 0\}$ coincide with the corresponding segments in $\gamma_1$ and $\gamma_2$.

More on this in the following example section.

\end{uremark}
\hypertarget{example_standard_intervals_cubes_and_simplices_in__and_}{}\paragraph*{{Example: standard intervals, cubes and simplices in $Top$ and $Diff$}}\label{example_standard_intervals_cubes_and_simplices_in__and_}

Let $X =$ [[Top]] or $C =$ [[Diff]] be the category of [[topological space]]s or of [[manifold]]s.

A standard choice of interval object in $C$ is $I = [0,1] \subset \mathbb{R}$ with the obvious two boundary inclusions $0,1 : {*} \to [0,1]$.

But another possible choice is to let $I = \mathbb{R}$ be the whole real line, but still equipped with the two maps $0,1 : {*} \to \mathbb{R}$, that hit the $0 \in \mathbb{R}$ and $1 \in \mathbb{R}$, respectively.

Either of these two examples will do in the following discussion. The second choice is to be thought of as obtained from the first choice by adding ``infinitely wide collars'' at both boundaries of $[0,1]$. While ${*} \stackrel{0}{\to}[0,1]
\stackrel{1}{\leftarrow} {*}$ may seem like a more natural choice for a representative of the idea of the ``standard interval'', the choice ${*} \stackrel{0}{\to} \mathbb{R}
\stackrel{1}{\leftarrow} {*}$ is actually more useful for many [[category theory|abstract nonsense]] constructions.

But since it is hard to draw the full real line, in the following we depict the situation for the choice $I = [0,1]$.

Then for low $n \in \mathbb{N}$ the above construction yields this

\begin{itemize}%
\item $n=0$ -- here $\Delta_I^0 = I^{\times 0} = {*}$ is the [[point]].


\item $n=1$ -- here $\Delta_I^1 = I^{\times 1} = I$ is just the interval itself

\begin{displaymath}
\itexarray{
    (0) \to (1)

  }
\end{displaymath}
The two face maps $\delta_1 {*} \to I$ and $\delta_0 : {*} \to I$ pick the boundary points in the obvious way. The unique degeneracy map $\sigma_0 : I \to {*}$ maps all points of the interval to the single point of the point.


\item $n=2$ -- here $\Delta_i^2 = I^{\times 2} = I \times I$ is the \textbf{standard square}

\begin{displaymath}
\itexarray{
    (0,1) &\to& (1,1)
    \\
    \uparrow && \uparrow
    \\
    (0,0) &\to& (1,0)
  }
\end{displaymath}
But the three face maps $\delta_i : I \to I\times I$ of the cosimplicial object $\Delta_I$ constructed above don't regard the full square here, but just a triangle sitting inside it, in that pictorially they identify $(\Delta_I^1 = I)$-shaped boundaries in $I \times I$ as follows:

\begin{displaymath}
\itexarray{
    (0,1) &\to& (1,1)
    \\
    \uparrow &^{= \delta_1(I)}\nearrow& \uparrow^{ = \delta_0(I)}
    \\
    (0,0) &\stackrel{= \delta_2(I)}{\to}& (1,0)
  }
\end{displaymath}
(here the arrows do not depict morphisms, but the standard topological interval, i don't know how to typeset just lines without arrow heads in this fashion!)


\item $n=3$ -- here $\Delta_i^3 = I^{\times 3} = I \times I \times I$ is the \textbf{standard cube}

\begin{uexample}
Insert the analog of the above discussion here and upload a nice graphics that shows the standard cube and how the cosimplicial object $\Delta_I$ picks a solid tetrahedron inside it.

\end{uexample}


\end{itemize}
As a start, we can illustrate how there are 6 3-simplices sitting inside each 3-cube.



Once you see how the 3-simplices sit inside the 3-cube, the facemaps can be illustrated as follows:



Note that these face maps are to be thought of as maps into 3-simplices sitting inside a 3-cube.

\hypertarget{Dendroidal}{}\subsubsection*{{Fundamental little 1-cubes space induced from an interval}}\label{Dendroidal}

[[Urs Schreiber]]: something I am thinking about\ldots{}

The following is supposed to give an [[(∞,1)-operad]]ic incarnation of the notion of fundamental $\infty$-groupoid induced from an interval object. It should resemble a \emph{geometric operadic} version of the \emph{algebraic operadic} version described further above.

Let $\Omega^p$ be the category of planar [[tree]]s, so that a [[presheaf]] on $\Omega^p$ is a planar [[dendroidal set]].

Given an interval object ${*} \stackrel{0}{\to} I \stackrel{1}{\leftarrow} {*}$ in a category $C$, assume one isomorphism $\phi_n \in [I,I^{\vee n}]$ for each $n$ has been chosen.

Then there is a planar co-dendroidal object $\Omega^p_C : \Omega^p \to C$ in $C$ given by:

\begin{itemize}%
\item a tree $T$ with $n$ leaves is sent to $I^{\vee n}$

(we think of the $k$-th copy of $I$ here as being associated to the $k$th leaf of the planar tree);


\item every degeneracy map is sent to the corresponding identity morphism

(this corresponds to the fact that the co-dendroidal object encodes no nontrivial unary (co)operations, only the $(n \gt 1)$-ary operations encoded nontrivial infomation);


\item an \emph{outer face map} on an $n$-ary vertex is the identity on all copies of $I$ corresponding to the unaffected leaves and is $\phi_n$ on the affected leaf;


\item an \emph{inner face map} that contracts a $k_1$-ary vertex with a $k_2$-ary one is the identity on all unaffected leaves and is on the affected leaves the composition

\begin{displaymath}
I^{\vee (k_1+k_2)}
  \stackrel{\phi_{k_1+k_2}^{-1}}{\to}
  I
  \stackrel{\phi_{k_1}}{\to}
  I^{\vee k_1}
  \stackrel{(Id, \cdots, Id,\phi_{k_2},Id, \cdots, Id )}{\to}
  I^{\vee (k_1+k_2)}
  \,.
\end{displaymath}


\end{itemize}
\textbf{Example}. In [[Top]] with $I = [0,1]$ the standard interval, and $I^{\vee n} = [0,n]$ let $\phi_n : [0,1] \to [0,n]$ be the map given by multiplication of real numbers by $n$.

Then for the planar tree $T_1$ given by

\begin{displaymath}
T_1 = 
  \left[
    \itexarray{
      \searrow && \swarrow
      \\
      & \bullet 
      \\
      && \searrow && \swarrow
      \\
      &&& \bullet
      \\
      &&& \downarrow
    }
  \right]
\end{displaymath}
the inclusion of the tree $\left[\downarrow\right]$ into $T$ given by identifying it with its root is sent to the map $f : [0,1] \to [0,3]$ that is the composite of the map $(-)\cdot 2 : [0,1] \to [0,2]$ wth the map $h : [0,2] \to [0,3]$ that is multiplication by two on $[0,1]$ and addition by 1 on $[1,2]$.

On the other hand the inner face map from

\begin{displaymath}
T_2 =
  \left[
    \itexarray{
      \searrow & \downarrow & \swarrow
      \\
      & \bullet
      \\
      & \downarrow   
    }
  \right]
\end{displaymath}
to $T_1$ corresponds to the map $[0,3] \to [0,3]$ that is the composite of the map $(-)/3 : [0,3] \to [0,1]$ with the above map $[0,1] \to [0,3]$.

Now for $X \in C$ any object, we obtain the planar [[dendroidal set]]

\begin{displaymath}
Paths X : T \mapsto Hom_C( \Omega^p_C[T], X )
  \,.
\end{displaymath}
It assigns to any tree with $n$ leaves the hom-set $Hom(I^{\vee n},X)$. This we can think of as the set of standard parameterized paths of parameter length $n$ in $X$. The action of tree morphisms $T_1 \to T_2$ on these sets is the \emph{reparameterization} of these paths as encoded in the tree structure.

In particular, we have the dendroidal set $Paths(I)$ of the interval object itself. This is something like the [[little cubes operad|little 1-cubes]] operad as seen by $I$.

I think for every $X$ there is an evident morphism of dendroidal sets

\begin{displaymath}
Paths X \to Paths I
  \,.
\end{displaymath}
The component over the tree $T$ sends all of $(Paths X)(T) = Hom_C(I^{\vee n},X)$ to \ldots{}.

For $X$ a [[pointed object]], there is the sub-dendroidal set $\Omega X \subset Paths X$ of paths whose endpoints map to the basepoint.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[fundamental groupoid]], [[fundamental ∞-groupoid]]


\item [[fundamental category]], \textbf{fundamental $(\infty,1)$-category}



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

The above definition, evident as it may be, does not seem to be in the literature. Articles that do discuss proposals for aspects of fundamental higher categories of directed spaces include

\begin{itemize}%
\item [[Marco Grandis]], \emph{Directed homotopy theory, I. The fundamental category} (\href{http://arxiv.org/abs/math.AT/0111048}{arXiv})


\item [[Tim Porter]], \emph{Enriched categories and models for spaces of evolving states}, Theoretical Computer Science, 405, (2008), pp. 88--100.


\item [[Tim Porter]], \emph{Enriched categories and models for spaces of dipaths. A discussion document and overview of some techniques} (\href{http://drops.dagstuhl.de/opus/volltexte/2007/898/pdf/06341.PorterTimothy.Paper.898.pdf}{pdf})



\end{itemize}
The [[simplicially enriched categories]] obtained from a directed space according to the latter have as morphisms directed paths, and as 2-morphisms \emph{directed homotopies} (paths of directed paths). This is in contrast to the above definition, where the 2-cells away from their boundary are unconstrained.

Accordingly it seems that the definition by Porter produces indeed not a Kan-complex enriched category (a model for an $(\infty,1)$-category) but a quasi-category-enriched category, hence actually a model for an [[(∞,2)-categories]], a candidate for the \emph{fundamental $(\infty,2)$-category} of a space. Generally, in the fundamental [[(∞,n)-category]] the $(k \leq n)$-cells should be directed maps, and the $k \gt n$-cells be otherwise unconstrained.



\end{document}