The lax- and pseudo-slice characterization of 2-limits
The lax- and pseudo-slice characterization of 2-limits
Let and be -categories, let be a -functor, and let be equipped with a -natural transformation . The claim concerns the lax-slice and pseudo-slice -categories of -cones over .
Lax- and pseudo-slice characterization. The pair is a -limit of the -functor precisely when it is a -terminal object in the lax-slice (or pseudo-slice) -category of -cones over .
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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.