University of Calgary

Bicategories are an important aspect of modern category theory and provide the first instance of “category theory up to coherent isomorphism” we see when hiking up Mount Higher Category Theory. In this talk I will introduce the notion of bicategories...

Originally distributions were introduced in PDE-theory to generalize the notion of functions. However, this analytical concept also has some purely algebraic properties, which are worth considered. In particular, they are an important example of...

Hysteresis, a phenomenon in which the response of a system lags behind and depends on its past history, has been used to understand various psychosocial phenomena, including abrupt shifts in opinion dynamics, political polarization, and more. The aim...

Using Banach’s contractive principle and Leray–Schauder’s fixed point theorem, we study the uniqueness and existence for a new nonlinear fractional differential equation with functional boundary condition based on the two-parameter Mittag-Leffler...

M2PI matches graduate students and postdoctoral fellows with industry partners to engage in a two week long collaboration to solve an industrial mathematics challenge. M2PI participants gain valuable skills making them ready to work in non-academic...

Local Arthur packets are sets of representations of p-adic groups that help us realize important classes of automorphic forms. They have geometric analogues, called ABV-packets. This was first proposed for p-adic groups by David Vogan following his...

Overloading, which allows functions to exhibit different behaviors based on the types involved, is one of the most useful facilities of a typed programming language. In the Haskell programming language, this facility is provided by type classes. Type...

Reversible Knitting is a specialized branch of knitting focussed on creating fabric that looks beautiful on both sides, lies flat and doesn’t curl, and has a wonderful hand feel and texture. It is technically intriguing, creatively satisfying, and...

Coalgebraic modal logic is a set of approached to modal semantics that defines frames and models as coalgebras for a functor. This approach has captured the traditional notions of Kripke and Neighbourhood frames, as well as many other types of...

In this talk, I will report on joint work in progress (with Robin Cockett and Ben MacAdam) on how the additive bundle construction (almost) equips the category Lex of lex categories with a tangent category structure. Let Lex be the category of (small...