nLab undirected object

Idea

In a category with interval object one has for every object XX a notion of paths in XX. (Indeed, the very definition of category with interval object is meant to guarantee that for every object there is its fundamental category in the Trimblean sense).

The idea is that if for all these paths in XX there is a reverse path, then the object XX is undirected or groupoidal. Otherwise it is strictly directed (not to be confused with a directed object).

Definition (tentative)

Let VV be a category with an interval object II. Recall that there is for every object XX of VV a canonical morphism X 0[I,X]X_0 \to [I,X] which embeds the points of XX, X 0:=[pt,X]X_0 := [pt,X], as the constant paths into the “object of directed paths” [I,X][I,X].

An object XX in VV is called undirected or an undirected object with respect to II, – or II-undirected – if this morphism is a weak equivalence:

(Xisundirected)([pt,X][I,X]); (X is undirected) \Leftrightarrow ([\pt,X] \stackrel{\simeq}{\to} [I,X]) \,;

otherwise it is called strictly directed or a strictly directed object with respect to II, or strictly II-directed.

Examples

  • V=V = Top with its standard model category structure, and I=[0,1]I = [0,1] the standard interval. Then all objects are undirected since the interval is contractible.

  • V=ωCatV = \omega Cat, strict omega-categories, equipped with the folk model structure and I={ab}I = \{a \to b\} the 1-globe, the first oriental. Then

    • strict ω\omega-omega-groupoids are undirected;
    • in particular the interval II itself is strictly directed, as there is no weak equivalence from I 0=II_0 = I to [I,I]={abc}[I,I] = \{a \to b \to c\};
    • in general, the undirected objects should be precisely those for which every jj-morphism is an ω\omega-equivalence. These should consist of those \infty-infinity-groupoids that are strict as \infty-categories, or those objects that are weakly equivalent to a strict ω\omega-groupoid. For this purpose it is essential that the internal-hom for the Crans-Gray tensor product on strict ω\omega-categories contains lax transformations, modifications, and so on; if it only contained pseudo natural transformations, then the undirected objects would just be those for which every 1-morphism is an equivalence.
  • Once we have a closed monoidal homotopical structure on the category dTopdTop of directed topological spaces, it should be true that in V=dTopV = dTop with I=I dI = I_d the standard directed interval, an object (X,dX)(X, d X) is undirected precisely if it contains no nontrivial directed path.

Remarks

Whether or not an object is undirected depends on the choice of interval object.

  • For instance the terminal object ptpt itself is always a an interval object, I=ptI = pt, but in a trivial way. Every object is ptpt-undirected.

  • A bit more generally, the interval object may be not equal to the terminal object, but still be weakly equivalent to it. For instance the standard (undirected) topological interval [0,1][0,1] is not equal to but is weakly equivalent to the point in the standard model structure on topological spaces. This implies in particular that with respect to the standard undirected topological interval even a directed topological space should undirected. (Well, we still need to specify the closed structure on dTopdTop to make this true…) It’s only the standard directed topological interval which can detect the directedness of a strictly directed topological space.

  • Analogous statements are true in the example of strict omega-categories, where the analogue of the standard directed topological interval is the 1-globe I dir={ab}I_{dir} = \{a \to b\}, while the example of the standard undirected topological interval is the groupoid version of this, I inv={ab}I_{inv} = \{a \stackrel{\simeq}{\to} b\}, where the morphism from aa to bb is an isomorphism. As opposed to I dirI_{dir} this I invI_{inv} is weakly equivalent to the terminal category pt={}pt = \{\bullet\} (the 0-globe) (with respect to the folk model structure). It should be true that every strict ω\omega-category is I invI_{inv}-undirected, even if it is strictly I dirI_{dir}-directed.

Last revised on November 7, 2012 at 21:28:38. See the history of this page for a list of all contributions to it.