Sökning: "Classifying category"
Visar resultat 1 - 5 av 10 avhandlingar innehållade orden Classifying category.
1. English Colour Terms in Context
Sammanfattning : This thesis examines usage of English colour terms in context, based on an extensive computerised text corpus, the Bank of English. It describes the ways in which English colour terms may be used to refer to nuances outside their normal area of designation and to attributes outside the colour domain. LÄS MER
2. A classifying algebra for CFT boundary conditions
Sammanfattning : Conformal field theories (CFT) constitute an interesting class of twodimensionalquantum field theories, with applications in string theoryas well as condensed matter physics. The symmetries of a CFT can beencoded in the mathematical structure of a conformal vertex algebra. LÄS MER
3. Hopf and Frobenius algebras in conformal field theory
Sammanfattning : 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. LÄS MER
4. A Categorical Study of Composition Algebras via Group Actions and Triality
Sammanfattning : A composition algebra is a non-zero algebra endowed with a strictly non-degenerate, multiplicative quadratic form. Finite-dimensional composition algebras exist only in dimension 1, 2, 4 and 8 and are in general not associative or unital. Over the real numbers, such algebras are division algebras if and only if they are absolute valued, i.e. LÄS MER
5. 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