fibrational
adjEtymology From fibration + -al.
1
Algebraic topology, Mathematics, Sciences, Topology 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: