Search for dissertations about: "logik"
Showing result 1 - 5 of 146 swedish dissertations containing the word logik.
-
1. Contributions to Pointfree Topology and Apartness Spaces
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
-
2. On Constructive Sets and Partial Structures
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
-
3. Stratified algebras and classification of tilting modules
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
-
4. Module categories, internal bimodules and Tambara modules
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
-
5. Preprojective Algebras of d-Representation Finite Species with Relations
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