scientific article; zbMATH DE number 3995937

zbMath0615.18001MaRDI QIDQ4723927

René Guitart

Publication date: 1986

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1986__27_4_107_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmsalgebraic theoriesprogram schemeslocally free diagramsesquisses mixteshomotopy type of theoriesmixed sketches

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Graphs, diagram schemes, precategories (18A10) Categories of machines, automata (18B20)

Related Items

Unnamed Item, Unnamed Item, A generalization of the concept of sketch, Unnamed Item, Unnamed Item

Cites Work

• Formulas and ultraproducts in categories
• Une construction universelle des spectres topologies spectrales et faisceaux structuraux
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item