Quasi-category

from Wikipedia, the free encyclopedia

A quasi-category denotes in mathematics:

  • a generalization of the category by dispensing with set-theoretical restrictions, see functor category .
  • an infinity category in which the composition of two morphisms can be ambiguous.