Re: Terminology question wrt fibrations of categories.