Models of sketches

Michael Barr

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1986)

  • Volume: 27, Issue: 2, page 93-107
  • ISSN: 1245-530X

How to cite

top

Barr, 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
  1. M. Barr, Exact categories, Lecture Notes in Math.236, Springer (1971), 1-120. Zbl0223.18010
  2. M. Barr, Representations of categories, J. Pure Appl. Algebra (to appear). Zbl0606.18004MR1394341
  3. M. Barr & M. Makkai, Representations of Grothendieck toposes, Can. J. Math. Zbl0619.18002MR889111
  4. M. Barr & C. Wells, Toposes,Triples and Theories, Springer, 1984. Zbl0567.18001MR771116
  5. 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
  6. Y. Diers, Multimonads and multimonadic categories, J. Pure Appl. Algebra17 (1980) 153-170. Zbl0434.18007MR567065
  7. 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
  8. H. Ehrig & B. Mahr, Fundamentals of algebraic specifications 1, Springer, 1985. Zbl0557.68013MR788495
  9. P. Gabriel & F. Ulmer, Lokal präsentierbare Kategorien, Lecture Notes in Math.221, Springer (1971). Zbl0225.18004MR327863
  10. J.R. Isbell, General functorial semantics, I, Amer. J. Math.94 (1972), 535-596. Zbl0439.18009MR396718
  11. G.M. Kelly, On the essentially-algebraic theory generated by a sketch, Bull. Austral. Math. Soc.26 (1982), 45-56. Zbl0488.18001MR679920
  12. M. Makkai, On full embeddings, I, J. Pure Appl. Algebra16 (1980), 183-195. Zbl0449.18001MR556159

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.