PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 64(78), pp. 21--35 (1998)
DEDUCTIVE SYSTEMS AND CATEGORIES
Kosta Do\v senMatemati\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