რა არის Monad Endofunctor?
რა არის Monad Endofunctor?

ვიდეო: რა არის Monad Endofunctor?

ვიდეო: რა არის Monad Endofunctor?
ვიდეო: მიხეილ ჯავახიშვილი - "ჯაყოს ხიზნები" - აუდიო წიგნი 2024, ნოემბერი
Anonim

ა მონადა არის გარკვეული ტიპის ენდოფუნქციური . მაგალითად, თუ და არის მიმდებარე ფუნქციების წყვილი, მარცხნივ მიმდებარე ფუნქციით, მაშინ კომპოზიცია არის მონადა . თუ და არიან შებრუნებული ფუნქციები, შესაბამისი მონადა არის პირადობის ფუნქცია. ზოგადად, დანართები არ არის ეკვივალენტობა - ისინი აკავშირებენ სხვადასხვა ბუნების კატეგორიებს.

ასევე იცით, რა არის მონადი ბიოლოგიაში?

(მეცნიერება: ბიოლოგია ) მარტივი, წუთიერი ორგანიზმი; პირველადი უჯრედი, ჩანასახი ან პლასტიდი. (მეცნიერება: ქიმია) ატომი ან რადიკალი, რომლის ვალენტობა ერთია, ან რომელიც შეიძლება გაერთიანდეს, შეიცვალოს ან შეიცვალოს წყალბადის ერთი ატომით. (მეცნიერება: ბიოლოგია ) მონადი დემე, ტექტოლოგიაში, ინდივიდუალობის პირველი რიგის ერთეული.

ანალოგიურად, რა არის მონადი პროგრამირებაში? ვიკიპედიიდან: ფუნქციონალური პროგრამირება , ა მონადა არის ერთგვარი აბსტრაქტული მონაცემთა ტიპი, რომელიც გამოიყენება გამოთვლების წარმოსადგენად (დომენის მოდელის მონაცემების ნაცვლად). მონადები დაუშვას პროგრამისტი ჯაჭვური ქმედებები მილსადენის ასაშენებლად, რომელშიც თითოეული მოქმედება მორთულია დამუშავების დამატებითი წესებით, რომლებიც გათვალისწინებულია მონადა.

ანალოგიურად შეიძლება ვიკითხოთ, არის თუ არა ყველა მონადა მონოიდური?

ყველა უთხრა, ა მონადა X-ში არის მხოლოდ a მონოიდური X-ის ენდოფუქტორების კატეგორიაში, პროდუქტით × შეცვლილია ენდოფუქტორების შემადგენლობით და ერთეულით დაყენებული იდენტურობის ენდოფუქტორით. X აქ არის კატეგორია. ეს არის კატეგორია, რომელშიც ობიექტები ენდოფუნქციონერები არიან და მორფიზმები ბუნებრივი გარდაქმნებია.

რა არის მონოიდის მაგალითი?

აბსტრაქტულ ალგებრაში, მათემატიკის დარგი, ა მონოიდური არის ალგებრული სტრუქტურა ერთი ასოციაციური ორობითი მოქმედებით და იდენტურობის ელემენტით. მონოიდები არიან იდენტობის მქონე ნახევრადჯგუფები. ამისთვის მაგალითი , ფუნქციები სიმრავლიდან თავისთავად ქმნიან ა მონოიდური ფუნქციის შემადგენლობით.

გირჩევთ: