 Replete subcategory

A replete subcategory contains every ambient object isomorphic to any of its objects. This closure is at the object level; fullness is a separate property.