Here is the final list of speakers. No more will be added. As you see we have 19 and that is really too many already. The talks will begin at 9:00 each morning and the Sunday session will end at 2:40. A detailed schedule will be distributed in a few days. Michael Giulio Katis <katis_p@maths.su.oz.au> 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 <> 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> 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> Tau Categories and Logic Programming 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!) Jim Otto <otto@triples.math.mcgill.ca> Categories and complexity Phil Scott <SCPSG@acadvm1.uottawa.ca> Coherence and Undecidability for CCC's Abstract: (Joint Work with M. Okada) We show the equational theory of simply typed lambda calculus with strong natural numbers object is undecidable, thus the coherence problem for equality of arrows in the free ccc with NNO is undecidable. We study the rewriting theory (made equational by Lambek's use of Mal'cev operators) and prove in fact the appropriate lambda calculus is not Church-Rosser, but is Strongly Normalizing. The latter proofs require heavy rewriting techniques. Jonathon Funk <jfunk@morgan.ucs.mun.ca> The display locale of a cosheaf Peter Freyd <pjf@saul.cis.upenn.edu> Hardware design and free allegories. Kimmo Rosenthall <ROSENTHK@gar.union.edu> TBA Martin Markl <> TBA Wim Ruitenburg <wimr@mscs.mu.edu> Yet another constructive logic Andre Joyal <joyal@mipsmath.math.uqam.ca> How to complete a category by freely adjoining all limits and colimits ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Subject: Modules list Note from Moderator: Apologies to subscribers and the network gods for the typing error which resulted in resending the categories and baseball message (the Expos were four games back this morning.) ++++++++++++++++++++++++++++++++++++++++++++++++++++++