Equality and fibration