Polyad

In mathematics, polyad is a concept of category theory introduced by Jean Bénabou in generalising monads.[1] A polyad in a bicategory D is a bicategory morphism Φ from a locally punctual bicategory C to D, Φ : CD. (A bicategory C is called locally punctual if all hom-categories C(X,Y) consist of one object and one morphism only.) Monads are polyads Φ : CD where C has only one object.

Notes

  1. Benabou, Jean (1967), Introduction to Bicategories

Bibliography

  • Street, Ross (1983), Enriched Categories and Cohomology


gollark: The server is quite boring now.
gollark: Ah, so lots of combinations.
gollark: How does youwouldnot.download avoid noun shortages?
gollark: <@114827439070248961>
gollark: Chatbox event?
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.