A formal language for formal category theory

Add to your list(s) Download to your calendar using vCal

• Paula Verdugo (Johns Hopkins University)
• Friday 07 June 2024, 09:30-10:30
• External.

If you have a question about this talk, please contact nobody.

TRH - Topology, representation theory and higher structures

Equipments, a special kind of double categories, have shown to be a powerful environment to express formal category theory. We build a model structure on the category of double categories and double functors whose fibrant objects are the equipments, and combine this together with Makkai’s early approach to equivalence invariant statements in higher category theory via FOLDS (First Order Logic with Dependent Sorts) and Henry’s recent connection between model structures and formal languages, to show a result on the equivalence invariance of formal category theory.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• External
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• bld31

Note that ex-directory lists are not shown.