Fall 2025

Fall 2025

Fall 2025

9/3/2025, Wed. 1-2 pm in AW Smith B01
Speaker: Johnny Taylor (Case Western Reserve University)
Title: Globularly modelling E_infinity Spaces
Abstract: We construct a theory for globular symmetric monoidal infinity-groupoids and begin the
process of using them to model E_infinity spaces.

8/27/2025, Wed. 1-2 pm in AW Smith B01
Speaker: Johnny Taylor (Case Western Reserve University)
Title: Controlled Theories
Abstract: Classically, a Lawvere theory may be presented with generators and relations which determine the structure of its models. This is fine to handle notions of algebras in the category of Sets but fails in higher dimensions due to conflicting structure data in a Lawvere theory. Controlled theories as introduced by the speaker are a framework for
categorical algebra which extends Lawvere theories and consists of generators, relations and an additional control component which includes into the presentation. The control component ensures that the issue of conflicting structure data is non-existent. We begin to show that this extension serves as a natural framework to do higher categorical algebra.