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[1].

Zobacz też

edytuj

Przypisy

edytuj

Bibliografia

edytuj

Literatura dodatkowa

edytuj