Limites et co-limites pour représenter les formules. (French) Zbl 0535.03013

Diagrammes 7, Exp. No. 4, 24 p. (1982).
The authors prove that several groupoids which naturally arise in classical model theory are ”sketchable” (”esquissable”) in the sense of C. Ehresmann [Bul. Inst. Politeh. Iaşi, Nouv. Sér. 14(18), No.1/2, 1-14 (1968; Zbl 0196.031)].
Reviewer: P.Bankston


03C68 Other classical first-order model theory
18B40 Groupoids, semigroupoids, semigroups, groups (viewed as categories)


Zbl 0196.031
Full Text: EuDML