Algebraic K-theory of Lawvere Theories (24rit024)


(University of Minnesota)

(Universität Regensburg)

(Johns Hopkins University)


The Banff International Research Station will host the “Algebraic K-theory of Lawvere theories” workshop in Banff from July 14 to 28, 2024.

Algebraic $K$-theory is a major subject field within algebraic topology, and has captured the attention of an increasing number of experts since its inception in the 70's. In spite of this, we are still pleasantly surprised when new interactions come to light between algebraic $K$-theory and other seemingly disconnected disciplines. One such example is the relation between $K$-theory and logic, recently discovered in the form of the $K$-theory of Lawvere theories in work of Bohmann--Szymik. This workshop aims to delve further into this relation, and leverage our categorical and algebraic understanding of Lawvere theories to study the implications of this relation on foundational aspects of algebraic $K$-theory, such as the study of multiplicative structures.

The Banff International Research Station for Mathematical Innovation and Discovery (BIRS) is a collaborative Canada-US-Mexico venture that provides an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry. The research station is located at The Banff Centre in Alberta and is supported by Canada’s Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), and Alberta’s Advanced Education and Technology.