Sökning: "groupoids"
Visar resultat 1 - 5 av 7 avhandlingar innehållade ordet groupoids.
1. The type I and CCR properties for groupoids and inverse semigroups
Sammanfattning : This licentiate thesis consists of one paper about unitary representationtheory of ample groupoids and semigroups together with generalizationsto étale and non-Hausdorff groupoids. In the paper we study algebraically the type I and CCR properties forample Hausdorff groupoids. LÄS MER
2. Amenable-like properties of étale groupoids
Sammanfattning : This thesis consists of three papers related to analytic and representation theoretic properties of étale groupoids.In the first paper, we characterize algebraically the type I and CCR property for ample groupoids and their non-commutative duals: Boolean inverse semigroups. Our results use and generalize Thoma’s work on discrete groups. LÄS MER
3. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory
Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER
4. Modeling mapping spaces with short hammocks
Sammanfattning : We construct a category of short hammocks and show that it has the weak homotopy type of mapping spaces. In doing so we tackle the problem of applying the nerve to large categories without the use of multiple universes. We also explore what the mapping space is. LÄS MER
5. Homotopy Theory and TDA with a View Towards Category Theory
Sammanfattning : This thesis contains three papers. Paper A and Paper B deal with homotopy theory and Paper C deals with Topological Data Analysis. All three papers are written from a categorical point of view.In Paper A we construct categories of short hammocks and show that their weak homotopy type is that of mapping spaces. LÄS MER