Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)Camargo, Javier EnriqueSilva Rojas, Martha Isabel2024-03-0320072024-03-0320072007https://noesis.uis.edu.co/handle/20.500.14071/20060Una categoría Ces una estructura compuesta de una clase Obg cuyos miembros sonllamados objetos de la categoría; para cada par de objetos A, B de C existe el conjuntohomg(A, B) cuyos elementos son llamados morfismos ó flechas de la categoría, lascuales tienen dominio A y contradominio B; para cada A objeto de la categoría C existeun morfismo identidad y una ley de composición asociativa, por ejemplo la categoríaComp donde los objetos son los espacios compactos de Hausdorff y los morfismos sonfunciones continuas entre ellos. Las categorías se relacionan por medio de funtores,estos son una aplicación que preserva estructura es decir, envía objetos en objetos ymorfismos en morfismos; cuando la aplicación se hace entre categorías iguales entoncesse llama endofuntor; los funtores a su vez se relacionan por medio de transformacionesnaturales, estas son una aplicación que asigna a cada objeto 4 de C único morfismoen D. Teniendo ya estas estructuras definicionidas se puede construir una mónadapues esta consta de un endofuntor y dos transformaciones naturales, la primera deellas es la transformación identidad y la segunda es una aplicación de F? en F dondeF? es FoFi; la mónada V se llama universal porque contiene todas las mónadas de Lawson.application/pdfspahttp://creativecommons.org/licenses/by/4.0/CategoriasFuntoresTransformaciones naturalesMónada.Universidad Industrial de SantanderTesis/Trabajo de grado - Monografía - PregradoUniversidad Industrial de Santanderhttps://noesis.uis.edu.coCategoriesFunctorNatural TransfomationMonad.info:eu-repo/semantics/openAccessAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)