![]() |
![]() |
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
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:
Note that ex-directory lists are not shown. |
Other listsMathematics Colloquium Condensed Matter Physics Seminars School of Metallurgy and Materials ColloquiaOther 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 |