A strong shape theory admitting an S-dual

If one replaces continuous mappings by strong shape morphisms with compact support (also called compact-open strong shape mappings) (Definition 2.1) and compact polyhedra by arbitrary subspaces of some Sn, then every object X in the corresponding S-category B has an S-dual DX extending classical S-duality to arbitrary separable metrizable, finite-dimensional spaces.