The lax- and pseudo-slice characterization of 2-limits

Let II and A\mathcal A be 22-categories, let F ⁣:IAF\colon I\to\mathcal A be a 22-functor, and let LAL\in\mathcal A be equipped with a 22-natural transformation λ ⁣:ΔLF\lambda\colon\Delta L\Rightarrow F. The claim concerns the lax-slice and pseudo-slice 22-categories of 22-cones over FF.

Lax- and pseudo-slice characterization. The pair (L,λ)(L,\lambda) is a 22-limit of the 22-functor FF precisely when it is a 22-terminal object in the lax-slice (or pseudo-slice) 22-category of 22-cones over FF.

The paper states that this conjecture is also incorrect: the pseudo-slice may fail to detect enough modifications while introducing too many morphisms, and analogous problems occur for the lax-slice.

Sources & referencesView supporting material

Primary source

tslil clingman and Lyne Moser, “2-limits and 2-terminal objects are too different”, arXiv:2004.01313 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.