Quartz 4

Home

❯

Equivalence Between Infinity Categories

Equivalence Between Infinity Categories

Dec 08, 20251 min read

An equivalence between infinity category consists of:

  • A pair of infinity categories A,B
  • A pair of functors f:B→A, g:A→B
  • A pair of natural isomorphisms η:idA​≅gf, ε:fg≅idB​ Write A≃B.

Graph View

Backlinks

  • Infinity Category Theory

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community