fibrational

comparative more fibrational · superlative most fibrational

1. algebraic topologyOf or pertaining to a fibration.

   Applying the fibrational form of the Yoneda lemma, we develop a general calculus of modules, proving that they naturally assemble into a multicategory-like structure called a virtual equipment, which is known to be a robust setting in which to develop formal category theory.

   2015, Emily Riehl, Dominic Verity, “Kan extensions and the calculus of modules for ∞-categories”, in arXiv