nLab
interval object

Idea

An interval object $I$ in a category $C$ is an object that behaves in $C$ roughly like the unit interval $I:=[0,1]$ with its two boundary point inclusions

$$*⨿*\stackrel{[0,1]}{\to }I$${*}\amalg {*} \stackrel{[0, 1]}{\to} I

in the category Top of topological spaces, where $[0,1]$ is the copairing of the global elements $0:*\to I$ and $1:*\to I$.

A bare interval object may be nothing more than such a diagram. If $C$ admits sufficiently many limits and colimits, then from this alone a lot of structure derives. The precise definition of further structure and property imposed on an interval object varies with the intended context and applications.

Notably in a large class of applications the interval object in $C$ supposed to be the right structure to ensure

1. that there is an object $I$ in $C$ such that for every object $X$ of $C$ the internal hom object $[I,X]$ exists and behaves like a path object for $X$;

2. that there is a notion of composition on these path objects which induces on $[I,X]$ a structure of a (higher) category internal to $C$: the fundamental category or fundamental groupoid of the object $X$, or rather its fundamental infinity-groupoid.

For instance the choice $C=$ Top and $I=[0,1]$ should be an instance of a category with interval object, and the fundamental algebraic [[n-groupoid] ${\Pi }_n(X)$ obtained for any topological space $X$ from this data should be the fundamental $n$-groupoid as a Trimble n-category.

We give two very similar definitions that differ only in some extra assumptions.

• The first one was used by Berger and Moerdijk to generalize the Boardman–Vogt resolution of topological operads to more general operads.

• The second is motivated from constructions appearing in the definitions of Trimble n-category and of generalized universal bundle. It includes the possibility that the interval is not weakly equivalent to the point, in which case it may be used nontrivially to test for undirected objects and probe directed objects.

Definitions

Plain definition

Definition (plain interval object)

A plain interval object in a category $C$ is just a cospan diagram with equal feet

$$\mathrm{pt}\stackrel{0}{\to }I\stackrel{1}{\leftarrow }\mathrm{pt}$$pt \stackrel{0}{\to} I \stackrel{1}{\leftarrow} pt

in $C$, with $I$ and $\mathrm{pt}$ any two objects and $0$ and $1$ any two morphisms.

In categories with finite limits

Definition (cartesian interval object)

If the category $C$ has finite limits, then a plain interval object is a cartesian interval object if $\mathrm{pt}=*$ is the terminal object.

Examples for the use of this notion are below in the section on geometric models for path $\mathrm{\infty }$-categories.

In homotopical categories

If the ambient category $C$ is a homotopical category, such as a model category, there are natural further conditions to put on an interval object

Berger–Moerdijk segment object

In section 4 of

• Clemens Berger, Ieke Moerdijk, The Boardman-Vogt resolution of operads in monoidal model categories (arXiv)

the following definition is given:

Let $V$ be a monoidal model category and write $\mathrm{pt}$ for the tensor unit in $V$ (not necessarily the terminal object).

A segment object $I$ in a monoidal model category $V$ is

• a factorization

  $$\mathrm{pt}⨿\mathrm{pt}\stackrel{[0,1]}{\to }I\stackrel{ϵ}{\to }\mathrm{pt}$$pt \amalg pt \stackrel{[0 , 1]}{\to} I \stackrel{\epsilon}{\to} pt

  of the codiagonal morphism

  $$\mathrm{pt}⨿\mathrm{pt}\stackrel{[\mathrm{Id},\mathrm{Id}]}{\to }\mathrm{pt}$$pt \amalg pt \stackrel{[Id , Id]}{\to} pt

  from the coproduct of $\mathrm{pt}$ with itself that sends each component identically to $\mathrm{pt}$.

• together with an associative morphsim

  $$\vee :I\otimes I\to I$$\vee : I \otimes I \to I

  which has 0 as its neutral and 1 as its absorbing element, and for which $ϵ$ is a counit.

If $V$ is equipped with the structure of a model category then a segment object is an interval in $V$ if

$$[0,1]:\mathrm{pt}⨿\mathrm{pt}\to I$$[0, 1]\colon pt \amalg pt \to I

is a cofibration and $ϵ:I\to \mathrm{pt}$ a weak equivalence.

Intervals for Trimble $\omega$-categories

The following definition is tentative. It arose from the discussion reproduced further below.

Might there be two notions of interval object, one in a closed category such that $[I,B]$ is a path object, and one in a monoidal category such that $I\otimes B$ is a cylinder object? (And then a stronger notion, combining these, in a closed monoidal category.) —Toby

Urs: True, depending on application, one may be able to and want to drop some assumptions here. We might eventually give a layered definition, which adds assumptions step by step.

But, on the other hand, the main purpose of the interval object here, which goes beyond the idea for instance in a cylinder functor is that we want to induce for any object $B$ on the internal hom-object $(B_0\leftarrow [I,B]\to B_0)$ the structure of a (homotopy coherent- or $A_{\mathrm{\infty }}$-) internal category. Namely the fundamental category ${\Pi }_1(B)$. To get that we need both the closed and the monoidal and the homotopical structure.

Toby: Actually, I wasn't so much thinking about weakening the requirements on $V$ (although admittedly I did phrase my question to include that). My main point that they are, naïvely, two concepts: one that uses the closed structure to give path objects, and one that uses the monoidal structure to give cylinder objects. So will we have interval objects, co-interval objects, and bi-interval objects?

The following definition of category with interval object aims to abstract this construction away from $V=$ Top to other closed monoidal homotopical categories.

A category with interval object is

• a symmetric closed monoidal homotopical category $V$;

• with tensor unit being the terminal object, which we write $\mathrm{pt}$;

• equipped with a bi-pointed object

  $$\begin{array}{ccc}& & I\\ & {}^{\sigma }\nearrow & & {\nwarrow }^{\tau }\\ \mathrm{pt}& & & & \mathrm{pt}\end{array}$$\array{ && I \\ & {}^\sigma \nearrow && \nwarrow^{\tau} \\ pt &&&& pt }

in $V$, with $I$ called the interval object;

such that

• the pushout

  $$\begin{array}{ccc}& & I^{\vee 2}:=I{⨿}_{\mathrm{pt}}I\\ & \nearrow & & \nwarrow \\ I& & & & I\\ & {}_{\tau }\nwarrow & & {\nearrow }_{\sigma }\\ & & \mathrm{pt}\end{array}$$\array{ && I^{\vee 2} := I \amalg_{pt} I \\ & \nearrow && \nwarrow \\ I &&&& I \\ & {}_{\tau}\nwarrow && \nearrow_{\sigma} \\ && pt }

  exists in $V$, so that all compositions

  $$\begin{array}{ccc}& & I^{\vee n}\\ & {}^{\sigma }\nearrow & & {\nwarrow }^{\tau }\\ \mathrm{pt}& & & & \mathrm{pt}\end{array}$$\array{ && I^{\vee n} \\ & {}^\sigma \nearrow && \nwarrow^{\tau} \\ pt &&&& pt }

  of $n\in \mathbb{N}$ copies of the co-span $I$ with itself by pushout over adjacent legs exist in $V$;

• and all $V$-objects of morphisms ${}_{\mathrm{pt}}[I,I^{\vee n}{]}_{\mathrm{pt}}$ of cospans (as described at co-span) are weakly equivalent to the point

  $${}_{\mathrm{pt}}[I,I^{\vee n}{]}_{\mathrm{pt}}.$${}_{pt}[I, I^{\vee n}]_{pt} \,.

In homtopy type theory

In homotopy type theory the cellular interval can be axiomatized as a higher inductive type. See interval type for more.

Examples

• The cube category is generated from a single interval object.

• The standard interval object in Cat is the 1st oriental $\{0\to 1\}$ (see co-span co-trace)

• For $V=C=\mathrm{Top}$ with its standard model structure the standard topological closed interval $I:=[0,1]$ with $\mathrm{pt}\stackrel{\sigma ,\tau }{\to }$ the maps to 0 and 1, respectively. This is the case described in detail at Trimble n-category.

• For $V=\omega \mathrm{Cat}$ the category of strict omega-categories the first oriental, the 1-globe $I=\{a\to b\}$ is an interval object. In this strict case in fact all hom objects are already equal to the point ${}_{\mathrm{pt}}[I,I^{\vee n}{]}_{\mathrm{pt}}=\mathrm{pt}$ and

  $$(X=[\mathrm{pt},X])\stackrel{s:=[\sigma ,X]}{\leftarrow }[I,X]\stackrel{t:=[\tau ,X]}{\to }(X=[\mathrm{pt},X])$$(X = [pt,X]) \stackrel{s := [\sigma,X]}{\leftarrow} [I,X] \stackrel{t := [\tau, X]}{\to} (X = [pt,X])

  is a strict co-category internal to $\omega$Cat. In this case, for $X$ any $\omega$-category the $A_{\mathrm{\infty }}$-category ${\Pi }_1(X)$ is just an ordinary category, namely the 1-category obtained from truncation of $X$. Similarly, probably ${\Pi }_{\omega }(X)=X$ in this case.

Fundamental $\mathrm{\infty }$-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 path, in a category with interval object there is, under mild assumptions, for each object $X$ an infinity-category ${\Pi }_I(X)$ – the fundamental $\mathrm{\infty }$-category of $X$ with respect to $I$ – whose k-morphisms 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

• an algebraic definition of higher category

or

• a geometric definition of higher category.

We describe an algebraic version in terms of Trimble omega-categories and then a geometric version in terms of cubical objects and simplicial objects.

Fundamental algebraic $\mathrm{\infty }$-categories

The collection of objects $\{{}_{\mathrm{pt}}[I,I^{\vee n}{]}_{\mathrm{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 objects from $\mathrm{pt}$ to $\mathrm{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_{\mathrm{\infty }}$-category structure on

$$(X_0:=[\mathrm{pt},X])\stackrel{s:=[\sigma ,X]}{\leftarrow }[I,X]\stackrel{t:=[\tau ,X]}{\to }(X_0:=[\mathrm{pt},X]).$$(X_0 := [pt,X]) \stackrel{s := [\sigma,X]}{\leftarrow} [I,X] \stackrel{t := [\tau, X]}{\to} (X_0 := [pt,X]) \,.

This internal $A_{\mathrm{\infty }}$-category is denoted

$${\Pi }_1(X)$$\Pi_1(X)

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 $\omega$-category and indeed a functor

$${\Pi }_{\omega }:V_0\to \mathrm{Trimble}\omega \mathrm{Cat}.$$\Pi_\omega : V_0 \to Trimble \omega Cat \,.

(… to be continued …)

Remarks

• The condition that all ${}_{\mathrm{pt}}[I,I^{\vee n}{]}_{\mathrm{pt}}$ are contractible is the coherence condition on all composition operations.

• The above is 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.

• 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$.

Fundamental geometric $\mathrm{\infty }$-categories

Let $C$ be a category

• with finite limits

• equipped with an interval object simply in the sense of a diagram

  $$*\stackrel{0}{\to }I\stackrel{1}{\leftarrow }*$${*} \stackrel{0}{\to} I \stackrel{1}{\leftarrow} {*}

  in $C$, 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.

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

$${\square }_I:\square \to C$$\Box_I : \Box \to C

from the cube category $\square$ to $C$. This sends the abstract interval object $\mathrm{int}$ that the cube category is freely generated from to the given $I$, and sends ${\mathrm{int}}^{\otimes n}$ to the $n$-cuber ${\square }_I^n:=I^{\times n}$.

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

$$X^{{\square }_I^{•}}:{\mathrm{int}}^n\mapsto C({\square }_I^n,X).$$X^{\Box^\bullet_I} : int^n \mapsto C(\Box_I^n,X) \,.

One tends to want to regard this as the cubical incarnation of the fundamental $\mathrm{\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 structures. For many purposes in higher category theory, therefore, it will be useful to take a slightly different perspective on $X^{\square }$, without essentially changing it.

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

Definition (cosimplicial object induced from interval object)

Given a cartesian interval object $I\in C$, define a cosimplicial object

$${\Delta }_I:\Delta \to C$$\Delta_I : \Delta \to C

as follows:

• the object in degree $n$ is the $n$-fold product of $I$ with itself:

  $${\Delta }_I^n:=I^{\times n}$$\Delta_I^n := I^{\times n}

• the degeneracy map ${\sigma }_i:{\Delta }_I^{n+1}\to {\Delta }_I^n$ is given by projecting out the $(i+1)$-factor:

  $${\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}$$\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}

• the face map ${\delta }_i:{\Delta }_I^n\to {\Delta }_I^{n+1}$ is given

  • for $i=n+1$ by inserting $0$ in the $(n+1)$-factor:

    $${\delta }_{n+1}:=p_1\times \cdots \times p_n\times 0$$\delta_{n+1} := p_1 \times \cdots \times p_{n} \times 0

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

    $${\delta }_0=1\times p_1\times \cdots \times p_2$$\delta_0 = 1 \times p_1 \times \cdots \times p_2

  • for $0<i<n+1$ by duplicating the $i$-factor:

    $${\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$$\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

Proposition

The maps defined this way indeed satisfy the simplicial identities.

Proof

This is straightforward to check, if a little tedious due to the many case distinctions.

Remark (unwrapping the definition)

It may be helpful to unpack the above definition a bit.

• The two faces of ${\Delta }_I^1$ are just the “boundary points” of the interval itself.

  • $({\delta }_0:*\to I)=(1:*\to I)$

  • $({\delta }_1:*\to I)=(0:*\to I)$

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

  $${\delta }_2:\begin{array}{ccc}I& \times & I\\ {\uparrow }^{\mathrm{Id}}& & {\uparrow }^0\\ I& \times & *\end{array},{\delta }_1:\begin{array}{ccc}I& \times & I\\ & {\uparrow }^{\mathrm{Id}\times \mathrm{Id}}\\ & I\end{array},{\delta }_0:\begin{array}{ccc}I& \times & I\\ {\uparrow }^1& & {\uparrow }^{\mathrm{Id}}\\ *& \times & I\end{array}$$\delta_2 : \array{ I &\times& I \\ \uparrow^{Id} && \uparrow^{0} \\ I &\times& {*} } \,, \;\;\;\;\; \delta_1 : \array{ I &\times& I \\ & \uparrow^{Id \times Id} \\ & I } \,, \;\;\;\;\; \delta_0 : \array{ I &\times& I \\ \uparrow^{1} && \uparrow^{Id} \\ {*} &\times& I }

  Therefore ${\delta }_1$, being a diagonal morphism (cartesian pairing of an identity with itself), literally identifies the diagonal in the “square” $I\times I$ as the 1st 1-dimensional boundary.

Remark (collars)

This construction gives “collared simplices” in much the same sense as in 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 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 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 collared simplices ${\Delta }_I$ is used to form simplicial objects $\Pi (X):=[{\Delta }_I^{•},X]$ (discussed below) and when these are interpreted as models for ∞-groupoids, then 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 $*⨿*\stackrel{0,1}{\to }ℝ$ used as the interval in Top, a path in a topological space $X$ is an entire curve $\gamma :ℝ\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 $>1$ and irrsepctive of how ${\gamma }_2$ extends $<0$.

Moreover, the composite-up-to-homotopy of these two paths is an entire surface ${ℝ}^2\to X$ in $X$, but what only matters for this surface qualifying as a compositor of ${\gamma }_1\mathrm{and}{\gamma }_2$ is that its ${\delta }_2$-segment $\{(x,y)\in {ℝ}^2\mid 0\le x\le 1,y=0\}$ and its ${\delta }_0$segment $\{(x,y)\in {ℝ}^2\mid 0\le y\le 1,x=0\}$ coincide with the corresponding segments in ${\gamma }_1$ and ${\gamma }_2$.

More on this in the following example section.

Example: standard intervals, cubes and simplices in $\mathrm{Top}$ and $\mathrm{Diff}$

Let $X=$ Top or $C=$ Diff be the category of topological spaces or of manifolds.

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

But another possible choice is to let $I=ℝ$ be the whole real line, but still equipped with the two maps $0,1:*\to ℝ$, that hit the $0\in ℝ$ and $1\in ℝ$, 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 }ℝ\stackrel{1}{\leftarrow }*$ is actually more useful for many 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

• $n=0$ – here ${\Delta }_I^0=I^{\times 0}=*$ is the point.

• $n=1$ – here ${\Delta }_I^1=I^{\times 1}=I$ is just the interval itself

  $$\begin{array}{c}(0)\to (1)\end{array}$$\array{ (0) \to (1) }

  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.

• $n=2$ – here ${\Delta }_i^2=I^{\times 2}=I\times I$ is the standard square

  $$\begin{array}{ccc}(0,1)& \to & (1,1)\\ \uparrow & & \uparrow \\ (0,0)& \to & (1,0)\end{array}$$\array{ (0,1) &\to& (1,1) \\ \uparrow && \uparrow \\ (0,0) &\to& (1,0) }

  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{array}{ccc}(0,1)& \to & (1,1)\\ \uparrow & {}^{={\delta }_1(I)}\nearrow & {\uparrow }^{={\delta }_0(I)}\\ (0,0)& \stackrel{={\delta }_2(I)}{\to }& (1,0)\end{array}$$\array{ (0,1) &\to& (1,1) \\ \uparrow &^{= \delta_1(I)}\nearrow& \uparrow^{ = \delta_0(I)} \\ (0,0) &\stackrel{= \delta_2(I)}{\to}& (1,0) }

  (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!)

• $n=3$ – here ${\Delta }_i^3=I^{\times 3}=I\times I\times I$ is the standard cube

  Exercise

  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.

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.

Fundamental little 1-cubes space induced from an interval

Urs Schreiber: something I am thinking about…

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

Let ${\Omega }^p$ be the category of planar trees, 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 ${\varphi }_n\in [I,I^{\vee n}]$ for each $n$ has been chosen.

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

• 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);

• 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>1)$-ary operations encoded nontrivial infomation);

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

• an 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

  $$I^{\vee (k_1+k_2)}\stackrel{{\varphi }_{k_1+k_2}^{-1}}{\to }I\stackrel{{\varphi }_{k_1}}{\to }{I}^{\vee k_1}\stackrel{(\mathrm{Id},\cdots ,\mathrm{Id},{\varphi }_{k_2},\mathrm{Id},\cdots ,\mathrm{Id})}{\to }{I}^{\vee (k_1+k_2)}.$$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)} \,.

