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 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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2010
    • (edited Oct 14th 2014)
    I added to (infinity,n)-category of cobordisms a description in plain English (or what I make of that...) of Lurie's definition of Bord_{(\infty,n)}.

    The definition is very simple and elegant, but it is not being exposed really in Lurie's writeup, and the whole definition 2.2.9, which is central to the article, is itself rather hidden somewhere, so I I am making the experience that people staring at the document tend not to see the simple point here. As a reaction to that, I thought I'd write this out now.
    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeJan 21st 2010

    You said you are doing in Utrecht some generalizations of quasicategory business in dendroidal sets setup. Is there a notion of STABLE quasioperad there. The stable quasicategories are naturally enriched over a standard category of spectra (omega-spectra in simplicial sets), is there a similar theorem there in dendroidal setup ?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2010

    Is there a notion of STABLE quasioperad there. The stable quasicategories are naturally enriched over a standard category of spectra (omega-spectra in simplicial sets), is there a similar theorem there in dendroidal setup ?

    Interesting question. I don't know.

    Hm, yes, I see what you mean. Will have to think about how one could define this...

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeOct 14th 2014
    • (edited Oct 14th 2014)

    Might anyone have a quick way to produce figures such as in figure 5 of Schommer-Pries 14 (schowing some basic morphisms in Bord 2 frBord_2^{fr}) for use in an nnLab entry? I have tried our built-in SVG editor, but we haven’t really become friends yet.

    I like these figures, but I wanted to accompany them with slightly different text that makes it clearer (or so it would seem to me) what is going on. I have started to type such text at (oo,n)-catgeory of cobordisms – Examples – Bord_2^fr. But somehow without the pictures being right next to the text the result looks a bit lame…