Skip to main content

Abstracts for Abstract Homotopy Theory Seminar

Alternatively have a look at the program.

Pasting diagrams beyond acyclicity

Posted in
Speaker: 
Amar Hadzihasanovic
Zugehörigkeit: 
Tallinn University of Technology
Datum: 
Mit, 07/02/2024 - 12:00 - 13:00
Location: 
MPIM Seminar Room

Many of the available algebro-combinatorial frameworks for presenting pasting diagrams, or more general diagrams in n-categories, rely on a global acyclicity
condition to ensure that a "combinatorial diagram" is equivalent to the n-functor that it presents.
This is somewhat inconvenient, as global properties tend to be unstable, and many diagrams that arise in practice are not acyclic.
In my talk, I would like to give an overview of the combinatorics of higher-dimensional diagrams when (global) acyclicity is relaxed to (local) "regularity",

Commutative semirings and bispans

Posted in
Speaker: 
Rune Haugseng
Zugehörigkeit: 
NTNU Trondheim
Datum: 
Mit, 13/03/2024 - 11:00 - 12:00
Location: 
MPIM Seminar Room

Commutative rings are commutative algebra objects in abelian groups, but they can also be viewed as models of a Lawvere theory. If we don't insist on having inverses for addition, this admits a nice description: commutative semirings are product-preserving functors to sets from a category of "bispans" of finite sets. In this talk I will explain an infinity-categorical version of this comparison; in particular, using results of Gepner-Groth-Nikolaus, we can describe connective commutative ring spectra in terms of bispans of finite sets.

Higher internal category theory

Posted in
Speaker: 
Raffael Stenzel
Zugehörigkeit: 
MPIM
Datum: 
Mit, 20/03/2024 - 11:00 - 12:00
Location: 
MPIM Seminar Room

Results which concern the classification of parametrized structures over a given base by means of internal constructions within that base are fairly ubiquitous in homotopy theory. These internalization results are generally formal consequences of reflection properties of an associated externalization functor (that is, usually, some kind of Yoneda embedding). In this talk, we use a suitable externalization functor to define the $(\infty,2)$-category of $\infty$-categories internal to some base $C$.

Duality for generalized algebraic theories

Posted in
Speaker: 
Jonas Frey
Zugehörigkeit: 
Carnegie Mellon University, Pittsburgh
Datum: 
Die, 30/04/2024 - 12:45 - 14:00
Location: 
MPIM Lecture Hall

Gabriel-Ulmer duality is a contravariant biequivalence between small finite-limit categories and locally finitely presentable categories, which in the spirit of Lawvere's functorial semantics can be viewed as a *theory-model duality*: small finite-limit categories C are viewed as theories, and the lfp category FL(C, Set) of finite-limit preserving Set-valued functors is viewed as category of models of of C. The opposite of C can be reconstructed up to equivalence from Lex(C,Set) as full subcategory of *compact* objects. 

Why Fibrations are Cool!

Posted in
Speaker: 
Nima Rasekh
Zugehörigkeit: 
MPIM
Datum: 
Mit, 08/05/2024 - 13:00 - 14:00
Location: 
MPIM Lecture Hall

 

The aim of this talk is to see why fibrations are useful when trying to do higher category theory.

A directed version of homotopy colimits

Posted in
Speaker: 
Hadrian Heine
Zugehörigkeit: 
University of Oslo
Datum: 
Mon, 07/10/2024 - 11:00 - 13:00
Location: 
MPIM Seminar Room

In my talk I will discuss a variant of lax colimit and lax limit for diagrams of weak (infinity, infinity)-categories thought of as directed homotopy types. I will demonstrate that this notion is appropriate to perform directed analogues of classical constructions of homotopy theory like suspensions, loop spaces and homotopy fibers, and therefore may be thought of as a directed version of homotopy colimits and homotopy limits. This is joint work with David Gepner.

A formal language for formal category theory

Posted in
Speaker: 
Paula Verdugo
Zugehörigkeit: 
MPIM
Datum: 
Mon, 18/11/2024 - 11:00 - 12:00
Location: 
MPIM Seminar Room

Equipments, a special kind of double categories, have shown to be a powerful environment to express formal category theory.

(Equivariant) commutative ring spectra and infty-categories of bispans

Posted in
Speaker: 
Tobias Lenz
Zugehörigkeit: 
Universität Bonn
Datum: 
Mon, 02/12/2024 - 11:00 - 12:00
Location: 
MPIM Seminar Room

By now, we know various equivalent pointset level and higher categorical models of "coherently commutative monoids." One particularly conceptually simple approach is to define them as product preserving functors out of an $\infty$-category Span(Fin) of spans (aka correspondences) of finite sets. In more fancy terms, this identifies Span(Fin) as the Lawvere theory of (higher categorical) commutative monoids.

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A