Locally Cartesian Closed Categories
From MaRDI portal
Abstract: This note explains how dependent sums and products are interpreted by adjoints of the base change functor in a locally cartesian closed category. An effort is made to unpack all the definitions so as to make the concepts more transparent to new learners.
This page was built for publication: Locally Cartesian Closed Categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6390618)
