Operad algebra - Operad algebra

Algebrada operad algebra "algebra" dir operad. Bu $ an $ ning umumlashtirilishi assotsiativ algebra komutativ halqa ustida R, operadni almashtirish bilan R.

Ta'riflar

Opera berilgan O (ayt, a nosimmetrik ketma-ketlik a nosimmetrik monoidal b-toifasi C), an opera ustidagi algebra, yoki O-algebra qisqasi, taxminan chap modul tugadi O tomonidan parametrlangan ko'paytmalar bilan O.

Agar O a topologik opera, keyin operada algebra deyish mumkin O-monoid ob'ekt C. Agar C nosimmetrik monoidaldir, bu odatdagi ta'rifni tiklaydi.

Ruxsat bering C kolimitlar bo'yicha taqsimlanadigan monoidal tuzilishga ega bo'lgan nosimmetrik monoidal b-toifali bo'ling. Agar bu operadalar xaritasi va bundan tashqari, agar f homotopiya ekvivalenti, keyin algebralarning g-toifasi tugaydi O yilda C algebralarning ∞-toifasiga tengdir O ' yilda C.[1]

Shuningdek qarang

Izohlar

  1. ^ Frensis, Taklif 2.9.

Adabiyotlar

  • Jon Frensis, Algebraik geometriya tugadi - uzuklar
  • Xinich, Vladimir (1997-02-11). "Gomotopiya algebralarining gomologik algebrasi". arXiv:q-alg / 9702015.

Tashqi havolalar