Formal theory of internal categories

Authors

  • Renato Betti

Abstract

Categories internal to an elementary topos are regarded as monads in the bicategory of spans of the topos and the main features of the theory are developed: functors, adjointness, module calculus, internal presheaves, internal completeness and cocompleteness, Kan extensions.

Downloads

Published

1997-08-01