PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 64(78), pp. 2135 (1998) 

DEDUCTIVE SYSTEMS AND CATEGORIESKosta Do\v senMatemati\v cki institut, Kneza Mihaila 35, Beograd, YugoslaviaAbstract: 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. Prooftheoretically, this means identifying a proposition with a set of deductions. The results reached here are related to two wellknown 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
