Cribas y adjunción

Una función entre conjuntos induce dos aplicaciones entre los conjuntos de partes: imagen directa e imagen recíproca, las cuales determinan un par adjunto. En este artículo, se estudian los funtores de cribas en una categoría y sus relaciones con los funtores de partes de la categoría de conjuntos....