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
Size issue in exhibiting the free cocompletion as a left adjoint
The "does this answer your question" comment was automatically generated by MathOverflow; I didn't spot that it had been posted, sorry. You can ignore the part about profunctors, but the size issues it asks about are exactly the same as the size issues you ask about (an adjunction between bicategories is called a "pseudoadjunction" and generates a "pseudomonad").
comment
Size issue in exhibiting the free cocompletion as a left adjoint
@user984603: if you read even the introduction of the paper I linked, you would see it is answering exactly your question, and introduces the concept of relative pseudoadjunction. Cisinksi's comment is a corollary of the results of that paper.
comment
Universal property of the V-Mat construction
@MikeShulman: thanks for pointing that out, I forgot to deloop $\mathcal V$. I've modified the question to involve enrichment in a bicategory $\mathcal W$ to avoid that confusion.
revised
Universal property of the V-Mat construction
deleted 18 characters in body
Loading…
revised
Loading…
comment
Universal property of the V-Mat construction
@TimCampion: thanks, I had just remembered that, came back to edit my question, and saw you had made the same observation :)
revised
Universal property of the V-Mat construction
added 327 characters in body
Loading…
Loading…
revised
Loading…
revised
Loading…
comment
Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?
@DavidRoberts: I've clarified my question and corrected a typo: the relevant fact is that fully faithful functors are closed under pushout, not pullback.
revised
Loading…
Loading…
revised
What is known about relative adjunctions?
added 168 characters in body
Loading…
awarded
revised
Loading…
comment
Adjunctions with respect to profunctors
@MikeShulman: indeed. The question then becomes, I suppose, "Can properties of such diagrams be deduced from existing theory (e.g. the theory of adjunctions in a 2-category), without having to reprove various results about adjunctions at this greater level of generality?".
comment
Adjunctions with respect to profunctors
How do you ensure that $\mathsf{Ho}_\rho(\mathsf{C})$ is a category? Certainly it will be if $\mathsf P$ is a monad in $\mathsf{Prof}$: is it related to this fact?
1
21 22
23
24 25
38