Permutationskategori

I matematik är permutationskategorin en kategori där

  1. objekten är de naturliga talen,
  2. morfismerna från ett naturligt tal n till sig självt är elementen i den symmetriska gruppen och
  3. det finns inga morfismer från m till n om .

Det är likvärdigt som en kategori med kategorin av ändliga mängder och bijektioner mellan dem.

  • Trimble, Todd H. "Notes on the Lie operad" (PDF) . University of Chicago . Hämtad 2022-09-27 .