# Spahn directed object' (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

###### 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 $C$ be a closed monoidal (V-enriched for some $V$) homotopical category, let $*$ denote the tensor unit of $C$ , which we assume to be the terminal object, let$I$ 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 for in X C is defined to be a subobject subfunctor of dX D . of In this case [I,X] d X satisfying is called adirection for $X$. A global element of $dX$ is called a $d$-directed path in $X$. (1) The every collection map of I\to d *\to X -directed factoring path over in the point is a (generalized) element of d X . satisfies the following properties: (2) A$d X$direction for $X$ is closed defined under to pushout. be a subobject$dX$ of $[I,X]$ whose collection $ddp(X)$ of global elements, called directed paths (or more precisely $d*-directed paths of$X$), satisfies

A (1) global The (or just generalized) element of d D X is image called of every mapdirected path in $X$$I\to *\to X$ factoring over the point is in $ddp(X)$.

A (2) The collection of global elements ofdirected object$d X$ is defined closed to under be pushout. a For pair {}_d \alpha X:=(X,dX) , consisting of an object X \beta global elements of C d X , and their a pushout direction dX \alpha\otimes \beta for is called their$X$composition.

A morphism of directed objects object is defined to be a pair f:(X,dX)\to {}_d (Y,dy) X:=(X,dX) is consisting defined of to an be object a pair (f,df) X making of$C$ and a direction $dX$ for $X$.

$\array{ X& \stackrel{f}{\to}& Y \\ \downarrow^d&&\downarrow^d \\ dX& \stackrel{df}{\to}& d Y }$

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

$\array{ X& \stackrel{f}{\to}& Y \\ \downarrow^d&&\downarrow^d \\ dX& \stackrel{df}{\to}& d Y }$
###### Remark

Let $C$ be $V$-enriched, closed monoidal homotopical category, let $I$ denote the tensor unit of $C$.

###### Definition

A directed-path-space objects is defined.

Revision on November 5, 2012 at 18:40:37 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.