Not signed in (Sign In)

Start a new discussion

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-categories 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry computable-mathematics computer-science connection constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 infinity integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)