$W$-Types in Categories of Coalgebras

Taichi Uemura

DOI: https://doi.org/10.48550/arXiv.1901.06539

2019-01-19

Abstract:We construct $W$-types in the category of coalgebras for a cartesian comonad. It generalizes the constructions of $W$-types in presheaf toposes and gluing toposes.

Category Theory

What problem does this paper attempt to address?