fibrational

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

fibration +‎ -al

Adjective

[edit]

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 -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.