Sur quelques structures de base pour definir les structures. (French) Zbl 0522.18004

Diagrammes 7, Exp. No. 2, 23 p. (1982).


18C10 Theories (e.g., algebraic theories), structure, and semantics
18B25 Topoi
18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
03-03 History of mathematical logic and foundations
01A65 Development of contemporary mathematics
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18C20 Eilenberg-Moore and Kleisli constructions for monads
Full Text: EuDML