Models of sketches
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1986)
- Volume: 27, Issue: 2, page 93-107
- ISSN: 1245-530X
Access Full Article
topHow to cite
topBarr, Michael. "Models of sketches." Cahiers de Topologie et Géométrie Différentielle Catégoriques 27.2 (1986): 93-107. <http://eudml.org/doc/91381>.
@article{Barr1986,
author = {Barr, Michael},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {models of equational theories; sketch; graph; diagrams; models; equivalence relation},
language = {eng},
number = {2},
pages = {93-107},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Models of sketches},
url = {http://eudml.org/doc/91381},
volume = {27},
year = {1986},
}
TY - JOUR
AU - Barr, Michael
TI - Models of sketches
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1986
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 27
IS - 2
SP - 93
EP - 107
LA - eng
KW - models of equational theories; sketch; graph; diagrams; models; equivalence relation
UR - http://eudml.org/doc/91381
ER -
References
top- M. Barr, Exact categories, Lecture Notes in Math.236, Springer (1971), 1-120. Zbl0223.18010
- M. Barr, Representations of categories, J. Pure Appl. Algebra (to appear). Zbl0606.18004MR1394341
- M. Barr & M. Makkai, Representations of Grothendieck toposes, Can. J. Math. Zbl0619.18002MR889111
- M. Barr & C. Wells, Toposes,Triples and Theories, Springer, 1984. Zbl0567.18001MR771116
- A. Bastiani(-EHRESMANN) & C. Ehresmann, Categories of sketched structures, Cahiers Top. et Géom. Diff.XIII-2 (1972), 104-213. Reprinted in "Charles Ehresmann: Oeuvres completes et Commentées" IV-2, Amiens, 1983. MR323856
- Y. Diers, Multimonads and multimonadic categories, J. Pure Appl. Algebra17 (1980) 153-170. Zbl0434.18007MR567065
- C. Ehresmann, Introduction to the theory of structured categories, Techn. Report X, University of Kansas, 1966. Re printed in " Charles Ehresmann: Oeuvres complètes et commentées" IV-1, Amiens, 1982. Zbl0192.10001
- H. Ehrig & B. Mahr, Fundamentals of algebraic specifications 1, Springer, 1985. Zbl0557.68013MR788495
- P. Gabriel & F. Ulmer, Lokal präsentierbare Kategorien, Lecture Notes in Math.221, Springer (1971). Zbl0225.18004MR327863
- J.R. Isbell, General functorial semantics, I, Amer. J. Math.94 (1972), 535-596. Zbl0439.18009MR396718
- G.M. Kelly, On the essentially-algebraic theory generated by a sketch, Bull. Austral. Math. Soc.26 (1982), 45-56. Zbl0488.18001MR679920
- M. Makkai, On full embeddings, I, J. Pure Appl. Algebra16 (1980), 183-195. Zbl0449.18001MR556159
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.