EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 64(78), pp. 21--35 (1998)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

DEDUCTIVE SYSTEMS AND CATEGORIES

Kosta Do\v sen

Matemati\v cki institut, Kneza Mihaila 35, Beograd, Yugoslavia

Abstract: This is an attempt to motivate the introduction of the notions of deductive system (graph with identity arrows and composition) and category through identifying objects with sets of arrows having them as source or as target. Proof-theoretically, this means identifying a proposition with a set of deductions. The results reached here are related to two well-known representations in universal algebra and to the Yoneda Lemma.

Classification (MSC2000): 18A05, 18A10, 18A15

Full text of the article:

Electronic fulltext finalized on: 6 Apr 2000. This page was last modified: 16 Nov 2001.

© 2000 Mathematical Institute of the Serbian Academy of Science and Arts
© 2000--2001 ELibM for the EMIS Electronic Edition