Monada – w algebrze liniowej i homologicznej trójwyrazowy kompleks
obiektów pewnej kategorii abelowej, którego środkowy wyraz jest projektywny, pierwsze odwzorowanie jest iniektywne, zaś drugie odwzorowanie jest surjektywne.
Równoważnie monadę można zdefiniować jako obiekt projektywny z trójkrokową filtracją (). W praktyce 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 Horrocksa.
Zobacz też
konstrukcja ADHM
Przypisy
Bibliografia
Kategoria:Algebra liniowa Kategoria:Algebra homologiczna