Search for dissertations about: "Grothendieck topos"

Found 2 swedish dissertations containing the words Grothendieck topos.

  2. 1. Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation

    Author : Bassel Mannaa; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Newton–Puiseux; Algebraic curve; Sheaf model; Dynamic evaluation; Algebraic number; Grothendieck topos; Grothendieck topos;

    Abstract : Computing the Puiseux expansions of a plane algebraic curve defined by an affine equation over an algebraically closed field is a an important algorithm in algebraic geometry. This is the so-called Newton–Puiseux Theorem. The termination of this algorithm, however, is usually justified by non-constructive means. READ MORE

  4. 2. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Author : Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Abstract : 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. READ MORE