University of Calgary

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...

Calgary Elementary School Mathematics Contest (CESMC) invites students to enter in a pilot-project contest. The contest will primarily be for Grade 4, 5, and 6 students attending elementary school in Calgary and surrounding areas. Grade 6 students...

Calgary Elementary School Mathematics Contest (CESMC) invites students to enter in a pilot-project contest. The contest will primarily be for Grade 4, 5, and 6 students attending elementary school in Calgary and surrounding areas. Grade 6 students...