Monada (algebra)

Szablon:Nie mylić z Monada – w algebrze liniowej i homologicznej trójwyrazowy kompleks

$A\to B\to C$

obiektów pewnej kategorii abelowej, którego środkowy wyraz $B$ jest projektywny, pierwsze odwzorowanie $A\to B$ jest iniektywne, zaś drugie odwzorowanie $B\to C$ jest surjektywne.

Równoważnie monadę można zdefiniować jako obiekt projektywny z trójkrokową filtracją ($B\subset \ker (B\to C)\supset \mathrm{im}(A\to B)$). W praktyce $A,B,C$ są często wiązkami wektorowymi nad ustaloną przestrzenią liniową, a część autorów narzuca pewne dodatkowe, pomniejsze warunki na definicję.

Monady zostały wprowadzone przez HorrocksaSzablon:Odn.

Zobacz też

• konstrukcja ADHM

Bibliografia

• Szablon:Cytuj pismo

Literatura dodatkowa

• Szablon:Cytuj pismo