[Curated via Llama 3.3 70B fp8-fast | Category: Category Theory | Source: arXiv math.AT (Algebraic Topology)]