Logic Seminar - Eric Finster
| Dates: | 3 December 2025 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Current University students |
|---|
|
Speaker: Eric Finster (University of Birmingham)
Type Theoretic Presentations of Higher Categorical Structures
Since the introduction of Homotopy Type Theory, it has been realized that many higher categorical structures can be given presentations using the notation and style of dependent type theory. Presentations of this sort provide these complex structures with a compact and systematic notation and lend themselves quite well to computer implementation and manipulation. They additionally provide new means of proof: induction on syntax in the style of the computer scientist, as contrasted with the combinatorial flavour of proofs involving semantic models. In this talk, I will survey some definitions along these lines and ideas which arise from a type theoretic perspective on higher algebraic structures.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
