From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3800 Path: news.gmane.org!not-for-mail From: Robert Seely Newsgroups: gmane.science.mathematics.categories Subject: CT2007 slides Date: Tue, 26 Jun 2007 10:53:09 -0400 (EDT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019531 10348 80.91.229.2 (29 Apr 2009 15:38:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:51 +0000 (UTC) To: Categories List Original-X-From: rrosebru@mta.ca Tue Jun 26 13:06:22 2007 -0300 X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 26 Jun 2007 13:06:22 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I3DT6-00031J-TL for categories-list@mta.ca; Tue, 26 Jun 2007 13:00:40 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 28 Xref: news.gmane.org gmane.science.mathematics.categories:3800 Archived-At: I have put my slides for my CT2007 talk on my website www.math.mcgill.ca/rags/ partly for the benefit of those who asked me to, but mainly as an encouragement to the other speakers, whose slides would be very welcome to many of us who attended the meeting, and perhaps even more welcome to those who didn't. (Perhaps the organisers could set up a page of slides, as was done for CT2006.) Re the content of my own slides: I have added three slides from my FMCS 2007 talk which show how the comonad S (or !) arises naturally from the additive structure; together with a result we (B.C.S.) proved during the CT2007 meeting, this goes a long way to answering (in the affirmative) a question of Anders Kock as to whether the differential structure in a differential category is "property" rather than "structure". If you are interested in this material you should look at our MSCS paper "Differential Categories" (linked on my webpage, where you will find my slides from my 2006 talks as well, which fill in more of the story). -= rags =- --