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)