Seminars of the CENTRE de RECHERCHE en THEORIE des CATEGORIES CATEGORY THEORY RESEARCH CENTER C ---------> R | / | | / | | / | | / | v / v T ---------> C 16 January 2007 2:30 - 4:00 M Makkai Kleene and Tarski reconciled 23 January 2007 2:30 - 4:00 M Bunge Locally discrete locales (Abstract on webpage) 30 January 2007 2:30 - 4:00 D Bargelli Pregroup grammars and the Chinese verb (Abstract on webpage) 6 February 2007 2:30 - 4:00 M Makkai TBA 20 February 2007 Spring Break 27 February 2007 2:30 - 4:00 J Lambek Some remarks on the categorical foundations of mathematics 6 March 2007 2:30 - 4:00 N Gambino The associated sheaf functor theorem in Algebraic Set Theory (Abstract on webpage) 13 March 2007 2:30 - 4:00 M Makkai Linton theories for algebras of a monad over an arbitrary category are generalizations of Lawvere theories for algebras of a monad over Set 20 March 2007 2:30 - 4:00 N Gambino Quillen model 2-categories (Abstract on webpage) 3 April 2007 2:30 - 4:00 Pieter Hofstra Abstract Computability (Abstract on webpage) 11 Sept 2007 4:00 - 5:00 M Barr Isbell duality I [Abstract on webpage] 18 Sept 2007 2:30 - 4:00 C Casadio Pregroups: Language and Cognition [Abstract on webpage] 25 Sept 2007 4:00 - 5:00 M Barr Isbell duality II [Abstract on webpage] 2 October 2007 2:30 - 4:00 M. Makkai Light entertainment: the Egyptian fractions revisited 4 December 2007 2:30 - 4:00 Telyn Kusalik The Intuitionistic Continuum Hypothesis via Topos Theory