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. Mediante un ejemplo se observa que la imagen directa de cribas no es adjunto a derecha de la imagen inversa y aprovechando el hecho de que ésta última conmuta con extremos superiores y conserva extremos inferiores, se define un nuevo adjunto.

Functorial relationships between inverse and direct images, sieves and subsets are studied. A right adjoint to inverse images of sieves is proposed.