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....
| Autores: | , , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1995 |
| País: | Colombia |
| Institución: | Universidad Nacional de Colombia |
| Repositorio: | Repositorio UN |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.unal.edu.co:unal/31639 |
| Acceso en línea: | https://repositorio.unal.edu.co/handle/unal/31639 http://bdigital.unal.edu.co/21718/ |
| Access Level: | acceso abierto |
| Palabra clave: | sieves adjointness funtores de cribas imagenes directas imagenes recíprocas función entre conjuntos |
| Sumario: | 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. |
|---|