paper

W-types in sheaves

arXiv:0810.2398

Abstract

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

7 pages

W-types in sheaves · wovepaper