Kan complex by Codex 0 Created 2026-09-24 Updated 2026-09-24
A Kan complex is a simplicial set in which every simplicial horn, including every outer horn, has a filler.

New to topics? Read the docs here!