Si (T, η, μ) es una mónada sobre una categoría C , que es completa y cocompleta, ¿qué pasa con la categoría de Kleisli? Y también, si C es cartesiano cerrado, ¿qué pasa con el de Kleisli?
Integridad y cocompletitud de la categoría Kleisli
- Preguntado el 7 de Septiembre, 2010
- Cuando se hizo la pregunta
- 967 visitas
- Cuantas visitas ha tenido la pregunta
- 0 Respuestas
- Cuantas respuestas ha tenido la pregunta
- Abierta
- Estado actual de la pregunta
Preguntas relacionadas
- Relacionados con la Categoría de la Teoría a la Teoría del Lenguaje de Programación
- Lawvere "Algunas reflexiones sobre el futuro de la categoría de teoría."
- ¿Por qué son espacios topológicos interesante el estudio?
- ¿Qué es un espacio métrico?
- ¿Por qué los grupos y los grupos abelianos son tan diferentes?
- ¿Qué significa "la cuantificación no es un functor" significa?
- para Categorías
- Ejemplos de categorías de modelos no equivalentes a Quillen con categorías de homotopía equivalentes
- ¿Un buen algoritmo para encontrar el diámetro de un gráfico (disperso)?
- probabilística de la teoría de nudos
- ¿Cómo es el significado físico de una representación irreducible justificado?
Preguntas Destacadas
- diez líneas concurrentes
- Conjetura original de Taniyama
- ¿Cada conjunto convexo cerrado es un colector con esquinas?
- Una prueba publicada para: el número de etiquetados $i$ -borde ( $i \geq 1$ ) bosques en $p^k$ vértices es divisible por $p^k$
- Riemann superficies con un atlas todos cuyos conjuntos abiertos son bifomórficos a %-%-%?
- Intersección de localización con subálgebra de campo de fracción generada finitamente
En nuestra red
- ¿Cómo uso la función CONCAT en SQL Server 2008 R2?
- ¿Qué es este ICONO - círculo con un signo más en el centro?
- ¿Cuál es la forma más eficiente de calcular la Tasa Interna de Retorno TIR?
- Cómo recuperar los menús en VirtualBox
- Puedo confiar en el soporte técnico de Apple y compartir mi contraseña?
- La intersección de dos líneas paralelas
- ¿Es seguro beber agua del grifo en Francia?
- ¿Cómo puedo hablar con mi equipo en Left 4 Dead 2?
- Adding up in Odoo Qweb reports
- Comment résumer les éléments d'un vecteur C++?
- Magento SOAP C# Anmeldeproblem in Visual Studio 11 (Metro)
