Deductive systems and categories

MaRDI QIDQ2774635zbMATH OpenFDO

Authors Kosta Došen

Publication date 26 February 2002

Published in Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Yoneda lemma

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)

Review text

The author gives various definitions of deductive systems and categories and proves certain relations among them. He derives the Stone representation of preorders and the Cayley representation of a monoid from these general considerations. He also gives a generalization of Yoneda's lemma for deductive systems.

Recommendations

• On some connections between logic and category theory
• Publication:4946229
• scientific article; zbMATH DE number 753772
• Point axioms and related conditions in Dedekind categories
• scientific article; zbMATH DE number 4122189

Cited in

(7)

• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 4041863 (Why is no real title available?)
• Deduction as reduction, from a categorical point of view
• scientific article; zbMATH DE number 976352 (Why is no real title available?)
• Minimal Categorical System and Predication Theory In Porphyry
• Representing conjunctive deductions by disjunctive deductions
• On some connections between logic and category theory

This page was built for publication: Deductive systems and categories

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