scientific article

zbMath0715.18004MaRDI QIDQ3202285

René Guitart

Publication date: 1990

Full work available at URL: https://eudml.org/doc/91751

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

zbMATH Keywords

cohomologyhomologycategory of modelssketchesfirst order languagecategory of interpretationscohomotopy typesHomotopy types

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Functor categories, comma categories (18A25) Other classical first-order model theory (03C68)

Related Items (1)

On a possible application of the homotopy concept to model theory

Cites Work

• Méthode simpliciale en algèbre homologique et algèbre commutative
• Higher algebraic K-theory: I
• Fibrations de petites catégories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: