Reports of the Midwest Category Seminar

Span (category theory)

In category theory, a span, roof or correspondence is a generalization of the notion of relation between two objects of a category.

Distributeur (théorie des catégories)

Un distributeur (aussi appelé profoncteur, module ou bimodule) est une généralisation catégorique de la notion de relations entre ensembles, et de la notion de…

Jean Bénabou

En 1952, il entre à l'école normale supérieure de Paris, où il obtient l'agrégation de mathématiques en 1956.

Monad (category theory)

In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is a monoid in the category of endofunctors.