On the (∞,1)-Grothendieck construction via straightening and unstraightening:
On formal category theory in the setting of higher categories:
Jaco Ruit, Formal category theory in ∞-equipments I [arXiv:2308.03583]
Jaco Ruit, Formal category theory in ∞-equipments II: Lax functors, monoidality and fibrations [arXiv:2408.15190]
On the Gray tensor product in the context of (∞,2)-categories:
Last revised on July 11, 2025 at 12:11:52. See the history of this page for a list of all contributions to it.