isomorphisms

isomorphims appear not only in examples but are essential also in the theory. For example Grothendieck defines limits and colimits of categories (as universal pseudocones) in SGA4 by means of an isomorphism of categories. Same for toposes. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]