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