W-types in sheaves

2008/10/14 by Benno van den Berg, Berg, Benno van den, Ieke Moerdijk +1
Computer Science · Mathematics · #03C90 #18F20 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03C90 #msc:18F20

paper · pdf · doi:10.48550/arxiv.0810.2398

7 pages

arxiv created 2008/10/14 · openalex publication_date 2008/10/14 · arxiv updated 2009/12/01 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28

Abstract

We give a concrete description of W-types in categories of sheaves.

Related

• W-Types in Categories of Coalgebras
• W-types in Homotopy Type Theory
• Abstract sheaf theory
• Some Ideas on Categories and Sheaves
• Lecture notes on sheaves and perverse sheaves