scientific article; zbMATH DE number 3783237

MaRDI QIDQ3961629zbMATH OpenFDO

Authors Albert Burroni

Publication date 1981

Full work available at URL http://www.numdam.org/item?id=CTGDC_1981__22_3_249_0, https://eudml.org/doc/91271

zbMATH Keywords

category of graphsdimensionequational categoriesformal language

Mathematics Subject Classification ID

Model theory (03C99) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15) Equational categories (18C05)

Cited in

(16)

• A presentation of topoi as algebraic relative to categories or graphs
• Functorial semantics and HSP type theorems
• On the equational definition of the least prefixed point.
• Monoidal indeterminates and categories of possible worlds
• scientific article; zbMATH DE number 3869560 (Why is no real title available?)
• Every theory is algebraic and topologic
• scientific article; zbMATH DE number 4063333 (Why is no real title available?)
• scientific article; zbMATH DE number 130895 (Why is no real title available?)
• Monoidal indeterminates and categories of possible worlds
• scientific article; zbMATH DE number 1080905 (Why is no real title available?)
• scientific article; zbMATH DE number 2165890 (Why is no real title available?)
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• HSP type theorems in the category of posets
• Pseudo-commutativity of KZ 2-monads
• Higher-dimensional word problems with applications to equational logic
• Partial Horn logic and Cartesian categories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3961629)