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, Φ : C → D. (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 Φ : C → D where C has only one object.

Notes

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

Bibliography


This article is issued from Wikipedia - version of the 7/9/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.