El enfoque general del concepto de un objeto fibrante es el siguiente: para una clase dada Σ de morfismos de una categoría C, un objeto Y de C es llamado Σ-fibrante si para cada morfismo s ∈ Σ, s: A → X y cada morfismo f ...