¡Más rápido que el navegador!
19 relaciones: Aplicación lineal, Categoría de conjuntos, Categoría de grupos, Categoría monoidal, Concatenación, Conjunto parcialmente ordenado, Diagrama conmutativo, Efecto secundario (informática), Elemento neutro, Espacio vectorial, Funtor, Funtores adjuntos, Grupo (matemática), Grupo libre, Mónada (programación funcional), Monoide, Programación funcional, Teoría de categorías, Transformación natural.
Aplicación lineal
En matemáticas una aplicación lineal, es una aplicación entre dos espacios vectoriales, que preserva las operaciones de adición de vectores y multiplicación por un escalar.
¡Nuevo!!: Mónada (teoría de categorías) y Aplicación lineal · Ver más »
Categoría de conjuntos
En matemática, la categoría de conjuntos es categoría cuyos objetos son todos los conjuntos y los morfismos son las funciones.
¡Nuevo!!: Mónada (teoría de categorías) y Categoría de conjuntos · Ver más »
Categoría de grupos
En matemáticas la categoría de grupos denotada por Grp, es la categoría cuyos objetos son grupos y morfismos los homomorfismos de grupos.
¡Nuevo!!: Mónada (teoría de categorías) y Categoría de grupos · Ver más »
Categoría monoidal
En matemáticas una categoría monoidal o categoría tensorial es una categoría C junto con un bifuntor Que es asociativo bajo isomorfismo natural y un objeto I que actúa como objeto neutro o identidad por la izquierda y la derecha para ⊗ bajo isomorfismo natural (los isomorfismos natural asociados son llamados naturales porque juntos satisfacen ciertas condiciones de coherencia que nos dicen que todos los diagramas relevantes conmutan).
¡Nuevo!!: Mónada (teoría de categorías) y Categoría monoidal · Ver más »
Concatenación
La concatenación o conduplicación es, en general, el acto de unir o enlazar cosas, acosos, elogios, etc...
¡Nuevo!!: Mónada (teoría de categorías) y Concatenación · Ver más »
Conjunto parcialmente ordenado
En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado o simplemente conjunto ordenadoSe usa esta expresión cuando no exista ambigüedad.
¡Nuevo!!: Mónada (teoría de categorías) y Conjunto parcialmente ordenado · Ver más »
Diagrama conmutativo
En matemática, y especialmente en teoría de categorías, un diagrama conmutativo es un diagrama de objetos (también conocidos como vértices), morfismos (también conocidos como flechas o aristas) y rutas o caminos, tales que todas las rutas directas en el diagrama con los mismos puntos finales y mismo comienzo conducen al mismo resultado por composición.
¡Nuevo!!: Mónada (teoría de categorías) y Diagrama conmutativo · Ver más »
Efecto secundario (informática)
En ciencias de la computación se dice que una función o expresión tiene efecto colateral, efecto de lado o efecto secundario si esta, además de retornar un valor, modifica el estado de su entorno.
¡Nuevo!!: Mónada (teoría de categorías) y Efecto secundario (informática) · Ver más »
Elemento neutro
El elemento neutro o elemento identidad de un conjunto A, dotado de una operación binaria interna \circledast: Es decir, un elemento neutro tiene un efecto neutro al ser utilizado en la operación \circledast.
¡Nuevo!!: Mónada (teoría de categorías) y Elemento neutro · Ver más »
Espacio vectorial
En álgebra lineal, un espacio vectorial (o también llamado espacio lineal) es una estructura algebraica creada a partir de un conjunto no vacío, una operación interna (llamada suma, definida para los elementos del conjunto) y una operación externa (llamada producto por un escalar, definida entre dicho conjunto y otro conjunto, con estructura de cuerpo) que satisface 8 propiedades fundamentales.
¡Nuevo!!: Mónada (teoría de categorías) y Espacio vectorial · Ver más »
Funtor
En teoría de categorías un funtor o functor es una función de una categoría a otra que lleva objetos a objetos y morfismos a morfismos de manera que la composición de morfismos y las identidades se preserven.
¡Nuevo!!: Mónada (teoría de categorías) y Funtor · Ver más »
Funtores adjuntos
En matemáticas, específicamente en teoría de categorías, la adjunción es una relación entre dos funtores que aparece frecuentemente a través de las distintas ramas de las matemáticas y que captura una noción intuitiva de solución a un problema de optimización.
¡Nuevo!!: Mónada (teoría de categorías) y Funtores adjuntos · Ver más »
Grupo (matemática)
En álgebra abstracta, un grupo es una estructura algebraica formada por un conjunto no vacío dotado de una operación interna que combina cualquier par de elementos para componer un tercero dentro del mismo conjunto, y que satisface las propiedades asociativa, de existencia del elemento neutro (también llamado identidad), y de existencia de elementos inversos (en ocasiones llamados simétricos).
¡Nuevo!!: Mónada (teoría de categorías) y Grupo (matemática) · Ver más »
Grupo libre
En teoría de grupos, un grupo G se dice libre si hay un subconjunto S de G, tal que todo elemento de G puede escribirse en una forma única como producto de finitos elementos de S y sus inversos (descontando variaciones triviales como st-1.
¡Nuevo!!: Mónada (teoría de categorías) y Grupo libre · Ver más »
Mónada (programación funcional)
En la programación funcional, una mónada (monad en inglés), es un patrón de diseño que representa cálculos definidos como una secuencia de pasos, permitiendo componer funciones con tipos incompatibles encapsulándolos en un tipo monádico.
¡Nuevo!!: Mónada (teoría de categorías) y Mónada (programación funcional) · Ver más »
Monoide
En álgebra abstracta, un monoide es una estructura algebraica con una operación binaria, que es asociativa y tiene elemento neutro, es decir, es un semigrupo con elemento neutro.
¡Nuevo!!: Mónada (teoría de categorías) y Monoide · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Mónada (teoría de categorías) y Programación funcional · Ver más »
Teoría de categorías
La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.
¡Nuevo!!: Mónada (teoría de categorías) y Teoría de categorías · Ver más »
Transformación natural
En teoría de categorías, una rama de las matemáticas.
¡Nuevo!!: Mónada (teoría de categorías) y Transformación natural · Ver más »
