a little more explicitly that families are fibrations