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.
    • CommentAuthorUrs
    • CommentTimeNov 12th 2010
    • (edited Nov 12th 2010)

    There is a student here who is thinking about how to relate \infty-algebraic theories with \infty-operads and in the course of that also dendroidal sets with Lurie-type “\infty-categories of operations” of \infty-operads.

    I am trying to help a bit where I can. First of all I thought I’d need to get a better idea of how the triangle

    monads operads algebraictheories \array{ && monads \\ \\operads &&&& algebraic theories }

    works in 1-category theory. So I am naturally looking at Mike’s Generalized Virtuology to get some hints.

    I had planned to typeup the little that I understand about the relation between Lawvere theories and generalized multicategories, but now I ended up spending some time just on the entry on virtual double categories. Here is what I did

    • created a subsection “Monads on virtual double categories” with the basic definitions

      • and further subsections on “Monoids and modules” (this existed as an empty stub before)

      • and “Generalized multicategories” (with the basic definition, then pointing over to generalized multicategory of course).

    I also

    I took the liberty of mentioning the term “fc-multicategory” at the beginning of virtual double category (because that happens to remind me easier of what the term refers to) and at virtual equipment I said that this term is short for “proarrow equipment of a virtual double category”.

    (Hm, that summary of what i did is almost longer than the little bit of text that I acutally added! :-)

    Mike, here is a question:

    when I read your article with Cruttwell, I have slight trouble when it comes to definition 8.2 of normalized monoids. It has a horizontal morphism labeled U AU_A where definition 4.2 has an equality. It seems. Is there a typo in one of these or did I miss some further definition in the intermediate four sections (not unlikely)?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeNov 12th 2010

    Thank you! Geoff and I have been meaning to improve those pages for a while, but haven’t had time yet.

    Definition 8.2 only makes sense in a virtual equipment, or at least a virtual double category with units (defined in section 5). When you have units, there is a natural bijection (essentially by definition of “units”) between cells of nullary source starting at an object A, and cells of unary source whose source is a unit horizontal arrow U AU_A. Definition 4.2 uses the former, since at that point we are only in a virtual double category, while 8.2 refers (implicitly) to the equivalent cell of the latter form, since only a cell of unary source can be said to be cartesian. Does that clarify?

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 6th 2014

    I added a reference to a recent paper of Hyland to generalized multicategory.

    • CommentRowNumber4.
    • CommentAuthormattecapu
    • CommentTimeJan 23rd 2023
    • (edited Jan 23rd 2023)

    Are Burroni’s T-categories the same thing as generalized multicategories? It seems to me they are. If yes I will add the reference to the page

    • CommentRowNumber5.
    • CommentAuthormaxsnew
    • CommentTimeJan 23rd 2023

    Oui. Looks like an oversight in the references here