Seminars of the

           CENTRE de RECHERCHE en THEORIE des CATEGORIES
                 CATEGORY THEORY RESEARCH CENTER

                       C  --------->  R

                       |           /  |
                       |         /    |
                       |       /      |
                       |     /        |
                       v   /          v

                       T  --------->  C


2015


27 January 2015
 2:30 - 4:00   Martino Lupini (York U)
 Polish groupoids and functorial complexity
 [Abstract on webpage]


10 February 2015
 2:30 - 4:00   M. Makkai (McGill)
 2-exactness: a study in 2-dimensional categorical logic
 [Abstract on webpage]


17 February 2015
 2:30 - 4:00   P. Hofstra (Ottawa)
 Isotropy and monoidal structures on toposes.
 [Abstract on webpage]


20-21 February 2015 
 Vision de l'espace: hommage à Alexander Grothendieck
 (at Université de Montréal)
 [Details on webpage]


24 February 2015
 2:30 - 4:00   R. Raphael (Concordia)
 The Countable Lifting Property for C(X)
 [Abstract on webpage]


3 March 2015
 2:30 - 4:00   M. Makkai (McGill)
 Grothendieck's concept of pretopos: its role in algebraic geometry
 and in logic (Lecture 2)
 [Abstract on webpage]


10 March 2015
 2:30 - 4:00   M. Makkai (McGill)
 Grothendieck's concept of pretopos: its role in algebraic geometry
 and in logic (Lecture 3)
 [Abstract on webpage]


24 March 2015
 2:30 - 4:00   M. Makkai (McGill)
 Syntax in categorical logic
 [Abstract on webpage]


31 March 2015
 2:30 - 4:00   W. Boshuck
 Models and algebras
 [Abstract on webpage]


7 April 2015
 2:30 - 4:00   M. Makkai (McGill)
 Generalized sketches for syntax and semantics I
 [Abstract on webpage]


14 April 2015
 2:30 - 4:00   M. Makkai (McGill)
 Generalized sketches for syntax and semantics II


21 April 2015
 2:30 - 4:00   M. Makkai (McGill)
 Generalized sketches for syntax and semantics III
 [Abstract and notes on webpage]




                     McGill Logic, Category
                    Theory, and Computation
                            Seminar


 15 Sept 2015
 2:30 - 4:00   M. Sabok (McGill)
 Organizational Meeting (30 min)
 Invitation to the descriptive set-theoretical complexity theory


 22 Sept 2015
 2:30 - 3:30   M. Sabok (McGill)
 Invitation to the descriptive set-theoretical complexity theory II


 29 September 2015
 2:30 - 4:00   P. Panangaden (McGill)
 Logical Characterization of Probabilistic Bisimulation for Labelled
 Markov Processes 
 [Abstract on webpage]

 6 October 2015
 2:30 - 4:00   Michael Pawliuk (U Toronto)
 Amenability and Unique Ergodicity of Automorphism Groups of
 Homogeneous Directed Graphs
 [Abstract on webpage]

 13 October 2015
 2:30 - 4:00   M. Makkai (McGill)
 Isomorphism of countable structures and infinitary logic
 [Abstract on webpage]

 27 October 2015
 2:30 - 4:00   Michael Barr
 2 Thirty minute talks
 [Abstract on webpage]

 31 October - 1 November 2015
 Octoberfest, Ottawa

 Tuesday, 3 November 2015
 2:30 - 4:00   Brendan Fong
 Decorated cospans, corelations, and electrical circuits
 [Abstract on webpage]

 Friday, 6 November 2015
 2:30 - 4:00   David Bradley-Williams (University of Central Lancashire)
 Location: BH 1214
 Reducts of Tree-like structures
 [Abstract on webpage]

 Tuesday, 10 November 2015
 2:30 - 4:00  R. Raphael (Concordia)
 "By an easy induction..."
 [Abstract on webpage]

 Tuesday, 17 November 2015
 2:30 - 4:00   Julien Melleray (Lyon)
 The simplex of invariant measures of a minimal homeomorphism
 [Abstract on webpage]

 4 - 7 December 2015
 2015 CMS Winter Meeting in Montreal
 Scientific sessions on Descriptive Set Theory and Logic, Category 
 Theory and Computation, among other topics.