University of Birmingham > Talks@bham > Theoretical computer science seminar > Segal-type models of higher categories

## Segal-type models of higher categoriesAdd to your list(s) Download to your calendar using vCal - Simona Paoli (University of Leicester)
- Friday 03 November 2017, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Paul Taylor. Abstract: Higher categorical structures find applications to diverse areas, such as homotopy theory, mathematical physics, logic and computer science, algebraic geometry. I will start this talk with an introduction to higher categories and to some of their connections with homotopy theory. I will then discuss a class of higher categories, called Segal-type models of weak n-categories, which are based on the combinatorics of multi-simplicial sets. This comprise the Tamsamani-Simpson model, as well as two new models which I have introduced, based on a new paradigm to weaken higher categorical structures. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsMathematics Colloquium Condensed Matter Physics Seminars School of Metallurgy and Materials Colloquia## Other talksModelling uncertainty in image analysis. TBC Quantum simulations using ultra cold ytterbium Geometry of alternating projections in metric spaces with bounded curvature Ultrafast, all-optical, and highly efficient imaging of molecular chirality Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems |