University of Calgary

Richard Guy loved problems. He loved to share them and to encourage others to explore them. He loved to work with superstars like John Conway and make their ideas accessible to a wider world. But Richard also had a few problems that he obsessed on in...

It is known that the category of affine Lagrangian relations over a field F, of integers modulo a prime p (with p > 2) is isomorphic to the category of stabilizer quantum circuits for p-dits. Furthermore, it is known that electrical circuits...

Cartesian Differential Categories are defined to introduce and study the notion of differential from calculus in a category theory point of view. In a Cartesian Differential Category, morphisms between objects can be « derived », and this...

The Alberta Graduate Mathematics and Statistics Conference (AGMSC) is a conference running from July 6, 2022 – July 8, 2022 hosted by the Graduate University Mathematics Society (GUMS) club at the University of Calgary. This conference is a place for...

This is a report from team Functor Calculus at the 4th Women in Topology conference. In earlier work, K. Hess and B. Johnson invented a way of producing what they call “calculus towers” from comonads. These calculus towers generalize functor calculus...

In 1973, C. I. Lewis published a landmark text developing a theory of counterfactual logics. The primary goal of the text was in providing a logical framework where one could reason about sentences of the form: “if P were true, then Q would be true”...

Vector bundles and principal bundles are important objects in differential geometry. Vector bundles over a manifold M are manifolds that are locally isomorphic to the Cartesian product M times V for some vector space V, while principal bundles over M...

Quillen-Barr-Beck (co)homology is a theory which studies the objects of a category where we can make sense of such notions as “modules” and “derivations”. More precisely, in his thesis, Beck defined a general notion of modules and derivations in a...

Categorical Message Passing Language (CaMPL) is a functional style concurrent programming language with a categorical semantics. In this talk, we explore the categorical semantics, programming syntax, and proof theory representations for CaMPL. This...

A classical Electrical Engineering problem is to determine whether two networks of resistors are equivalent. The standard solution is to use a process of eliminating internal nodes (the star/mesh transformation) which may be seen as a rewriting...