Search for dissertations about: "Category theory"
Showing result 1  5 of 153 swedish dissertations containing the words Category theory.

1. Homotopy Theory and TDA with a View Towards Category Theory
Abstract : 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. READ MORE

2. Relations in Dependent Type Theory
Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of MartinLöf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE

3. Hopf and Frobenius algebras in conformal field theory
Abstract : There are several reasons to be interested in conformal field theories in two dimensions. Apart from arising in various physical applications, ranging from statistical mechanics to string theory, conformal field theory is a class of quantum field theories that is interesting on its own. First of all there is a large amount of symmetries. READ MORE

4. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
Abstract : In this licentiate thesis we present a proof of the initiality conjecture for MartinLöf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE

5. Essays on Econometric Theory
Abstract : This dissertation contains a variety of contributions to econometric theory. Broadly speaking, econometrics may be categorized depending on what type of data is being analyzed, the two main categories being time series data and cross sectional data. A third category is panel data, combining cross sectional data observed over time. READ MORE