W-types in sheaves
Category Theory
2008-10-15 v1 Logic
Abstract
We give a concrete description of W-types in categories of sheaves.
Cite
@article{arxiv.0810.2398,
title = {W-types in sheaves},
author = {Benno van den Berg and Ieke Moerdijk},
journal= {arXiv preprint arXiv:0810.2398},
year = {2008}
}
Comments
7 pages