Spahn directed object' (Rev #5)

Definition (interval object)

Let $C$ be a closed monoidal (V-enriched for some $V$) homotopical category, let $*$ denote the tensor unit of $C$. Then the cospan category (same objects and cospans as morphisms) is $V$-enriched, too.

An interval object is defined to be a cospan $*\stackrel{a}{\rightarrow}I\stackrel{b}{\leftarrow}*$.

The pushout $I^{\coprod_2}$ of this diagram satisfies ${}_*[ I,I^{\coprod_2}]_*\simeq$ is contractible (see co-span for this notation).

Definition (directed object)

Let $V$ be a monoidal category, let $C$ be $V$-enriched, closed monoidal homotopical category, let $*$ denote the tensor unit of $C$ which we assume to be the terminal object, let $*\stackrel{0}{\to} I\stackrel{1}{\leftarrow}$ denote the interval object of $C$, let $X$ be a pointed object of $C$. Let $D$ be the functor $D:C\to V$, $X\mapsto [I,X]$.

A direction in $C$ is defined to be a subfunctor $d$ of $D$ preserving the terminal object and satisfying the properties below. In this case $d X$ is called a direction for $X$. A global element of $dX$ is called a $d$-directed path in $X$ and their collection we denote by $ddp(X)$ the properties are:

(1) The $D$ image of every map $I\to *\to X$ factoring over the point is in $ddp(X)$.

(2) $ddp(X)$ is closed under the tensor product. For $\alpha,\beta\in ddp(X)$, their pushout $\alpha\otimes \beta$ is called their composition.

A directed object is defined to be a pair ${}_d X:=(X,dX)$ consisting of an object $X$ of $C$ and a direction $dX$ for $X$.

A morphism of directed objects $f:(X,dX)\to (Y,dy)$ is defined to be a pair $(f,df)$ making

Definition

A directed-path-space objects is defined.