Feed Search Library Collections

W-types in sheaves

Abstract

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

0

Discussion (0)

Sign in to join the discussion.

Loading comments…

arXiv:0810.2398

math.CT math.LO

Published October 14, 2008

Authors

BBBenno van den Berg
IMIeke Moerdijk

Comment: 7 pages

Latest Papers Trending Top Today Top This Week AI Papers Machine Learning Computer Vision NLP Statistics ML Optimization

ArcXiv is an independent project and is not affiliated with arXiv or Cornell University. Metadata-only — PDFs link to arXiv.arxiv.org