AMS Sectional Meeting Program by Special Session

Current as of Tuesday, April 12, 2005 15:10:12

Associate secretaries:
Susan J Friedlander, AMS susan@math.northwestern.edu

Saturday September 23, 2000, 9:00 a.m.-11:25 a.m.
Special Session on Applied Categorical Structures, I
Room 2173, Medical Sciences Building
Organizers:
Joan Wick Pelletier, York University jwpell@yorku.ca
Walter Tholen, York University walter.tholen@mathstat.yorku.ca
- 9:00 a.m.
  Higher category theory.
  Andre Joyal*, UQAM Universit\'e du Qu\'ebec \`a Montr\'eal
  (957-18-235)
- 9:30 a.m.
  Some absolute pullbacks and pushouts in $\boldsymbol{\Delta}$.
  Myles Tierney*, Rutgers University
  (957-18-76)
- 10:00 a.m.
  Nerves of Bicategories: Morphisms and Simplicial Maps.
  John W Duskin*, State University of New York at Buffalo
  (957-18-198)
- 10:30 a.m.
  Higher fundamental functors in some categories of presheaves.
  Marco Grandis*, Dipartimento di Matematica, Univ. di Genova, I
  (957-18-39)
- 11:00 a.m.
  A higher dimensional homotopy sequence.
  Marco Grandis, Universita' di Genova
  Enrico Vitale*, Universite' catholique de Louvain
  (957-18-77)

Saturday September 23, 2000, 3:00 p.m.-5:25 p.m.
Special Session on Applied Categorical Structures, II
Room 2173, Medical Sciences Building
Organizers:
Joan Wick Pelletier, York University jwpell@yorku.ca
Walter Tholen, York University walter.tholen@mathstat.yorku.ca
- 3:00 p.m.
  Relating realizability using sheaves.
  Steve Awodey*, Carnegie Mellon University
  Andrej Bauer, Carnegie Mellon University
  Dana S Scott, Carnegie Mellon University
  (957-18-59)
- 3:30 p.m.
  Relative and Modified Relative Realizability.
  Lars Birkedal*, The IT University of Copenhagen
  Jaap van Oosten, Dept. of Mathematics, Utrecht University
  (957-18-51)
- 4:00 p.m.
  Certain spans of sketches model problems of complexity NP.
  David B Benson*, Washington State University
  (957-68-123)
- 4:30 p.m.
  Monads and Structure.
  John L. MacDonald*, University of British Columbia
  (957-18-61)
- 5:00 p.m.
  Modelling a sketch in an object in a 2-category.
  Michael Johnson, Macquarie University
  Robert Rosebrugh, Mount Allison University
  R. J. Wood*, Dalhousie University
  (957-18-214)

Sunday September 24, 2000, 9:00 a.m.-11:25 a.m.
Special Session on Applied Categorical Structures, III
Room 2173, Medical Sciences Building
Organizers:
Joan Wick Pelletier, York University jwpell@yorku.ca
Walter Tholen, York University walter.tholen@mathstat.yorku.ca
- 9:00 a.m.
  Dominances and Spread Completions.
  Marta C Bunge*, McGill University, Department of Mathematics and Statistics
  (957-18-140)
- 9:30 a.m.
  A summary report on the state of our knowledge of weak higher dimensional categories.
  Michael Makkai*, McGill University
  (957-18-157)
- 10:00 a.m.
  Game theory revisited: categorical proof theories for games.
  J. Robin B. Cockett*, University Of Calgary
  (957-18-30)
- 10:30 a.m.
  Open problems on finiteness and their counting measures.
  Mbila-Mambu Mawanda*, Roma, LESOTHO
  (957-18-204)
- 11:00 a.m.
  Toposes and Continuum Microphysics.
  F. William Lawvere*, SUNY Buffalo
  (957-18-19)

Sunday September 24, 2000, 2:00 p.m.-4:55 p.m.
Special Session on Applied Categorical Structures, IV
Room 2173, Medical Sciences Building
Organizers:
Joan Wick Pelletier, York University jwpell@yorku.ca
Walter Tholen, York University walter.tholen@mathstat.yorku.ca
- 2:00 p.m.
  Injective hulls of partially ordered monoids.
  J. Lambek*, McGill University
  (957-06-218)
- 2:30 p.m.
  Monoreflections in categories of ordered rings.
  James J Madden*, Wesleyan Univ. \& Louisiana State Univ.
  (957-18-199)
- 3:00 p.m.
  Finitely productive classes of uniform spaces which generate cartesian-closed categories.
  Gloria Tashjian*, Worcester, MA
  (957-18-132)
- 3:30 p.m.
  Free Double Categories and the Word Problem for Groups.
  Robert Par\'e*, Dalhousie University
  Robert MacG. Dawson, Saint Mary's University
  (957-18-90)
- 4:00 p.m.
  Flat covers and factorizations.
  Jiri Rosicky*, Masaryk University
  (957-18-107)
- 4:30 p.m.
  On the pivotal, symmetric case of involutory Hopf objects.
  Fernando J. O. Souza*, Theoretical Division, T6, Los Alamos National Lab.
  (957-18-265)

Inquiries: meet@ams.org