Geodesic
Multilinearity of Sketches
Theory and applications of categories, Tome 3 (1997), pp. 267-277.

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

We give a precise characterization for when the models of the tensor product of sketches are structurally isomorphic to the models of either sketch in the models of the other. For each base category K call the just mentioned property (sketch) K-multilinearity. Say that two sketches are K-compatible with respect to base category K just in case in each K-model, the limits for each limit specification in each sketch commute with the colimits for each colimit specification in the other sketch and all limits and colimits are pointwise. Two sketches are K-multilinear if and only if the two sketches are K-compatible. This property then extends to strong Colimits of sketches. We shall use the technically useful property of limited completeness and completeness of every category of models of sketches. That is, categories of sketch models have all limits commuting with the sketched colimits and and all colimits commuting with the sketched limits. Often used implicitly, the precise statement of this property and its proof appears here.
Classification : 18C10, 68Q65, 03C52, 18A25, 68P05.
Keywords: categorical model theory, Ehresmann sketches, data structures. 
@article{TAC_1997_3_a10,
     author = {David B. Benson},
     title = {Multilinearity of {Sketches}},
     journal = {Theory and applications of categories},
     pages = {267--277},
     publisher = {mathdoc},
     volume = {3},
     year = {1997},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_1997_3_a10/}
}
TY  - JOUR
AU  - David B. Benson
TI  - Multilinearity of Sketches
JO  - Theory and applications of categories
PY  - 1997
SP  - 267
EP  - 277
VL  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_1997_3_a10/
LA  - en
ID  - TAC_1997_3_a10
ER  - 
%0 Journal Article
%A David B. Benson
%T Multilinearity of Sketches
%J Theory and applications of categories
%D 1997
%P 267-277
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_1997_3_a10/
%G en
%F TAC_1997_3_a10
David B. Benson. Multilinearity of Sketches. Theory and applications of categories, Tome 3 (1997), pp. 267-277. http://geodesic.mathdoc.fr/item/TAC_1997_3_a10/