Skip to main content
varkor's user avatar
varkor's user avatar
varkor's user avatar
varkor
  • Member for 4 years, 10 months
  • Last seen this week
comment
What are the special properties of adjunctions that generate polynomial monads
Certainly if the left and right adjoints are polynomial, then the induced monad will be polynomial, and this would seem the natural condition to impose. One would hope that the Kleisli and Eilenberg–Moore adjunction for a polynomial monad to comprise polynomial functors, though I'm not sure whether or not this is true.
answered
Loading…
comment
Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?
@TimCampion: I mean a strict 2-colimit over a span, i.e. the dual of the definition of strict 2-pullback on the nLab.
revised
Loading…
comment
Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?
@TimCampion: I mean strict 2-pushout. I'm using "pseudopushout" for the full weak version. I'll update the question to make that clearer, though.
awarded
awarded
answered
Loading…
Loading…
comment
Original reference for the correspondence between commutative algebraic theories and commutative monads
I emailed Anders Kock and he was unaware of an explicit reference, though he said it was known even as early as the late 1960s.
comment
Examples of 2-categories with multiple interesting proarrow equipment structures
Thanks, this is an interesting example. Given that neither horizontal nor vertical profunctors are primary, it seems plausible that the right kind of structure to consider here is a "double equipment" (by which I don't mean the usual "double category with companions and conjoints" perspective of an equipment, but rather an identity-on-objects double functor between double categories with some appropriate structure).
comment
Eilenberg–Moore algebras in terms of Kleisli ones
The pullback characterisation is due to Linton, and appears as Observation 1.1 of the 1969 paper An Outline of Functorial Semantics.
Loading…
comment
Examples of 2-categories with multiple interesting proarrow equipment structures
Upvoted as this does provide an example of distinct equipment structures that one might care about, but it's not quite what I'm looking for, as in these cases there still appears to be a "canonical" equipment, from which the others are induced.
awarded
Loading…
awarded
awarded
comment
"Partially strict" monoidal categories
I believe most people would just call this a "strictly associative monoidal category".
comment
Size issue in exhibiting the free cocompletion as a left adjoint
@user984603: since you were asking questions about (pseudo)adjunctions between bicategories, I had expected you were familiar with 2-categorical terminology. Even if not, if you just ignore the prefix "pseudo" in the introduction, most of the words are standard category theory terms. But if you're satisfied with Cisinksi's comment, then it doesn't matter :) (It follows from Example 3.9 of that paper.)
1
20 21
22
23 24
38