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:
A treatment of Day convolution for algebraic patterns:
Last revised on April 1, 2026 at 07:57:23. See the history of this page for a list of all contributions to it.