@Cat Upcoming Talks

The 2017-2018 winter term
as of January 8, 2018



January 9, 2018, Bob Paré, Introduction to double categories
Abstract: I will define double categories and their morphisms and give some examples. I will speculate on why I think they may be useful.

January 16, 2018, Bob Rosebrugh (Mount Allison), Symmetric lenses and cospans
Abstract: A symmetric lens is state synchronization data and synchronization restoration operations between model domains. An asymmetric lens has only one-way data and operations. Some time ago we showed that spans of asymmetric lenses represent symmetric lenses. In the special case that we named (asymmetric) c-lenses the restoration operation satisfies a universal property. We have recently considered cospans of asymmetric lenses. They also generate symmetric lenses and we can now characterize the special case of symmetric lenses which so arise. When the cospan consists of c-lenses then the symmetric lens has a universal property.
(Joint work with Michael Johnson)

January 23, 2018

January 30, 2018, Michael Lambert

February 6, 2018, Frank Fu, An introduction to initial algebraic semantics for data types

February 13, 2018, Marzieh Bayeh, Type inference for quantum lambda calculus

February 20, 2018, Study break

February 27, 2018, Julien Ross, Quantum magic games

March 6, 2018, Evangelia Aleiferi, Spans as cartesian double categories

March 13, 2018, Gabor Lukacs, Long colimits of topological algebras

March 20, 2018, Xiaoning Bian, Relations for Clifford+T operators on two qubits
Abstract: We provide a complete set of relations for Clifford+T operators on two qubits.

March 27, 2018, Fahimeh Bayeh

April 3, 2018, Francisco Rios