Geodesic
On the Limitations of Sketches
Canadian mathematical bulletin, Tome 35 (1992) no. 3, pp. 287-294

Voir la notice de l'article provenant de la source Cambridge University Press

Call a category "sketchable" if it is the category of models in sets of some sketch. This paper explores the subtle boundary between sketchable and non-sketchable categories. We show that the category of small categories that have at least one initial object and functors that take an initial object to an initial object is sketchable. The same is true for weak initial objects, but is false for subinitial objects (that every object has at most one arrow to). Analogous results hold if we substitute finite limits for terminal object. We also show that the category of groups and center-preserving homomorphisms is not sketchable. We describe briefly how "higher-order" sketches can fill these gaps.
DOI : 10.4153/CMB-1992-040-7
Mots-clés : 18C10, 18A10, accessible categories, regular categories, embeddings 
Barr, Michael; Wells, Charles. On the Limitations of Sketches. Canadian mathematical bulletin, Tome 35 (1992) no. 3, pp. 287-294. doi: 10.4153/CMB-1992-040-7
@article{10_4153_CMB_1992_040_7,
     author = {Barr, Michael and Wells, Charles},
     title = {On the {Limitations} of {Sketches}},
     journal = {Canadian mathematical bulletin},
     pages = {287--294},
     year = {1992},
     volume = {35},
     number = {3},
     doi = {10.4153/CMB-1992-040-7},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1992-040-7/}
}
TY  - JOUR
AU  - Barr, Michael
AU  - Wells, Charles
TI  - On the Limitations of Sketches
JO  - Canadian mathematical bulletin
PY  - 1992
SP  - 287
EP  - 294
VL  - 35
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1992-040-7/
DO  - 10.4153/CMB-1992-040-7
ID  - 10_4153_CMB_1992_040_7
ER  - 
%0 Journal Article
%A Barr, Michael
%A Wells, Charles
%T On the Limitations of Sketches
%J Canadian mathematical bulletin
%D 1992
%P 287-294
%V 35
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1992-040-7/
%R 10.4153/CMB-1992-040-7
%F 10_4153_CMB_1992_040_7

Barr, M. and Wells, C., Toposes, Triples and Theories , Grundlehren der math. Wissenschaften Springer- Verlag, Berlin, Heidelberg, New York, 1985. Google Scholar

Barr, M. and Wells, C., Category Theory for Computing Science , Prentice Hall International, Hemel Hempstead, 1990. Google Scholar

Lair, C., Catégories modelables et catégories esquissables , Diagrammes, 6, 1981. Google Scholar

Makkai, M. and Paré, R., Accessible Categories: The Foundations of Categorical Model Theory , Contemporary Mathematics, 1989, Amer. Math. Soc, Providence, RI, USA. Google Scholar

Power, A. J. and Wells, C., A formalism for the specification of essentially-algebraic structures in 2-categories, Preprint, Department of Mathematics, Case Western Reserve University, Cleveland, OH 44106 (1990). Google Scholar

Wells, C., A generalization of the concept of sketch, Theoretical Computer Science 70 (1990), 159–178. Google Scholar

Wells, C. and Barr, M., The formal description of data types using sketches , In Mathematical Foundations of Programming Language Semantics, M. Main, A. Melton, M. Mislove and D. Schmidt, editors, Lecture Notes in Computer Science Springer-Verlag, 1988. Google Scholar

Cité par Sources :