نظرية ميلنر-مور المشتقة

الملخص: لكل فئة ∞ مستقرّة ومتجانسة بشكل صوري C ولكل operad ∞ غير وحيد O في C، حيث "المعادلة مفقودة"، نبني تزامن مزدوج لكوزول موائم TQ_O: Alg_O (C) Coalg ₎^ (C): Prim_O موائم TQ O: Alg O (C) ⇆ Coalg O ∨ (C): Prim O بين جبر O في C والفجوات فوق التعاون ثنائي كوزول ∞ -cooperad لـ O. نثبت أنه إذا كانت جميع خرائط النورم في C المرتبطة بالمجموعات المتناظرة تكون تكافؤات، فإن وحدة الكوزول X Prim_O (TQ_O (X)) X → Prim O (TQ O (X)) تتوافق مع الخريطة الكانونية X X^: = ₍ ₁ ₙ (O) _ OX X → X ∧: = lim n ≥ 1.