From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/388 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: BarrFest Schedule Date: Sat, 24 May 1997 16:41:31 -0300 (ADT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016935 25530 80.91.229.2 (29 Apr 2009 14:55:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:35 +0000 (UTC) To: categories Original-X-From: cat-dist Sat May 24 16:43:05 1997 Original-Received: by mailserv.mta.ca; id AA17375; Sat, 24 May 1997 16:41:31 -0300 Original-Lines: 61 Xref: news.gmane.org gmane.science.mathematics.categories:388 Archived-At: Date: Sat, 24 May 1997 09:29:52 -0400 From: Robert A. G. Seely Here is the (reasonably final) schedule of talks for the BarrFest meeting in Montreal May 29 - 31. Details of the meeting (as well as a PS file of the schedule) are available from the Categories (Montreal) group's WWW site - Robert Seely ------------------- Barrfest Schedule May 29-31, 1997 THURSDAY 9:00- 9:55 Murray Gerstenhaber Developments from Barr's thesis 10:00-10:25 George Janelidze On Barr's results on Galois theory in topoi, and further developments from topoi to general categories 11:00-11:55 Fred E J Linton HomB ( B B ) and all that 12:00-12:25 Noson Yanofsky Obstructions to Coherence - Lunch 1:30- 2:25 Jack Duskin Higher Dimensional Non-Abelian Cohomology via Cotriples 2:30- 3:25 Donovan VanOsdol Barr, Cobar, and Koszul 4:00- 4:25 Marta Bunge Admissible KZ-doctrines: overview and examples 4:30- 4:55 Jonathon Funk A bicomma object condition for KZ-doctrines 5:05- 6:00 Jim Lambek Diagram chasing in ordered categories with involution FRIDAY 9:00- 9:55 Saunders MacLane Triples versus Universal Algebra 10:00-10:25 Hongde Hu Coherence completions, free bicompletion and Chu construction 11:00-11:25 Vaughan Pratt Chu Spaces as Universal Algebras 11:30-12:25 Peter Chu Torsion theory in Rings with several objects - Lunch 1:30- 2:25 John Power Sketches 2:30- 3:25 John Kennison Solution manifolds for differential equations 4:00- 4:25 Ieke Moerdijk Barr's covering theorem and coherent Hausdorff topoi 4:30- 4:55 Walter Tholen Functorial factorization, well-pointedness and separability 5:05- 6:00 Myles Tierney 2-torsors, 2-descent, etc 6:45- ? Dinner Thompson House SATURDAY 9:00- 9:55 Charles Wells Graph Based Logic and Equational Logic 10:00-10:25 Dorette Pronk Simplicial Cohomology of Orbifolds 11:00-11:55 James Otto Presenting LCC categories by answering queries 12:00-12:25 Francois Lamarche Chu spaces and denotational semantics - Lunch 1:30- 2:25 Michael Makkai A somewhat personal overview of regular categories 2:30- 2:55 Robin Cockett Montreal summers need not be listless 3:00- 3:25 Robert Seely Linearly distributive functors 4:00- 4:25 Richard Blute Nuclear Ideals in Tensored *-categories 4:30- 4:55 Bernhard Banaschewski A uniform view of real compactness 5:05- 6:00 Peter Freyd Cartesian Logic, Alternation Logic