Kan fibration

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.