你即將離開本站

並前往https://tel.archives-ouvertes.fr/tel-01486550/document

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.

確定！ 回上一頁

查詢 「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.