Geodesic
Deductive Systems and Categories
Publications de l'Institut Mathématique, _N_S_64 (1998) no. 78, p. 21 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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 : 18A05 18A10 18A15 
@article{PIM_1998_N_S_64_78_a3,
     author = {Kosta Do\v{s}en},
     title = {Deductive {Systems} and {Categories}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {21 },
     publisher = {mathdoc},
     volume = {_N_S_64},
     number = {78},
     year = {1998},
     zbl = {0999.18001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1998_N_S_64_78_a3/}
}
TY  - JOUR
AU  - Kosta Došen
TI  - Deductive Systems and Categories
JO  - Publications de l'Institut Mathématique
PY  - 1998
SP  - 21 
VL  - _N_S_64
IS  - 78
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1998_N_S_64_78_a3/
LA  - en
ID  - PIM_1998_N_S_64_78_a3
ER  - 
%0 Journal Article
%A Kosta Došen
%T Deductive Systems and Categories
%J Publications de l'Institut Mathématique
%D 1998
%P 21 
%V _N_S_64
%N 78
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1998_N_S_64_78_a3/
%G en
%F PIM_1998_N_S_64_78_a3
Kosta Došen. Deductive Systems and Categories. Publications de l'Institut Mathématique, _N_S_64 (1998) no. 78, p. 21 . http://geodesic.mathdoc.fr/item/PIM_1998_N_S_64_78_a3/