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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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.
    • CommentAuthorTim_Porter
    • CommentTimeMar 9th 2011

    Beren had corrected a typo in geometric definition of higher categories so I looked again at that entry. Two points / questions came to mind that may be worth airing here.

    (i) In a geometric model the composition maps ’composable horns’ to fillers in some way and is a relation. There is a contractibe space of composites. Has anyone thought of putting a probability measure on that space of fillers? What would be reasonable axioms to require? I encountered this sort of situation when looking at nerves of covers of Chu spaces, as I would have loved to replace the values used (in the usual case {0,1}\{0,1\} by something like [0,1][0,1] with combination using some probability or t-norm. This leads to simplicial complexes in which simplicies have a probability of existing, rather than either being there or not (if you see what I mean). Has anyone seen anything like this in the literature? (It is disantly related to some of Tom’s musing in the Café.)

    (ii) Am I right to say that the space of composites is not only contractible but its space of contractions is contractible and then …. . :-) i.e. the current definition sells short the structure of a Kan complex or quasi-category by some distance.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeMar 9th 2011

    I believe the space of contractions of any contractible space is contractible.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeMar 9th 2011

    I suspect that is true, but my point is that the Kan complex definition makes the implications of that important, as it says not only that a filler exists but that any two fillers are related by a higher filler etc. In algorithmic version of this which are somehow half algebraic half geometric, there is a sense of … suppose you have a machine (non-deterministic) that given a box gives a filler then …. (I rather like the idea of a non-deterministic machine giving the filler etc, but do not immediately see what it would give one.)

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeMar 9th 2011

    Don’t you need the higher fillers even just to get contractibility of the space of fillers?

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeMar 9th 2011

    Yes. But I was not stating in which dimensions i was asking for fillers, i.e. all!

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeMar 10th 2011

    I think I just don’t understand what you’re saying. (-:

    • CommentRowNumber7.
    • CommentAuthorTim_Porter
    • CommentTimeMar 10th 2011

    Oh dear, I must be writing rubbish! It was meant to be an obvious comment and I think I have made it more complicated in my explanation than I intended. It is not intended to be particularly deep, just a remark. Here is perhaps a better attempt.

    At any level a (n,k)-horn will have a filler, and any two such fillers are linked in a (n+1, something)-horn so are equivalent by a filler in the next dimension.The precise ’something’ will depend on the way in which that horn is constructed. So one has a very high level of coherence that if one has algorithms for filling can be made as deterministic /algebraic as the initial filling algorithm (e.g. in the underlying simplicial set of a simplicial group, GG, and also in W¯G\overline{W}G. So not only is the space of fillers contractible it is potentially algorithmically contractible in some sense.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeMar 10th 2011

    Ah, I see. Yes, that makes sense.