The New York City
Category Theory Seminar
Department of Computer Science
Department of Mathematics
The Graduate Center of The City University of New York
365 Fifth Avenue (at 34th Street) map
(Diagonally across from the Empire State Building)
New York, NY 10016-4309
Mondays 6:00 - 7:00 PM.
Room 4421
Contact N. Yanofsky to
schedule a speaker
or to add a name to the
seminar mailing list.
Spring 2010
-
February 22, 2010. Noson S. Yanofsky, Brooklyn College, CUNY
Title: Galois Theory of Algorithms.
Abstract: Programs are a syntactical description for computable functions.
Functions are the semantics of programs. Algorithms are intermediate
between programs and functions
Programs - -> Algorithms - - > Functions.
We investigate how rigid programs are by looking at the group of
automorphism of
programs that preserve functionality. The fundamental theorem of Galois
theory says
that the subgroup lattice of this group is isomorphic to the dual lattice
of intermediate types of algorithms. Only basic category theory is needed
to understand this talk.
March 1, 2010. Joseph Hirsh, The Graduate Center, CUNY
Title: Operads and Homotopy Theory for Algebraic Structures
(Part I).
Abstract: TBA
March 8, 2010. Joseph Hirsh, The Graduate Center, CUNY
Title: Operads and Homotopy Theory for Algebraic Structures
(Part II).
Abstract: TBA
March 15, 2010. Joseph Hirsh, The Graduate Center, CUNY
Title: Operads and Homotopy Theory for Algebraic Structures
(Part III).
Abstract: TBA
Previous Semesters:
Other Category Theory Seminars:
Main Home Page