你即將離開本站

並前往https://jfr.unibo.it/article/view/6232

Lawvere-Tierney sheafification in Homotopy Type Theory

Sheafification is a popular tool in topos theory which allows to extend the internal logic of a topos with new principles.

確定！ 回上一頁

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