SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Forssell Johan) ;pers:(Forssell Henrik)"

Sökning: WFRF:(Forssell Johan) > Forssell Henrik

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Lindberg, Johan, 1985- (författare)
  • Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory
  • 2020
  • Doktorsavhandling (övrigt vetenskapligt/konstnärligt)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. In Paper I we construct and study the category of "local sets" in IRTT, including an extension with inductive definitions. We there also give a model of IRTT in univalent type theory using h-sets. In Paper II we adapt triposes and hyperdoctrines to the ramified setting. These give a categorical semantics for certain formal languages ramified in the same way as IRTT.Paper III, which is part of a joint project with Henrik Forssell, concerns logical aspects of the localic groupoid/category representations of Grothendieck toposes that originate from the work of Joyal and Tierney. Working constructively, we give explicit logical descriptions of locales and localic categories used for representing classifying toposes of geometric theories. Aspects of these descriptions are related to work by Coquand, Sambin et al in formal topology, and we show how parts of their work can be captured and extended in our framework.
  •  
3.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy