nLab Jaco Ruit

personal page

Selected writings

On the (∞,1)-Grothendieck construction via straightening and unstraightening:

Fabian Hebestreit, Gijs Heuts, Jaco Ruit, A short proof of the straightening theorem (arXiv:2111.00069).

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]

See also

straightening functor

category: people

Last revised on March 26, 2025 at 10:01:18. See the history of this page for a list of all contributions to it.