你即將離開本站

並前往https://scanr.enseignementsup-recherche.gouv.fr/publication/these2016EMNA0298

Lawvere-Tierney sheafification in Homotopy Type Theory

In particular, we will define a Lawvere-Tierney sheafification functor, which is the main theorem presented in this thesis.To define it, we will need some ...

確定！ 回上一頁

查詢 「Sheafification」的人也找了：

  1. Sheafification
    2.
  2. Grothendieck topology
    3.
  3. Localization of category
    4.
  4. Topological structure
    5.
  5. Sheaf cohomology
    6.
  6. Direct image
    7.
  7. Coherent sheaf
    8.
  8. Sheaf of sections
    9.