Search for dissertations about: "logik"

Showing result 1 - 5 of 149 swedish dissertations containing the word logik.

  2. 1. Contributions to Pointfree Topology and Apartness Spaces

    Author : Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; Matematisk logik; Mathematical Logic; Matematisk logik;

    Abstract : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. READ MORE

  4. 2. On Constructive Sets and Partial Structures

    Author : Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Abstract : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. READ MORE

  5. 3. Stratified algebras and classification of tilting modules

    Author : Elin Persson Westin; Volodymyr Mazorchuk; Aslak Buan; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Representation theory; Generalized tilting module; Exceptional sequence; Quasi-hereditary algebra; Standardly stratified algebra; Essential order; Category O; S-subcategory; Projective dimension; Finitistic dimension; Mathematics; Matematik;

    Abstract : This thesis contains three papers in representation theory of algebras. It mainly studies two types of algebras; quasi-hereditary algebras and standardly stratified algebras. READ MORE

  6. 4. Module categories, internal bimodules and Tambara modules

    Author : Mateusz Stroinski; Volodymyr Mazorchuk; Jürgen Fuchs; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Matematik;

    Abstract :  We use the theory of Tambara modules to extend and generalize the reconstruction theorem for module categories over a rigid monoidal category to the non-rigid case. We show a biequivalence between the 2-category of cyclic module categories over a monoidal category C and the bicategory of algebra and bimodule objects in the category of Tambara modules on C . READ MORE

  7. 5. Preprojective Algebras of d-Representation Finite Species with Relations

    Author : Christoffer Söderberg; Martin Herschend; Grant Joseph; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : In this article we study the properties of preprojective algebras of representation finite species. To understand the structure of a preprojective algebra, one often studies its Nakayama automorphism. A complete description of the Nakayama automorphism is given by Brenner, Butler and King when the algebra is given by a path algebra. READ MORE