TY - JOUR AU - Michael Barr TI - The separated extensional Chu category JO - Theory and applications of categories PY - 1998 SP - 137 EP - 147 VL - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_1998_4_a5/ LA - en ID - TAC_1998_4_a5 ER -