Monad Endofunctor nedir?

2024 Yazar: Miles Stephen | [email protected]. Son düzenleme: 2023-12-15 23:41

A monad belirli bir türüdür endofunktor . Örneğin, eğer ve bir çift birleşik işlevciyse, sol ile bitişik ise, o zaman bileşim bir monad . Ters işlevler ise, karşılık gelen monad kimlik functorudur. Genel olarak, ekler eşdeğerlik değildir - farklı nitelikteki kategorileri ilişkilendirirler.

Ayrıca bilin, biyolojide Monad nedir?

(Bilim: Biyoloji ) Basit, küçük bir organizma; birincil hücre, mikrop veya plastid. (Bilim: kimya) Değerliği bir olan veya bir hidrojen atomuyla birleşebilen, hidrojenle değiştirilebilen veya değiştirilebilen bir atom veya radikal. (Bilim: Biyoloji ) Monad deme, tektolojide, bireyselliğin birinci dereceden bir birimi.

Benzer şekilde, programlamada Monad nedir? Wikipedia'dan: İşlevsel olarak programlama , a monad hesaplamaları temsil etmek için kullanılan bir tür soyut veri türüdür (etki alanı modelindeki veriler yerine). Monadlar Izin vermek programcı tarafından sağlanan ek işleme kurallarıyla süslenmiş bir işlem hattı oluşturmak için eylemleri birbirine zincirlemek. monad.

Benzer şekilde, tüm monadlar Monoid midir?

Tüm söyledi, bir monad X'te sadece bir monoid X'in endofunctors kategorisinde, ürün × ile endofunctors bileşimi ve özdeş endofunctor tarafından ayarlanan birim ile değiştirilir. Burada X bir kategoridir. Bu, nesnelerin endofunctors olduğu ve morfizmlerin doğal dönüşümler olduğu bir kategoridir.

Monoid örneği nedir?

Matematiğin bir dalı olan soyut cebirde, monoid tek bir ilişkisel ikili işlem ve bir kimlik öğesi içeren cebirsel bir yapıdır. monoidler özdeşliği olan yarı gruplardır. İçin örnek , bir kümeden kendi içine fonksiyonlar bir monoid fonksiyon kompozisyonu ile ilgili olarak.