category theory

Contents

Definition

A locally cartesian closed functor is a functor between locally cartesian closed categories that preserves the locally cartesian closed structure up to coherent isomorphism.

Examples

Revised on December 16, 2011 01:12:19 by Urs Schreiber (82.169.65.155)