Monad (teori kategori): Perbedaan antara revisi

Dalam [[teori kategori]], cabang dari [[matematika]], '''monad''' (juga disebut '''tripel''', '''triad''', '''konstruksi standar''' dan '''konstruksi dasar''')<ref>{{citation|url=http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf | title=Toposes, Triples and Theories | year=1985 | first1=Michael | last1=Barr | first2=Charles | last2= Wells | publisher=Springer-Verlag | isbn=0-387-96115-1 | volume=278 | work= Grundlehren der mathematischen Wissenschaften |pages=82 and 120 |postscript=.}}</ref> adalah [[endofunktor]] ([[funktor]] memetakan [[Kategori (matematika) | kategori]]), Bersama-sama dengan dua [[transformasi alam]] yang dibutuhkan untuk memenuhi [[kondisi koherensi]]. Monad digunakan dalam teori [[funktor adjoin]], dan mereka menggeneralisasi [[operator penutupan]] pada [[himpunan terurut parsial]] ke kategori arbitrer.