W-types in sheaves

Simple item page
dc.creatorBerg, Benno van den
dc.creatorMoerdijk, Ieke
dc.date2008-10-14
dc.date.accessioned2026-07-07T10:09:54Z
dc.date.available2026-07-07T10:09:54Z
dc.descriptionWe give a concrete description of W-types in categories of sheaves.
dc.description7 pages
dc.identifierhttps://arxiv.org/abs/0810.2398
dc.identifierhttp://arxiv.org/abs/0810.2398
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/171468
dc.subjectCategory Theory
dc.subjectLogic
dc.subject18F20; 03C90
dc.titleW-types in sheaves
dc.typetext

Files

Collections

arXiv