Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 6th 2012

    I have received a question on the old entry directed object, so I am looking at that now. First of all I’ll clean it up a bit and move old discussion from there to here:

    [begin forwarded discussion]


    Eric: I don’t fully “grok” this constructive definition, but I like its flavor. Is it possible to formalize the procedure in a simple catchy phrase? In other words, when you begin with a “category CC with interval object II”, but whose objects are otherwise undirected (like Top), you construct the “supercategory d ICd_I C” with directed CC-objected (even though no objects in CC are directed). I used the term “directed internalization”, but is there a better term?

    I just think this concept is important and should have some really slick arrow theoretic description and I’m not having any luck coming up with one myself.


    [ continued in next post ]

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 6th 2012
    • (edited Nov 6th 2012)

    [ forwarded discussion continued ]

    Here is a leftover discussion which used to be at directed space (and also concerns undirected object) and is now probably mostly taken care of.

    Eric asks about how best to define directed spaces that involves interval object

    Tim: My approach would be first to see what the examples of things that we need as directed spaces: spaces with a (local?) closed partial order for instance, Marco Grandis’ dd-spaces, Lorentz manifolds (no specific time direction, but can’t go backwards, (so time slice will be something that needs to be ’formulateable’), causal sets in their various forms, and so on. We want both physics and computer science as inspirations I think.

    Have a look at Martin Raussen and Lizbeth Fajstrup’s work as well, then Philip Gaucher’s flows, which although I think that they are too near the Computer Science applications for our needs, have some very interesting aspects. Finally look at Sanjeevi’s pages at LIX.

    There were a lot of talks at ATMCS08, last summer on this sort of thing.

    Urs: Ah, now that I re-read what you say above, maybe this is what you are getting at:

    suppose I hand you a space and don’t tell you whether it is directed or not. How do you decide if it is? One way might be: you map the directed interval into the space – i.e. look at the collection of paths in the space – and check if every path can be contracted in both directions to a point. If not, the space must be directed.

    I have a proposal for how to formalize this in terms of interval objects which you link to: in case the category from which we pick our spaces is equipped with a notion of weak equivalences (for instance if it is a model category) and with an interval object which is itself not weakly equivalent to the point, then for every object XX in the category we can look at the canonical map X[I,X]X \to [I,X] which embeds XX into its “path space” as the space of constant paths. I am proposing that we should call XX directed with respect to II iff this map is not a weak equivalence.

    (Xnotdirected)(X[I,X]) (X not directed) \Leftrightarrow (X \stackrel{\simeq}{\to} [I,X])

    Notice that for instance in a category of fibrant objects the map X[I,X]X \stackrel{\simeq}{\to} [I,X] is required to be a weak equivalence. And indeed, these categories behave much like categories of (ordinary) topological spaces.

    For instance if we take I=G 1={ab}I = G_1 = \{a \to b\} the 1-globe aka the first oriental then all strict ω\omega-groupoids are undirected with respect to this definition, while a strict omega-category which is not an ω\omega-groupoid will be undirected with respect to this definition. The way it is supposed to be.

    Tim: One thought is that we might think about what directed homotopy should give us. By Thomason’s result from way back, categories themselves model all homotopy types, so getting a model of a directed homotopy type that is a category may not be a ’big deal’ unless it really tells us something immediate and ’useful’ about the directed situation.

    The work of various of the directed homotopyists who are trying to look fo deadlocks, inaccessible points, bifurcations etc. seem to me to be definitely going in the right sort of direction. i.e. those are types of phenomenon that are important for applications, intrinsic to directed homotopy (i.e. don’t make much sense for the un-directed case) and somehow look as if they do work with the directed object idea, since they are directed points where the forward cone changes its homotopy type. (Again look at some of Raussen and Fajstrup, in particular, perhaps more than Grandis, although there are similar ideas in his articles as well.)

    I think, Urs, you asked about directed cubes based on an interval object. The idea of using directed cubes is there in the literature. (I would have to check, but Marco has thought about this I know and I think that is in his work. It was in his ATMCS talk I know.) I have used directed simplices, but it is not clear how to get such things in an abstract setting.

    A final point is that Gaucher uses semicategories (i.e. without identities) because identities are problematic in the computer scientific applications (for the same sort of reason as they cause problems in cobordism theory).

    Mike: I think that Thomason’s modeling of homotopy types with categories is not really relevant because the modeling happens in a very different way. For Thomason, a category models a homotopy type via its nerve, which corresponds categorically to constructing an \infty-groupoid from a category by forcibly inverting all the arrows up to homotopy. What we are looking for here is instead a directed analogue of the way that groupoids model all (undirected) 1-types, which is quite different: the morphisms in the groupoid are precisely the paths in the space, and they are already invertible because the space is undirected. We want a “fundamental category” of a directed space which directly generalizes the fundamental groupoid of an undirected space.

    Tim : You may like to look at the paper I wrote

    Enriched categories and models for spaces of evolving states, Theoretical Computer Science, 405, (2008), pp. 88 - 100.

    I put forward simplicially enriched categories as one possible model for a direct space. There is a fundamental category that generalises the fundamental groupoid and I think coincides with the similar concept defined by Raussen and Fajstrup. I should point out that my construction uses a nerve like construction!

    [ end of forwarded discussion ]