A Fields Institute Sponsored Workshop
Recent advances in
category theory and logic:
Applications of traces
to
algebra, analysis and categorical logic
Dept. of Mathematics & Statistics
University
of Ottawa
April 28-30, 2007
Now Includes Talks !
The abstract theory of traces has had a fundamental impact on a
variety of fields within mathematics. These range from functional
analysis and noncommutative geometry to topology and knot theory, and
more recently to logic and theoretical computer science. The theory of
traced monoidal categories, due to Joyal, Street and Verity, is an
attempt to unify various notions of trace that occur in these diverse
branches of mathematics. More recent developments include several
theories of partial traces in monoidal categories.
The Logic and Foundations of Computing Group at the University of
Ottawa, with funding from the Fields Institute, is proud to host a
workshop to explore these topics. The purpose of this workshop is to
bring together researchers in these fields to look for common
developments, models, and applications of trace theory. Among the
applications are various notions of parametrized traces arising in
operator algebras, in the theory of feedback and recursion in
theoretical computer science, in braid closure in knot theory, and in
dynamics of proofs as expressed by Linear Logic and the Geometry of
Interaction.
Invited speakers include:
Contributed
Talks:
Preliminary schedule and Abstracts (will be updated)
Schedule
Minicourses will be given by R. Blute, M. Neufang, and P. Scott
This is intended to be
a
workshop, with student participation in mind, including introductory
lectures.
Anyone interested in attending is requested to contact one of the
organizers by April 10.
We hope to see you there.
Back
to Traces Workshop Mainpage