question

What do you call it when you have one (small) category being a (full) subcategory of another , and every object in the big category is isomorphic to one in the small category ? This is the case for the category given by objects hom(S,A) ,and morphisms given by the equivalence relation hom(T,A) ,as a subcategory of stack(A) . Is there an equivalence of categories ? jim [For admin and other information see: http://www.mta.ca/~cat-dist/ ]