Finite-dimensional categorial complement theorems in shape theory Peter Mrozik (1988) Compositio Mathematica