Tensor C*-categories are the result of work to recast the fundamental theory of operator algebras in the setting of category theory, in order to facilitate the study of higher-dimensional algebras that are expected to play an important role in a unified model of physics. Indeed, the application of category theory to mathematical physics is itself a highly active field of research. C*-categories are the analogue of C*-algebras in this context. They are defined as norm-closed self-adjoint subcategories of the category of Hilbert spaces and bounded linear operators between them. Much of the theory of C*-algebras and their invariants generalises to C*-categories. Often, when a C*-algebra is associated to a particular structure it is not completely natural because certain choices are involved in its definition. Using C*-categories instead can avoid such choices since the construction of the relevant C*-category amounts to choosing all suitable C*-algebras at once. In this thesis we introduce and study C*-categories for which the set of objects carries topological data, extending the present body of work, which exclusively considers C*-categories with discrete object sets. We provide a construction of K-theory for topological C*-categories, which will have applications in widening the scope of the Baum-Connes conjecture, in index theory, and in geometric quantisation. As examples of such applications, we construct the C*-categories of topological groupoids, extending the familiar constructions of Renault.
Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:707474 |
Date | January 2017 |
Creators | O'Sullivan, David Robert |
Contributors | Mitchener, Paul |
Publisher | University of Sheffield |
Source Sets | Ethos UK |
Detected Language | English |
Type | Electronic Thesis or Dissertation |
Source | http://etheses.whiterose.ac.uk/16775/ |
Page generated in 0.0015 seconds