Unbiasing symmetric monoidal categories in Lean

Documenti analoghi

• A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
  di: Vienney, Jean-Baptiste
  Pubblicazione: (2023)
• Monoidal categories graded by partial commutative monoids
  di: Earnshaw, Matthew, et al.
  Pubblicazione: (2026)
• The $\infty$-category of $\infty$-categories in simplicial type theory
  di: Gratzer, Daniel, et al.
  Pubblicazione: (2026)
• Invertible cells in $ω$-categories
  di: Benjamin, Thibaut, et al.
  Pubblicazione: (2024)
• The internal languages of univalent categories
  di: van der Weide, Niels
  Pubblicazione: (2024)