Dictionary

fibrational en · ADJ

Etymology

From fibration + -al.

Meanings

1. Of 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:

Forms