University of Calgary

Moses Schonfinkel invented “combinatory logic” — aka combinatory algebra (CA ) — in 1920. It consisted of a binary operation and two constants S and K (called combinators by Haskell Curry who further investigated CAs in the 1950s) which satisfy just...

In this talk, I will summarize the research on enriched algebraic theories, monads, and varieties that I produced with Rory Lucyshyn-Wright during my previous postdoctoral fellowship at Brandon University. I will start by providing a historical...

Imagery in M.C. Escher's graphic works not only makes obvious use of geometry, but often provides visual metaphors for abstract mathematical concepts. Again and again Escher strived to capture the concept of infinity. He was also fascinated by and a...

In 1909, Thue proved that when $F(x,y) \in \mathbb{Z}[x,y]$ is irreducible, homogeneous, and has degree at least 3, the inequality $|F(x,y)| \leq h$ has finitely many integer-pair solutions for any positive $h$. Because of this result, the inequality...

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

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

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

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

A partial monoid is a set A with a multiplication and a unit, but the multiplication is only defined on a certain subset of pairs. This means the multiplication m:AxA -> A is a partial map, a map that is only defined on a certain subset of its domain...