codimensional orientifolded bidirected cobordant atoroidal contactomorphic cofibrant comonoidal pseudoconformal biorthogonal