Colombia
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
© 2001-2024 Fundación Dialnet · Todos los derechos reservados