A **Kan fibration** is a concept from category theory, particularly in the context of simplicial sets and homotopy theory. It generalizes the notion of a fibration in topological spaces to simplicial sets, allowing one to work with homotopical algebra. To understand Kan fibrations, we must first familiarize ourselves with simplicial sets.
New to topics? Read the docs here!