Add family/fibration isomorphism