Remark 1.5.16. It is possible to formulate axioms for \(\infty \)-categories that would allow one to deduce Axiom I, Axiom J.

Generated from the authoritative LaTeX source.