TY - JOUR AU - Michael Shulman TI - Contravariance through enrichment JO - Theory and applications of categories PY - 2018 SP - 95 EP - 130 VL - 33 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2018_33_a4/ LA - en ID - TAC_2018_33_a4 ER -