Triple, Monad, Cotriple, Comonad

Monad という概念がある。 Adjoint functor の組があると, そこから自然に monad ができるが, Eilenberg と Moore [EM65] によると, このことに最初に気付いたのは Huber [Hub61] らしい。 Böhm と Ştefan [BŞ08] によると, Godement の本 [God73] に登場するらしいから, そちらの方が古いが。 Monad は triple とも呼ばれる。その双対として comonad (cotriple) もある。

(Co)monad については, Weibelの本 [Wei94] にも解説があるが, 詳しいのは Beck の thesis である。

最も簡潔な monad の定義としては, ある圏 \(C\) の endomorphism functor と natural transformation の成す圏 \(\category{End}(C)\) を functor の合成で monoidal category と考えたときの, monoid object というものがある。これは, 例えば, M. Weber の [Web04] に書いてある。この Weber の論文では, club という概念が使われているが, これは Kelly により導入 [Kel72a; Kel72b; Kel74; Kel92] された, 特別な種類の monad である。

  • club

Garner は [Gar06] で pseudo double category での類似の概念を考えている。Algebraic theorymulticategory などを統一して扱うための枠組みとして, double category 上の monad を使うことを提案しているのは, Cruttwell と Shulman [CS] である。

Monadは, category の成す \(2\)-category の構造を使って定義されているが, より一般の \(2\)-category でも変更なく定義できる。更に, bicategory でも少し気をつければ定義できる。このことに最初に気がついたのは, Benabou [Bén67] らしい。

Monadは, monoid のようなものなので, その作用を考えることができる。普通は, monad 上の algebra と呼ばれるが, Ardizzoni, Gómez-Torrecillas, Menini の [AGM15] のように, moduleと言った方が良いと思う。それら全体は category を成すが, それをその monad の Eilenberg-Moore category という。

  • monad 上の module (algebra)
  • comonad 上の comodule (coalgebra)
  • Eilenberg-Moore category

更に, monad を色々動かすと bicategoryができる。 一般の bicategory での monad の成す bicategory について調べたのは, Street [Str72] が最初だろうか。 Lack との共著による続編が, [LS02] として出ている。

  • formal theory of monad

Eugenia Cheng [Che11] や Böhm [Böh10] が, その拡張について考えている。 Double category の場合は, Fiore と Gambino と Kock [FGK11] により考えられている。

Bialgebra や Hopf algebra の拡張として, bimonad や Hopf monad という概念を考えている人 [BV07; MW11; BLV11] もいる。

Mesablishvili の [Mes06] によると, monad と Grothendieck の descent の理論との関係を明らかにしたのはBeck (unpublished) と Bénabou と Roubaud [BR70] らしい。 ホモトピー論的な descent theory の一般化は, Hessの[Hes] で構築されている。そこで用いられているのは, simplicial category であるが。

代数的トポロジーでは, comonad や monad は, functorial な “resolution” の構成に使われることが多い。例えば, いくつかのスペクトル系列の構成 [Mil78] や Johnson と McCarthy による Taylor tower の構成 [JM04] などがある。Hess の [Hes] では, 様々な spectral sequence が monad や comonad に associate した descent あるいは codescent spectral sequence として表わせることが示されている。

最近(?)では, monad は, 計算機科学でも用いられるようになってきた。 そのための一般化として relative monad というものがある。

  • relative monad [ACU]

Monad を “up to homotopy” で考えることも必要である。Bauer と Libman の [BL10] で \(A_{\infty }\)-monad として定義され, 調べられている。 Bousfield-Kan の \(R\)-completion functor が motivating example のようである。

  • \(A_{\infty }\)-monad

Monad や comonad の 高次元化も考えられている。 Shulman の [Shu] によると, Blackwell, Kelly, Power の [BKP89] が最初のようである。Batanin と Weber の [BW11] には, \(2\)-monad については, Lack の [Lac02] を見るように書いてある。Shulman は, Lack の[Lac10] の §4 を参照している。

  • \(2\)-monad

\(2\)-monad 上の algebra も考えられるが, やはり条件を up to natural isomorphism で弱めないといけない。

  • \(2\)-monad 上の pseudoalgebra

Monoidal category を strict monoidal category で置き換えるように, strict化できる場合もあるが, Shulman [Shu] の言うように, 全ての pseudoalgebra が strict化できるわけではない。

