Coherency (homotopy theory)

Coherency in homotopy theory refers to the study of higher categorical structures and their relationships, particularly in the context of homotopy types, homotopy types as types, and the coherence conditions that arise in higher-dimensional category theory.