Abstract
We show that the canonical homotopy theory of strict 2-categories embeds in that of (∞,2)-categories in the form of 2-(pre)complicial sets. More precisely, we construct a nerve-categorification adjunction that is a Quillen pair between the canonical model structure for 2-categories and the model structure for 2-precomplicial sets. Furthermore, we show that the former model structure is transferred along this nerve and that the nerve is homotopically fully faithful.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have