  We briefly review the origins and development of Borsuk's Theory of Shapes
and the Multivalued Shape of Sanjurjo. We use a construction over metric
compacta using hyperspaces to define a finite type version.
