Search for dissertations about: "Category theory"

Showing result 1 - 5 of 153 swedish dissertations containing the words Category theory.

  1. 1. Homotopy Theory and TDA with a View Towards Category Theory

    Author : Sebastian Öberg; Wojciech Chachólski; David Blanc; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Homotopy theory; Topological Data Analysis; Category theory; Mapping spaces; Homotopy commutative diagrams; Matematik; Mathematics;

    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. 2. Relations in Dependent Type Theory

    Author : Carlos Gonzalía; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Lö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. 3. Hopf and Frobenius algebras in conformal field theory

    Author : Carl Stigner; Jürgen Fuchs; Jens Fjelstad; Ingo Runkel; Karlstads universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; conformal field theory; category theory; Hopf algebra; Frobenius algebra; coends; mapping class group; defect lines; factorization constraints; Physics; Fysik;

    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. 4. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

    Author : Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; matematik; Mathematics; matematisk logik; Mathematical Logic;

    Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Lö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. 5. Essays on Econometric Theory

    Author : Peter Jochumzen; Nationalekonomiska institutionen; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; economic theory; econometrics; Economics; measure of fit; unemployment insurance; non proportionality; stochastic frontier production function; diffusion of technology; Duration analysis; economic systems; economic policy; Nationalekonomi; ekonometri; ekonomisk teori; ekonomiska system; ekonomisk politik;

    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