2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/171468We give a concrete description of W-types in categories of sheaves.7 pagesCategory TheoryLogic18F20; 03C90text