Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthormaxsnew
   • CommentTimeSep 26th 2017
   • (edited Sep 26th 2017)
   • PermaLink
   Author: maxsnew
   Format: MarkdownItexI asked this question on [mathoverflow](https://mathoverflow.net/questions/278357/generalized-co-presheaves-for-generalized-multicategories) but I think I should have just posted here in the first place. A $T$-multicategory in the sense of [Crutwell-Shulman](https://arxiv.org/pdf/0907.2460.pdf), where $T$ is a monad on a virtual double category $C$ is a monoid in the "horizontal kleisli category", i.e., an object of objects $O$, a horizontal arrow of arrows $A : O \to T O$ with composition and identity cells. Is there a good way to define a co-presheaf on such a generalized multicategory? This seems to give a natural notion of $T$-presheaf as just a bimodule of the monad with a terminal object, i.e. a horizontal arrow $P : 1 \to T O$ with a composite $P;A \Rightarrow P$ that is compatible with composition and identity. If you look at what this means for specific cases like $T = $ free symmetric monoidal category monad on the virtual equipment of cats, functors and profunctors this looks like the definition of presheaf you would come up with, with $P : 1 \to T O$ giving an abstract notion of map from a list of objects of $O$ to $P$ and so can be used to define universal properties like the product, and it looks like you can use the language of cartesian cells to define the right notion of representability. On the other had, just taking the dual doesn't look like the right thing. What I'm hoping would happen is that if I try to define the universal property of a coproduct using such a copresheaf I would be "forced" to make it a distributive coproduct. However, if we say a copresheaf is a bimodule $Q : O \to T 1$, this doesn't look right because for our example $T$, this would give us an abstract notion of maps $Q^n \to A$ for each $A \in O$, but it seems to me that the right notion of copresheaf (based on the type theory) would be to give an abstract notion of $A_1,...,Q,...A_n \to B$. In particular for $A,B \in O$ if I try to define a copresheaf $A+B$ by $$(A+B)^n \to C = \Pi_{m+l=n} A^m,B^l \to C$$ this only gives me a distributive coproduct-like behavior when $A+B$ repeated is the only thing in the domain, and it looks like for a representing object $$(A+B),C \to D = (A,C \to D)\times (B,C \to D)$$ will not in general be true.

   I asked this question on mathoverflow but I think I should have just posted here in the first place.

   A $T$-multicategory in the sense of Crutwell-Shulman, where $T$ is a monad on a virtual double category $C$ is a monoid in the “horizontal kleisli category”, i.e., an object of objects $O$, a horizontal arrow of arrows $A : O \to T O$ with composition and identity cells. Is there a good way to define a co-presheaf on such a generalized multicategory?

   This seems to give a natural notion of $T$-presheaf as just a bimodule of the monad with a terminal object, i.e. a horizontal arrow $P : 1 \to T O$ with a composite $P;A \Rightarrow P$ that is compatible with composition and identity. If you look at what this means for specific cases like $T =$ free symmetric monoidal category monad on the virtual equipment of cats, functors and profunctors this looks like the definition of presheaf you would come up with, with $P : 1 \to T O$ giving an abstract notion of map from a list of objects of $O$ to $P$ and so can be used to define universal properties like the product, and it looks like you can use the language of cartesian cells to define the right notion of representability.

   On the other had, just taking the dual doesn’t look like the right thing. What I’m hoping would happen is that if I try to define the universal property of a coproduct using such a copresheaf I would be “forced” to make it a distributive coproduct. However, if we say a copresheaf is a bimodule $Q : O \to T 1$, this doesn’t look right because for our example $T$, this would give us an abstract notion of maps $Q^n \to A$ for each $A \in O$, but it seems to me that the right notion of copresheaf (based on the type theory) would be to give an abstract notion of $A_1,...,Q,...A_n \to B$.

   In particular for $A,B \in O$ if I try to define a copresheaf $A+B$ by

   $$(A+B)^n \to C = \Pi_{m+l=n} A^m,B^l \to C$$

   this only gives me a distributive coproduct-like behavior when $A+B$ repeated is the only thing in the domain, and it looks like for a representing object

   $$(A+B),C \to D = (A,C \to D)\times (B,C \to D)$$

   will not in general be true.

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeSep 27th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI saw your question on MO, but don't have an answer for it; this is something I've also pondered. See for instance Definition 4.2.11 in my [categorical logic notes](http://mikeshulman.github.io/catlog/catlog.pdf).

   I saw your question on MO, but don’t have an answer for it; this is something I’ve also pondered. See for instance Definition 4.2.11 in my categorical logic notes.

3. • CommentRowNumber3.
   • CommentAuthormaxsnew
   • CommentTimeSep 27th 2017
   • (edited Sep 27th 2017)
   • PermaLink
   Author: maxsnew
   Format: MarkdownItexThanks Mike, I'll take a look. What is the reason for the name "Hopf left adjoint", i.e., the Hopf part?

   Thanks Mike, I’ll take a look. What is the reason for the name “Hopf left adjoint”, i.e., the Hopf part?

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeSep 27th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIt's a reference to a [[Hopf adjunction]], which I believe is named because it induces a [[Hopf monad]], which is named by analogy with a [[Hopf algebra]].

   It’s a reference to a Hopf adjunction, which I believe is named because it induces a Hopf monad, which is named by analogy with a Hopf algebra.

5. • CommentRowNumber5.
   • CommentAuthormaxsnew
   • CommentTimeOct 2nd 2017
   • PermaLink
   Author: maxsnew
   Format: MarkdownItexThanks Mike, this is exactly the kind of thing I was looking for.

   Thanks Mike, this is exactly the kind of thing I was looking for.