Monoidal category での monad は, A. Kock [Koc70; Koc72] により調べられている。 Seal [Sea] が monoidal monad が Eilenberg-Moore category に monoidal structure を誘導するための十分条件を得ている。

  • monoidal monad
  • comonoidal monad

多重 monoidal category での monad や comonad も考えられている。Aguiar らの [AHF] など。

References

[ACU]

Thosten Altenkirch, James Chapman, and Tarmo Uustalu. Monads need not be endofunctors. arXiv: 1412.7148.

[AGM15]

Alessandro Ardizzoni, José Gómez-Torrecillas, and Claudia Menini. “Monadic decompositions and classical Lie theory”. In: Appl. Categ. Structures 23.1 (2015), pp. 93–105. arXiv: 1203.2881. url: https://doi.org/10.1007/s10485-013-9326-7.

[AHF]

Marcelo Aguiar, Mariana Haim, and Ignacio Lopez Franco. Monads on higher monoidal categories. arXiv: 1701.03028.

[Bén67]

Jean Bénabou. “Introduction to bicategories”. In: Reports of the Midwest Category Seminar. Berlin: Springer, 1967, pp. 1–77.

[BKP89]

R. Blackwell, G. M. Kelly, and A. J. Power. “Two-dimensional monad theory”. In: J. Pure Appl. Algebra 59.1 (1989), pp. 1–41. url: http://dx.doi.org/10.1016/0022-4049(89)90160-6.

[BL10]

Tilman Bauer and Assaf Libman. “\(A_{\infty }\)-monads and completion”. In: J. Homotopy Relat. Struct. 5.1 (2010), pp. 133–155. arXiv: 0805.3030.

[BLV11]

Alain Bruguières, Steve Lack, and Alexis Virelizier. “Hopf monads on monoidal categories”. In: Adv. Math. 227.2 (2011), pp. 745–800. arXiv: 1003.1920. url: http://dx.doi.org/10.1016/j.aim.2011.02.008.

[Böh10]

Gabriella Böhm. “The weak theory of monads”. In: Adv. Math. 225.1 (2010), pp. 1–32. arXiv: 0902.4192. url: http://dx.doi.org/10.1016/j.aim.2010.02.015.

[BR70]

Jean Bénabou and Jacques Roubaud. “Monades et descente”. In: C. R. Acad. Sci. Paris Sér. A-B 270 (1970), A96–A98.

[BŞ08]

Gabriella Böhm and Dragoş Ştefan. “(Co)cyclic (co)homology of bialgebroids: an approach via (co)monads”. In: Comm. Math. Phys. 282.1 (2008), pp. 239–286. arXiv: 0705.3190. url: http://dx.doi.org/10.1007/s00220-008-0540-3.

[BV07]

Alain Bruguières and Alexis Virelizier. “Hopf monads”. In: Adv. Math. 215.2 (2007), pp. 679–733. arXiv: math/0604180. url: http://dx.doi.org/10.1016/j.aim.2007.04.011.

[BW11]

Michael Batanin and Mark Weber. “Algebras of higher operads as enriched categories”. In: Appl. Categ. Structures 19.1 (2011), pp. 93–135. arXiv: 0803.3594. url: http://dx.doi.org/10.1007/s10485-008-9179-7.

[Che11]

Eugenia Cheng. “Iterated distributive laws”. In: Math. Proc. Cambridge Philos. Soc. 150.3 (2011), pp. 459–487. arXiv: 0710.1120. url: http://dx.doi.org/10.1017/S0305004110000599.

[CS]

G. S. H. Cruttwell and Michael A. Shulman. A unified framework for generalized multicategories. arXiv: 0907.2460.

[EM65]

Samuel Eilenberg and John C. Moore. “Adjoint functors and triples”. In: Illinois J. Math. 9 (1965), pp. 381–398.

[FGK11]

Thomas M. Fiore, Nicola Gambino, and Joachim Kock. “Monads in double categories”. In: J. Pure Appl. Algebra 215.6 (2011), pp. 1174–1197. arXiv: 1006.0797. url: http://dx.doi.org/10.1016/j.jpaa.2010.08.003.

[Gar06]

Richard Garner. “Double clubs”. In: Cah. Topol. Géom. Différ. Catég. 47.4 (2006), pp. 261–317. arXiv: math/0606733.

[God73]

Roger Godement. Topologie algébrique et théorie des faisceaux. Troisième édition revue et corrigée, Publications de l’Institut de Mathématique de l’Université de Strasbourg, XIII, Actualités Scientifiques et Industrielles, No. 1252. Paris: Hermann, 1973, pp. viii+283.

