Models of enhanced limit 2-sketches are equivalent to algebras over enhanced 2-monads, including lax morphisms, and inherit w-rigged limits.
Dotted $2$-limits
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Marked limits, or Cartesian quasi-limits introduced by Gray, give an alternative approach to $\mathbf{Cat}$-weighted limits in $2$-category theory. This was first established by Street, and we aim to give a new approach to this result using marked codescent objects of marked coherence data which we introduce in this article. We then propose the notion of dotted $2$-limits, which is a natural generalisation of marked limits to the enhanced $2$-categorical setting. We establish that dotted $2$-limits and $\mathscr{F}$-weighted limits both have the same expressive power.
fields
math.CT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
Models of enhanced limit 2-sketches are equivalent to algebras over enhanced 2-monads, including lax morphisms, and inherit w-rigged limits.