From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4872 Path: news.gmane.org!not-for-mail From: Zinovy Diskin Newsgroups: gmane.science.mathematics.categories Subject: Re: sketch theory Date: Fri, 22 May 2009 22:30:01 -0400 Message-ID: Reply-To: Zinovy Diskin NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1243180070 25926 80.91.229.12 (24 May 2009 15:47:50 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 24 May 2009 15:47:50 +0000 (UTC) To: "Andre.Rodin" , Original-X-From: categories@mta.ca Sun May 24 17:47:43 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1M8FvI-0003nQ-83 for gsmc-categories@m.gmane.org; Sun, 24 May 2009 17:47:40 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1M8FG7-0004pG-Ho for categories-list@mta.ca; Sun, 24 May 2009 12:05:07 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4872 Archived-At: Dear Andrei, Speaking about research programmes, Makkai's generalized sketches should definitely be mentioned. An easy introduction can be found in A Diagrammatic Logic for Object-Oriented Visual Modeling Zinovy Diskin and Uwe Wolter DOI Bookmark: 10.1016/j.entcs.2008.10.041 It provides references to Makkai's papers and some other sources, and briefly describes some history and motivations. You may skip all sentiments about engineering applications, or do just the opposite -- pay attention to them -- at least, this is what granting agencies like. There are two distinctions from Makkai's sketches: a signature of diagram predicates is a category rather than a set, and semantics is given in terms of functors into sketches rather than from them. ZD 2009/5/20 Andre.Rodin : > Dear Charles and others: > > this > > http://www.cwru.edu/artsci/math/wells/pub/pdf/sketch.pdf > > is your very useful overview of Sketch theory dated back to 1993. I wonder how > much it omits today: are there significant research programmes in this field > emerged during last 15 years? What should I look at first of all? Many thanks > in advance. > > Andrei > > > >