From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: BarrFest Schedule
Date: Sat, 24 May 1997 16:41:31 -0300 (ADT) [thread overview]
Message-ID: <Pine.OSF.3.90.970524164045.19323A-100000@mailserv.mta.ca> (raw)
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
reply other threads:[~1997-05-24 19:41 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.970524164045.19323A-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).