英和和英

形容詞

fibrational (comparative more fibrational, superlative most fibrational)

1. (algebraic topology) Of or pertaining to a fibration.
   • 2015, Emily Riehl, Dominic Verity, “Kan extensions and the calculus of modules for ${\displaystyle \infty }$-categories”, in arXiv^[1]:

     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.