References

  1. M. Barr & C. Wells (1990): Category Theory for Computing Sciences. Prentice Hall International Series.
  2. M. Barr & C. Wells (2005): Toposes, Triples and Theories. Reprints in Theory and Applications of Categories 12, pp. 1–287. Available at http://www.case.edu/artsci/math/wells/pub/pdf/ttt.pdf.
  3. Z. Diskin & U. Wolter (2008): A Diagrammatic Logic for Object-Oriented Visual Modeling. Electr. Notes Theor. Comput. Sci. 203(6), pp. 19–41, doi:10.1016/j.entcs.2008.10.041.
  4. H. Ehrig, K. Ehrig, U. Prange & G. Taentzer (2006): Fundamentals of Algebraic Graph Transformations. Springer.
  5. H. Ehrig & B. Mahr (1985): Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer-Verlag Berlin, Heidelberg.
  6. Hartmut Ehrig, M. Grosse-Rhode & U. Wolter (1998): Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Applied Categorical Structures 6, pp. 1–35, doi:10.1023/A:1008688122154.
  7. Peter Freyd (1972): Aspects of Topoi. Bull. Austral. Math. Soc. 7, pp. 1–76, doi:10.1017/S0004972700044828.
  8. Robert Goldblatt (1984): Topoi: The Categorial Analysis of Logic. Dover Publications.
  9. A. Grothendieck (1959): Techniques de descente et théoremes d'existence en géometrie algébraique, I. Géneralités. Séminaire Bourbaki 190.
  10. T. Heindel & P. Sobocinski (2009): Van Kampen Colimits as Bicolimits in Span. In: A. Kurz, M. Lenisa & A. Tarlecki: Algebra and Coalgebra in Computer Science, Lecture Notes in Computer Science 5728. Springer Berlin / Heidelberg, pp. 335–349, doi:10.1007/978-3-642-03741-2_23.
  11. G Janelidze & W. Tholen (1994): Facets of Descent I. Applied Categorical Structures 2, pp. 245–281, doi:10.1007/BF00878100.
  12. Peter Johnstone (2002): Sketches of an Elephant A Topos Theory Compendium, Volume 1. Oxford Science Publication.
  13. S. Lack & P. Sobociński (2004): Adhesive Categories. In: Foundations of Software Science and Computation Structures (FoSSaCS '04) 2987. Springer, pp. 273–288, doi:10.1007/978-3-540-24727-2_20.
  14. S. Lack & P. Sobociński (2006): Toposes are Adhesive. LNCS 4178, pp. 184–198, doi:10.1007/11841883_14.
  15. Michael Löwe (2010): Graph Rewriting in Span Categories. In: Proceedings of the ICGT, Lecture Notes in Computer Science 6372. Springer, pp. 218–233, doi:10.1007/978-3-642-15928-2_15.
  16. Michael Löwe (2010): Van-Kampen Pushouts for Sets and Graphs. Technical Report. University of Applied Sciences, FHDW Hannover.
  17. Adrian Rutle, Uwe Wolter & Yngve Lamo (2008): A Diagrammatic Approach to Model Transformations. In: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS 2008). ACM, pp. 1–8, doi:10.1145/1621087.1621105.
  18. P. Soboczińsky (2004): Deriving Process Congruences from Reaction Rules. Technical Report DS-04-6. BRICS Dissertation Series.
  19. U. Wolter & Z. Diskin (2007): From Indexed to Fibred Semantics – The Generalized Sketch File –. Reports in Informatics 361. Dep. of Informatics, University of Bergen.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org