dor_id: 1500549

506.#.#.a: Público

650.#.4.x: Físico Matemáticas y Ciencias de la Tierra

336.#.#.b: other

336.#.#.3: Registro de colección de proyectos

336.#.#.a: Registro de colección universitaria

351.#.#.b: Proyectos Universitarios PAPIIT (PAPIIT)

351.#.#.a: Colecciones Universitarias Digitales

harvesting_group: ColeccionesUniversitarias

270.1.#.p: Dirección General de Repositorios Universitarios. contacto@dgru.unam.mx

590.#.#.c: Otro

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://datosabiertos.unam.mx/

883.#.#.a: Portal de Datos Abiertos UNAM, Colecciones Universitarias

590.#.#.a: Administración central

883.#.#.1: http://www.ccud.unam.mx/

883.#.#.q: Dirección General de Repositorios Universitarios

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://datosabiertos.unam.mx/DGAPA:PAPIIT:IN110111

100.1.#.a: Francisco Marmolejo Rivas

524.#.#.a: Dirección de Desarrollo Académico, Dirección General de Asuntos del Personal Académico (DGAPA). "Estructuras en tricategorías: mónadas y sus generalizaciones", Proyectos Universitarios PAPIIT (PAPIIT). En "Portal de datos abiertos UNAM" (en línea), México, Universidad Nacional Autónoma de México.

720.#.#.a: Francisco Marmolejo Rivas

245.1.0.a: Estructuras en tricategorías: mónadas y sus generalizaciones

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Matemáticas, UNAM

264.#.0.c: 2011

264.#.1.c: 2011

307.#.#.a: 2019-05-23 18:40:21.491

653.#.#.a: Teoría de las categorías; Matemáticas

506.1.#.a: La titularidad de los derechos patrimoniales de este recurso digital pertenece a la Universidad Nacional Autónoma de México. Su uso se rige por una licencia Creative Commons BY 4.0 Internacional, https://creativecommons.org/licenses/by/4.0/legalcode.es, fecha de asignación de la licencia 2011, para un uso diferente consultar al responsable jurídico del repositorio por medio de contacto@dgru.unam.mx

041.#.7.h: spa

500.#.#.a: Este proyecto continúa investigaciones ya publicadas en revistas con arbitraje y está centrado en categorías de dimensiones más altas, mónadas, seudomónadas, leyes distributivas y sus generalizaciones, muchas veces en el contexto de categorías monoidales. _x000D_ _x000D_ A continuación presentamos los problemas que serán considerados dentro del proyecto._x000D_ _x000D_ 1. En un trabajo previo a este proyecto se encontró una manera de describir las álgebras de una mónada y las leyes distributivas entre mónadas de tal forma que se evita la iteración de los funtores involucrados, la complejidad es transferida a los morfismos entre los objetos pero en ejemplos particulares resulta mucho más sencillo verificar esta condiciones que las originales. Buscaremos dar una versión similar para las doctrinas KZ, sus álgebras y las leyes distributivas entre doctrinas KZ. _x000D_ _x000D_ 2. Muy ligado al punto anterior, dado que las doctrinas KZ son casos especiales de seudomónadas, está el trabajo de dar una versión que no necesite la iteración de los seudofuntores involucrados de seudomónada, de las álgebras para una seudomńada y de las leyes distributivas entre seudomónadas. Esto permitirá su aplicación de forma más sencilla ya que las condiciones de coherencia necesarias para demostrar que algo es una ley distributiva entre seudomónadas son muy complicadas._x000D_ _x000D_ 3. Muchas de las aplicaciones de mónadas y seudomónadas se dan en teoría de la computación. Un reto que pretendemos abordar en este proyecto es el de producir versiones accesibles a los investigadores y estudiantes de computación que están menos interesados en por qué funciona la teoría y más en como aplicarla. _x000D_ _x000D_ 4. Una de las generalizaciones de mónadas va en la dirección de contextos de Morita. En trabajos anteriores a este proyecto se han estudiado los teoremas clásicos de las álgebras de Eilenberg-Moore y el teorema de Beck en estas generalizaciónes. Esto apunta a intentar dar una versión unificada de los conceptos de herd, flock y torsor en categorías monoidales. La idea central es que hay que subir una dimensión para poder hacer esto, es decir, se debe intentar encontrar el concepto correcto en una tricategoría de manera que estos conceptos de herd, flock y torsor sean imágenes en distintas direcciones de este concepto unificado._x000D_ _x000D_ 5. Continuando con categorías monoidales, este proyecto pretende encontrar las propiedades adecuadas que cumple el producto tensorial en la 2-categoría Ext de categorías extensivas, funtores que preservan coproductos finitos y transformaciones naturales entre estos, para obtener una descripción más conceptual de su aplicación a la teoría combinatoria.

046.#.#.j: 2019-11-14 12:26:40.706

264.#.1.b: Dirección General de Asuntos del Personal Académico

handle: 54ff6fabb07cced1

harvesting_date: 2019-11-14 12:26:40.706

856.#.0.q: text/html

last_modified: 2019-11-22 00:00:00

license_url: https://creativecommons.org/licenses/by/4.0/legalcode.es

license_type: by

No entro en nada

No entro en nada 2