Can anybody recommend any literature on categories with / categorical models of subtyping? I just want to get an idea of what there is out there, what ways there are of handling such things. Email any suggestions to me please. Thanks, Tom Burt.