Polyad

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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

<templatestyles src="Reflist/styles.css" />

  1. Script error: No such module "citation/CS1".

Script error: No such module "Check for unknown parameters".

Bibliography

  • Script error: No such module "citation/CS1".


Template:Asbox