fibrational
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Adjective
[edit]fibrational (comparative more fibrational, superlative most fibrational)
- (algebraic topology) Of or pertaining to a fibration.
- 2015, Emily Riehl, Dominic Verity, “Kan extensions and the calculus of modules for -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.