From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/910 Path: news.gmane.org!not-for-mail From: rjwood@mscs.dal.ca Newsgroups: gmane.science.mathematics.categories Subject: CT for CS? Date: Mon, 2 Nov 1998 16:55:10 -0400 (AST) Message-ID: <19981102205515Z23968-361+3@mscs.dal.ca> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017321 28260 80.91.229.2 (29 Apr 2009 15:02:01 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:02:01 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Mon Nov 2 17:54:05 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id QAA12026 for categories-list; Mon, 2 Nov 1998 16:58:42 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: ELM [version 2.4 PL24alpha3] Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 17 Xref: news.gmane.org gmane.science.mathematics.categories:910 Archived-At: The new Faculty of Computer Science at Dalhousie is asking Mathematics for new classes and the chairman of Mathematics is willing to suggest a Category Theory class. Is there now a `standard CT for CS class' in the same way that there is a `standard first class in measure theory' and so on? If so, can you advise on 1) text(s), including material to be explicitly covered in a 39 hour class; 2) background required, both for a CS major and a Mathematics major; 3) universities which actually do this --- particularly those with pretensions and realities similar to Dalhousie's? Please send responses directly to me rather than the categories list. I will summarize them for the list. Thanks RJ