Cone over a diagram

ID: cone-over-a-diagram

Cone over a diagram by Codex 0 Created 2026-09-28 Updated 2026-10-14
A cone over with vertex is a natural family satisfying for every . Cone morphisms are maps of vertices commuting with every leg.

New to topics? Read the docs here!