[Hes]

Kathryn Hess. A general framework for homotopic descent and codescent. arXiv: 1001.1556.

[Hub61]

Peter J. Huber. “Homotopy theory in general categories”. In: Math. Ann. 144 (1961), pp. 361–385.

[JM04]

B. Johnson and R. McCarthy. “Deriving calculus with cotriples”. In: Trans. Amer. Math. Soc. 356.2 (2004), 757–803 (electronic). url: http://dx.doi.org/10.1090/S0002-9947-03-03318-X.

[Kel72a]

G. M. Kelly. “An abstract approach to coherence”. In: Coherence in categories. Berlin: Springer, 1972, 106–147. Lecture Notes in Math., Vol. 281.

[Kel72b]

G. M. Kelly. “Many-variable functorial calculus. I”. In: Coherence in categories. Berlin: Springer, 1972, 66–105. Lecture Notes in Math., Vol. 281.

[Kel74]

G. M. Kelly. “On clubs and doctrines”. In: Category Seminar (Proc. Sem., Sydney, 1972/1973). Berlin: Springer, 1974, 181–256. Lecture Notes in Math., Vol. 420.

[Kel92]

G. M. Kelly. “On clubs and data-type constructors”. In: Applications of categories in computer science (Durham, 1991). Vol. 177. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 1992, pp. 163–190. url: http://dx.doi.org/10.1017/CBO9780511525902.010.

[Koc70]

Anders Kock. “Monads on symmetric monoidal closed categories”. In: Arch. Math. (Basel) 21 (1970), pp. 1–10. url: https://doi.org/10.1007/BF01220868.

[Koc72]

Anders Kock. “Strong functors and monoidal monads”. In: Arch. Math. (Basel) 23 (1972), pp. 113–120. url: https://doi.org/10.1007/BF01304852.

[Lac02]

Stephen Lack. “Codescent objects and coherence”. In: J. Pure Appl. Algebra 175.1-3 (2002). Special volume celebrating the 70th birthday of Professor Max Kelly, pp. 223–241. url: http://dx.doi.org/10.1016/S0022-4049(02)00136-6.

[Lac10]

Stephen Lack. “A 2-categories companion”. In: Towards higher categories. Vol. 152. IMA Vol. Math. Appl. New York: Springer, 2010, pp. 105–191. arXiv: math/0702535. url: http://dx.doi.org/10.1007/978-1-4419-1524-5_4.

[LS02]

Stephen Lack and Ross Street. “The formal theory of monads. II”. In: J. Pure Appl. Algebra 175.1-3 (2002). Special volume celebrating the 70th birthday of Professor Max Kelly, pp. 243–265. url: http://dx.doi.org/10.1016/S0022-4049(02)00137-8.

[Mes06]

Bachuki Mesablishvili. “Monads of effective descent type and comonadicity”. In: Theory Appl. Categ. 16 (2006), No. 1, 1–45.

[Mil78]

Haynes Miller. “A spectral sequence for the homology of an infinite delooping”. In: Pacific J. Math. 79.1 (1978), pp. 139–155. url: http://projecteuclid.org/euclid.pjm/1102805992.

[MW11]

Bachuki Mesablishvili and Robert Wisbauer. “Bimonads and Hopf monads on categories”. In: J. K-Theory 7.2 (2011), pp. 349–388. arXiv: 0710.1163. url: http://dx.doi.org/10.1017/is010001014jkt105.

[Sea]

Gavin J. Seal. Tensors, monads and actions. arXiv: 1205.0101.

[Shu]

Michael A. Shulman. Not every pseudoalgebra is equivalent to a strict one. arXiv: 1005.1520.

[Str72]

Ross Street. “The formal theory of monads”. In: J. Pure Appl. Algebra 2.2 (1972), pp. 149–168. url: http://dx.doi.org/10.1016/0022-4049(72)90019-9.

[Web04]

Mark Weber. “Generic morphisms, parametric representations and weakly Cartesian monads”. In: Theory Appl. Categ. 13 (2004), No. 14, 191–234.

[Wei94]

Charles A. Weibel. An introduction to homological algebra. Vol. 38. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994, pp. xiv+450. isbn: 0-521-43500-5; 0-521-55987-1. url: https://doi.org/10.1017/CBO9781139644136.