The unstable tangent fibration of a Poincaré complex is defined so that it is consistent with the manifold
case. It exists uniquely for each Poincaré complex X up to fibrewise homotopy equivalence and,
furthermore, if a Poincaré embedding structure exists on the diagonal X→X×X, its normal fibration
is the tangent fibration.