×

Traduction équationnelle de notions ensemblistes. (French) Zbl 0392.18008


MSC:

18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18A15 Foundations, relations to logic and deductive systems
PDFBibTeX XMLCite