* BarrFest Schedule
@ 1997-05-24 19:41 categories
0 siblings, 0 replies; only message in thread
From: categories @ 1997-05-24 19:41 UTC (permalink / raw)
To: categories
Date: Sat, 24 May 1997 09:29:52 -0400
From: Robert A. G. Seely <rags@triples.math.mcgill.ca>
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
<ftp://triples.math.mcgill.ca/ctrc.html>
- 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1997-05-24 19:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-05-24 19:41 BarrFest Schedule categories
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).