Adjoint Functors and Heteromorphisms

arXiv0704.2207MaRDI QIDQ6205318

Publication date: 17 April 2007

Abstract: Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades, the notion of adjoint functors has moved to center-stage as category theory's primary tool to characterize what is important in mathematics. Our focus here is to present a theory of adjoint functors. The basis for the theory is laid by first showing that the object-to-object "heteromorphisms" between the objects of different categories (e.g., insertion of generators as a set to group map) can be rigorously treated within category theory. The heteromorphic theory shows that all adjunctions arise from the birepresentations of the heteromorphisms between the objects of different categories.

This page was built for publication: Adjoint Functors and Heteromorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205318)