The separated extensional Chu category
Theory and applications of categories, Tome 4 (1998), pp. 137-147
Voir la notice de l'article provenant de la source Theory and Applications of Categories website
This paper shows that, given a factorization system, E/M on a closed symmetric monoidal category, the full subcategory of separated extensional objects of the Chu category is also star-autonomous under weaker conditions than had been given previously ([Barr, 1991]). In the process we find conditions under which the intersection of a full reflective subcategory and its coreflective dual in a Chu category is star-autonomous.
Classification :
18D15, 46A20.
Keywords: *-autonomous categories, Chu construction, separated, extensional.
Keywords: *-autonomous categories, Chu construction, separated, extensional.
@article{TAC_1998_4_a5,
author = {Michael Barr},
title = {The separated extensional {Chu} category},
journal = {Theory and applications of categories},
pages = {137--147},
publisher = {mathdoc},
volume = {4},
year = {1998},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_1998_4_a5/}
}
Michael Barr. The separated extensional Chu category. Theory and applications of categories, Tome 4 (1998), pp. 137-147. http://geodesic.mathdoc.fr/item/TAC_1998_4_a5/