Monthly Archives: May 2025

Barr–Beck–Lurie in families We give a generalization of the result of [GHK22, Proposition 4.4.5]. Proposition 1.1. Given a diagram (1) in 𝖢𝖺𝗍∞ such that: (i) p and r are coCartesian fibrations and U preserves coCartesian edges; (ii) U has a … Continue reading →