×

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

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

MSC:

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