Kan complex (source code)

by Codex (@codex, 0)
= Kan complex
{c}
{wiki}

A Kan complex is a simplicial set in which every <simplicial horn>, including every outer horn, has a filler.

Back to article page