In the past, most people who wanted to talk at the meeting told me about it at the last minute. Increasingly, people have asked in advance for a slot. Unless I have lost some, I have so far 11 requests. There is a practical limit of about 15, since we have to finish early enough on Sunday to allow people to return home. Below are the requests I have so far, names, email addresses, titles or descriptions and abstracts or any other relevant information on the talks. If you have made a request, be sure to check if you are on the list. If you want to request a slot, do not tarry. The order below is in the order I received them, BTW. Michael Giulio Katis <katis_p@maths.su.oz.au> working on Cauchy completion Jonathan Smith <jdhsmith@pollux.math.iastate.edu> Duality for semilattice representations (with A. Romanowska) We present general machinery for extending a duality between complete, cocomplete concrete categories to a duality between corresponding categories of semilattice representations. This enables known dualities to be regularised. Among the applications, regularised Lindenbaum-Tarski duality shows that the weak extension of Boolean logic (i.e. the semantics of PASCAL-like programming languages) is the logic for semilattice-ordered systems of sets. Another application enlarges Pontryagin duality by regularising it to obtain duality for commutative inverse Clifford monoids. Till Plewe <> on when a locale product of metrizable spaces is spatial Rick Blute <RBLUTE@acadvm1.uottawa.ca> Contextual Logic (joint with Robert Seely and Robin Cockett) Andreas Blass <ablass@math.lsa.umich.edu> TBA Djordje Cubric <cubric@triples.math.mcgill.ca> Interpolation property for bicartesian closed categories Bob Gordon <gordon@euclid.math.temple.edu> Enrichment Through Variation (joint with John Power) L Gaunce Lewis Jr <gaunce@ichthus.syr.edu> a talk about the equivariant Freudenthal suspension theorem One of those nice situations when just a little touch of category theory cleans up a mess in topology. Richard Wood <rjwood@cs.dal.ca> Distributive adjoint strings Stacy Finkelstein <stacy@saul.cis.upenn.edu> TBA Robin Cockett <robin@cpsc.ucalgary.ca> Copy Categories. These are symmetric monoidal categories in which every object has a natural coassociative cocommutative comultiplication -- but no (natural) counit. Examples include the category of partial maps of a finitely complete category, the Kleisli category of the exception monad of a distributive category, ... I shall describe the category of "formal propositions" of a copy category and why this gives insight into the embedding of a distributive category into an extensive category (its the 2-category theory behind it!)
participants (1)
-
barr@triples.Math.McGill.CA