Estamos trabajando para restaurar la aplicación de Unionpedia en la Google Play Store
SalienteEntrante
🌟¡Simplificamos nuestro diseño para una mejor navegación!
Instagram Facebook X LinkedIn
Tu propia Unionpedia con tu logo y dominio, desde 9.99 USD/mes
Crear mi Unionpedia

Bifuntor

Índice Bifuntor

En Teoría de Categorías un bifuntor o bifunctor es un funtor con un producto cartesiano de dos categorías como dominio y la cual es cerrada bajo la categoría.

Tabla de contenidos

  1. 4 relaciones: Categoría (matemáticas), Funtor, Tensor, Teoría de categorías.

Categoría (matemáticas)

En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.

Ver Bifuntor y Categoría (matemáticas)

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.

Ver Bifuntor y Funtor

Tensor

En matemáticas, un tensor es un objeto algebraico que describe una relación multilineal entre conjuntos de objetos algebraicos relacionados con un espacio vectorial.

Ver Bifuntor y Tensor

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.

Ver Bifuntor y Teoría de categorías