Resumen de Cribas y adjunción

Víctor Ardila de la P., Carlos Julio, Alvaro Duque, Joaquín Luna, Mauricio Restrepo López

• español

  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

• English

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