Jason (jcreed) wrote,

Have been going back and reading about ditopologies again. The idea is that you slap a poset structure an a topological space in a local way, so that transitivity need not hold "globally". It's extremely similar to the way you define a manifold without referring to an ambient space: you take an open cover, and require a poset structure on each open set in it such that they are compatible where the overlap, like a manifold's atlas of charts.

Anyway, these things got trendy a few years back because homotopies in them --- well, dihomotopies --- let you talk about concurrency and deadlock and saftey in a cute, diagrammatic way. But they're another obvious place to start thinking about higher-order algebra. Homotopies in ordinary topological spaces make up omega-groupouids, and "directing" the topology seems to get rid of commutativity in the right way. I seems pretty obvious that a ditopology ought to give rise to a weak omega-category --- I figure this all got worked out by someone, but I haven't really combed the literature very aggressively.

Except for the obvious fact that still nobody's exactly sure what weak omega-categories are. So... I looked at Tom Leinster's survey again, and I think there is maybe still a niche for some sort of ditopological definition.

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    migraine or flu or something? Felt very headachey and basically napped the whole day way.

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded