Jaco Ruit

activity

20212026

\infty

-equipments I

1 citations · 1 across the 6 of their papers we have counts for

collaborators

Showing 2024Show all

2 papers · 1 filter

math.CT2024

Formal category theory in $\infty$ -equipments II: Lax functors, monoidality and fibrations

Jaco Ruit

We study the framework of $\infty$ -equipments which is designed to produce well-behaved theories for different generalizations of $\infty$ -categories in a synthetic and uniform fas…

math.CT2024

Homotopy coherent companionships and conjunctions

Jaco Ruit

We demonstrate that companionships and conjunctions in double $\infty$ -categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living compani…

Formal category theory in ∞-equipments II: Lax functors, monoidality and fibrations

Homotopy coherent companionships and conjunctions

Formal category theory in $\infty$ -equipments II: Lax functors, monoidality and fibrations