La conjugación de Isbell (llamada así por John R. Isbell ) es una construcción fundamental de la teoría de categorías enriquecida formalmente introducida por William Lawvere en 1986. [1]
Definición
Dejar ser una categoría cerrada monoidal simétrica , y sea ser una pequeña categoría enriquecida en .
La conjugación de Isbell es un complemento entre las categorías y que surge de la incrustación de Yoneda y la incrustación dual de Yoneda .
Referencias
- ^ Lawvere, FW (1986), "Tomar las categorías en serio" , Revista Colombiana de Matemáticas , 20 (3-4): 147-178, MR 0948965
Bibliografía
- Kelly, Gregory Maxwell (1982), Conceptos básicos de la teoría de categorías enriquecidas , London Mathematical Society Lecture Note Series, 64 , Cambridge University Press, Cambridge-New York, ISBN 0-521-28702-2, MR 0651714. [ página necesaria ]
- Day, Brian J .; Falta, Stephen (2007), "Limits of small functors", Journal of Pure and Applied Algebra , 210 (3): 651–663, arXiv : math / 0610439 , doi : 10.1016 / j.jpaa.2006.10.019 , MR 2324597.