- Art Gallery -

.

V. de Paiva. "A dialectica-like model of linear logic". In Proc. Conf. on Category Theory and Computer Science, Springer-Verlag Lecture Notes in Computer Science 389, pp. 341–356, Manchester, September 1989.

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.

See also

Trilinear Algebra
Quadratic Equasions
Boolean Algebra

Bibliography

Street, Ross (1983), Enriched Categories and Cohomology

Notes

Benabou, Jean (1967), Introduction to Bicategories

Mathematics Encyclopedia

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License

Home - Hellenica World