Example. In Top with $I=[0,1]$ the standard interval, and $I^{\vee n}=[0,n]$ let ${\varphi }_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

$$T_1=\left[\begin{array}{ccc}\searrow & & \swarrow \\ & •\\ & & \searrow & & \swarrow \\ & & & •\\ & & & \downarrow \end{array}\right]$$T_1 = \left[ \array{ \searrow && \swarrow \\ & \bullet \\ && \searrow && \swarrow \\ &&& \bullet \\ &&& \downarrow } \right]

the inclusion of the tree $[\downarrow ]$ 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

$$T_2=\left[\begin{array}{ccc}\searrow & \downarrow & \swarrow \\ & •\\ & \downarrow \end{array}\right]$$T_2 = \left[ \array{ \searrow & \downarrow & \swarrow \\ & \bullet \\ & \downarrow } \right]

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

$$\mathrm{Paths}X:T\mapsto {\mathrm{Hom}}_C({\Omega }_C^p[T],X).$$Paths X : T \mapsto Hom_C( \Omega^p_C[T], X ) \,.

It assigns to any tree with $n$ leaves the hom-set $\mathrm{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 reparameterization of these paths as encoded in the tree structure.

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

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

$$\mathrm{Paths}X\to \mathrm{Paths}I.$$Paths X \to Paths I \,.

The component over the tree $T$ sends all of $(\mathrm{Paths}X)(T)={\mathrm{Hom}}_C(I^{\vee n},X)$ to ….

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

Homotopy localization induced from an interval

Given a suitable interval obect in a site $C$, one may ask for ∞-stacks on $C$ that are invariant under the notion of homotopy induced by $I$. These are obtained by homotopy localization of a full (∞,1)-category of (∞,1)-sheaves on $C$.

Example: ${𝔸}^1$-homotopy theory

See A1-homotopy theory.

Related concepts

• interval, interval type