The category of categories with pullbacks is cartesian closed

TL;DR

This paper proves that the category of categories with pullbacks, along with pullback preserving functors, has the property of being cartesian closed, which is significant for categorical theory.

Contribution

It establishes that the category of categories with pullbacks is cartesian closed, a new structural property not previously demonstrated.

Findings

The category of categories with pullbacks is cartesian closed.

Pullback preserving functors form the morphisms in this category.

The result enhances understanding of categorical structures with limits.

Abstract

We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.