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
Loading…
comment
Looking for Lawvere's "Closed categories and biclosed bicategories" lecture notes
Ah, that's a pity. It doesn't look like anyone else cites the lecture notes either...
comment
Loading…
Loading…
Loading…
comment
Are there any interesting classes of limits containing finite limits?
While this is technically correct, I don't feel it is quite in the spirit of the question, since L-finite diagrams are the saturation of the finite diagrams, and so one doesn't obtain any new limits by considering them over the finite diagrams.
comment
When is the Eilenberg-Moore category of a relative monad between two topoi a topos?
One very simple observation is that the category of algebras admits limits when $D$ admits limits. So the problem reduces to finding conditions for which the category of algebras admits power objects.
comment
Large V-categories admitting the construction of V-presheaves
When $\mathscr V = \mathrm{Set}$, admitting a $\mathscr V$-enriched presheaf category entails that the presheaf category is locally small (i.e. $\mathrm{Set}$-enriched), which is not the case for $[\mathrm{Set}^{\mathrm{op}}, \mathrm{Set}]$.
comment
Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad
@მამუკაჯიბლაძე: sorry, I meant to write "symmetric/braided strict monoidal category", i.e. the braiding is not strict.
comment
Example of a pseudomonad on Cat whose pseudoalgebras are not the pseudoalgebras for a 2-monad
@მამუკაჯიბლაძე: these are the pseudoalgebras for the free strict symmetric/braided monoidal category 2-monads on $\mathbf{Cat}$.
Loading…
awarded
revised
Loading…
Loading…
awarded
comment
Are there any interesting classes of limits containing finite limits?
My interpretation was that the first bullet point is intended to be read as "other limit-colimit-commutation classes containing the finite limits", and the second bullet point should include "where $\Phi$ contains the finite limit diagrams" (but this should be clarified in the question).
Loading…
1
5 6
7
8 9
38