Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)