A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
On descent for coalgebras and type transformations
2016
unpublished
Preserved Fulltext
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent mor-phisms for coalgebras over toposes in some cases. Also, we study some ex-actness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between corresponding categories of coalgebras. As a result, we find conditions under which the induced
fatcat:qxlloeneevf3tmntdedmetrs7u