Geodesic
A logic for categories
Theory and applications of categories, Tome 24 (2010), pp. 394-417.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusion (via discrete fibrations and opfibrations) of left and of right actions of X in Cat in categories over X. Namely, a ``weak temporal doctrine'' consists essentially of two indexed functors with the same codomain such that the induced functors have both left and right adjoints satisfying some exactness conditions, in the spirit of categorical logic.The derived logical rules include some adjunction-like laws involving the truth-values-enriched hom and tensor functors, which condense several basic categorical properties and display a nice symmetry. The symmetry becomes more apparent in the slightly stronger context of ``temporal doctrines'', which we initially treat and which include as an instance the inclusion of lower and upper sets in the parts of a poset, as well as the inclusion of left and right actions of a graph in the graphs over it.
Classification : 18A05, 18A30, 18A40, 18D99
Keywords: Temporal doctrine, internally enriched hom, tensor and (co)limits, Frobenius law, adjunction-like laws, quantification formulas 
@article{TAC_2010_24_a14,
     author = {Claudio Pisani},
     title = {A logic for categories},
     journal = {Theory and applications of categories},
     pages = {394--417},
     publisher = {mathdoc},
     volume = {24},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2010_24_a14/}
}
TY  - JOUR
AU  - Claudio Pisani
TI  - A logic for categories
JO  - Theory and applications of categories
PY  - 2010
SP  - 394
EP  - 417
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2010_24_a14/
LA  - en
ID  - TAC_2010_24_a14
ER  - 
%0 Journal Article
%A Claudio Pisani
%T A logic for categories
%J Theory and applications of categories
%D 2010
%P 394-417
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2010_24_a14/
%G en
%F TAC_2010_24_a14
Claudio Pisani. A logic for categories. Theory and applications of categories, Tome 24 (2010), pp. 394-417. http://geodesic.mathdoc.fr/item/TAC_2010_24_a14/