Proposition 5.75. ([Anel et al. 2025, Theorem 3.2.2])
This product turns \(\Acyc(T)\) into a commutative algebra object in the category \(\Pos^{\cocompl}\) of cocomplete posets. Its unit is the acyclic class \(\All\) of all morphisms.
References
- Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal. Left-exact localizations of $\infty$-topoi III: The acyclic product. 2025.