Монада (линейная алгебра) - Википедия - Monad (linear algebra)

В линейный и гомологическая алгебра, а монада это 3-членный комплекс

АBC

объектов в некоторых абелева категория чей средний срок B является проективный и чья первая карта А → B является инъективный и чья вторая карта B → C является сюръективный. Эквивалентно монада - это проективный объект вместе с трехступенчатой ​​фильтрацией (B ⊃ ker (B → C) ⊃ im (А → B)). На практике А, B, и C часто представляют собой векторные расслоения на некотором пространстве, и некоторые авторы добавляют к определению несколько дополнительных условий. Монады были введены Хоррокс  (1964, с.698).

Смотрите также

Рекомендации

  • Барт, Вольф; Хулек, Клаус (1978), "Монады и модули векторных расслоений", Manuscripta Mathematica, 25 (4): 323–347, Дои:10.1007 / BF01168047, ISSN  0025-2611, МИСТЕР  0509589, Zbl  0395.14007
  • Хоррокс, Г. (1964), "Векторные расслоения на проколотом спектре локального кольца", Труды Лондонского математического общества, Третья серия, 14 (4): 689–713, Дои:10.1112 / плмс / с3-14.4.689, ISSN  0024-6115, МИСТЕР  0169877, Zbl  0126.16801