Adjoint Functors and Heteromorphisms

David Ellerman

Home/Archive/arXiv

arXiv · 0704.2207

Adjoint Functors and Heteromorphisms

David Ellerman

View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.CT math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

David Ellerman. 2007-04-17. Adjoint Functors and Heteromorphisms. https://arxiv.org/abs/0704.2207

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Sheaves on Grothendieck constructions

In this paper we introduce a generalisation of a covariant Grothendieck construction to the setting of sites. We study the basic properties of defined site structures on Grothendieck constructions as well as we treat the cohomological aspects of corresponding toposes of sheaves. Despite the fact that the toposes of $G$-equivariant sheaves $Sh_G(X)$ have been introduced in literature, their cohomological aspects have not been treated properly in a desired fashion. So in the end of the paper we study some of the acyclic families, introduce new type of acyclic resolutions which we call the $G$-equivariant Godement resolutions, the degree of actions, and some other basic cohomological concepts arising in $Sh_G(X)$.

math.CT↗

arXiv2026

Euclidean interval objects in categories with finite products

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their definition does not assume a pre-existing notion of real number. The universal property characterises such structures up to isomorphism, supports the definition of functions between intervals, and provides a means of verifying identities between functions. In the category of sets, the universal property characterises closed intervals of real numbers with nonempty interior. In the the category of topological spaces, we obtain intervals with the Euclidean topology. We also prove that every elementary topos with natural numbers object contains an interval object; furthermore, we characterise interval objects as intervals of real numbers in the Cauchy completion of the rational numbers within the Dedekind reals.

math.CT↗

arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