Asymptotically Adjoint Good Endofunctors

• Asymptotically adjoint good endofunctors are a weakened form of classical adjunction that stabilizes morphism sets in C*-algebra categories.
• They replace strict hom-set bijections with natural isomorphisms achieved via stabilization, compact operators, and generalized morphisms.
• This framework underpins applications in Connes–Higson E-theory, extension theory, and K-homology by adapting classical adjunction principles.

Searching arXiv for recent and foundational papers on asymptotically adjoint good endofunctors and related adjunction frameworks. {"^^^^^^^^12query12 adjoint good endofunctors^^^^^^^^12all:(\12all:(\12 OR \12^^^^^^^^"Scalability and asymptotic adjunction^^^^^^^^12all:(\12all:(\12 OR \12^^^^^^^^"Representations are adjoint to endomorphisms^^^^^^^^12all:(\12all:(\12 OR \12^^^^^^^^"adjoint functor theorems for infinity-categories^^^^^^^^12all:(\12all:(\12 OR \12^^^^^^^^"Monadic Tower for infinity-Categories^^^^^^^^12all:(\12all:(\12 {"^^^^^^^^12query12 generalized morphisms associated to endofunctors of C*-algebras^^^^^^^^12all:(\12all:(\12 OR \12^^^^,"^^^^^^^^12sort_by12 Asymptotically adjoint good endofunctors are a weakened form of adjoint pair developed for endofunctors of PRESERVED_PLACEHOLDER_^^^^12query12^^^^-algebras when strict adjunction is unavailable but a stabilized and asymptotic substitute remains. In this framework, one works not with ordinary hom-sets but with commutative monoids of generalized morphisms built from a class of “good endofunctors,” together with stabilization by compact operators and iterated application of the asymptotic algebra functor. The central point is that a pair PRESERVED_PLACEHOLDER_^^^^12all:(\12^^^^ can fail to be adjoint in the classical sense and nevertheless induce natural isomorphisms on asymptotic generalized morphism sets, which is sufficient for applications to Connes–Higson PRESERVED_PLACEHOLDER_^^^^12 OR \12^^^^-theory, extension theory, and PRESERVED_PLACEHOLDER_^^^^12 OR \12^^^^-homology (&&&^^^^12query12^^^^&&&, &&&^^^^12all:(\12^^^^&&&

^^^^12all:(\12^^^^. Origin of the notion

The immediate motivation comes from operator PRESERVED_PLACEHOLDER_^^^^12 OR \12^^^^-algebra theory, where adjunctions organize duality and universal properties, but natural functors such as the suspension functor PRESERVED_PLACEHOLDER_^^^^12 OR \12^^^^ do not admit genuine adjoints in the homotopy category of asymptotic homomorphisms PRESERVED_PLACEHOLDER_^^^^12)12^^^^ (&&&^^^^12all:(\12^^^^&&& This obstruction leads to the introduction of asymptotic adjunction, a weaker notion that preserves an adjunction-like isomorphism only after stabilization and passage to asymptotic colimits (&&&^^^^12query12^^^^&&&

The notion was introduced in a broader program that studies endofunctors of PRESERVED_PLACEHOLDER_^^^^12max_results12^^^^-algebras through generalized morphisms, homotopies of natural transformations, and bimonoidal structure on the class of good endofunctors (&&&^^^^12query12^^^^&&& A subsequent geometric realization shows that for every pair of scalable proper metric spaces, the functor of continuous functions and the relative Roe functor associated with the pair are asymptotically adjoint, and that this weaker adjunction is “intuitive and useful in applications” despite being weaker than a genuine adjunction (&&&^^^^12all:(\12^^^^&&&

A common misconception is to treat asymptotic adjunction as merely a notational reformulation of an ordinary adjunction. The defining data and the resulting isomorphisms show otherwise: the counit lands in the stabilized asymptotic algebra functor rather than the identity, and the triangle identities are replaced by commutativity up to homotopy (&&&^^^^12query12^^^^&&&, &&&^^^^12all:(\12^^^^&&&

^^^^12 OR \12^^^^. Good endofunctors and generalized morphisms

The ambient setting is the category of PRESERVED_PLACEHOLDER_^^^^12sort_by12^^^^-algebras equipped with a special class of endofunctors called good endofunctors. These are described as a class of functors endowed with labelings and compatibilities sufficient to support homotopy-theoretic manipulations, generalized morphism sets, and a bimonoidal structure (&&&^^^^12query12^^^^&&& Major examples listed in the literature include the asymptotic algebra functor PRESERVED_PLACEHOLDER_^^^^12relevance12^^^^, the stabilization functor PRESERVED_PLACEHOLDER_^^^^12all:(\12query12^^^^, functors of continuous functions PRESERVED_PLACEHOLDER_^^^^12all:(\12all:(\12^^^^, tensor-type functors, and relative Roe functors (&&&^^^^12query12^^^^&&&, &&&^^^^12all:(\12^^^^&&&

For a pair of PRESERVED_PLACEHOLDER_^^^^12all:(\12 OR \12^^^^-algebras PRESERVED_PLACEHOLDER_^^^^12all:(\12 OR \12^^^^ and a good endofunctor PRESERVED_PLACEHOLDER_^^^^12all:(\12 OR \12^^^^, the basic generalized morphism set is

PRESERVED_PLACEHOLDER_^^^^12all:(\12 OR \12^^^^

where PRESERVED_PLACEHOLDER_^^^^12all:(\12)12^^^^ denotes PRESERVED_PLACEHOLDER_^^^^12all:(\12max_results12^^^^-homotopy (&&&^^^^12query12^^^^&&& The asymptotic refinement is

PRESERVED_PLACEHOLDER_^^^^12all:(\12sort_by12^^^^

with transition maps induced by the natural transformation PRESERVED_PLACEHOLDER_^^^^12all:(\12relevance12^^^^ into PRESERVED_PLACEHOLDER_^^^^12 OR \12query12^^^^ and stabilization (&&&^^^^12all:(\12^^^^&&& The paper on generalized morphisms states that these constructions produce commutative monoids and that the collection of good endofunctors carries a tight bimonoidal structure; it also defines a bilinear associative product

PRESERVED_PLACEHOLDER_^^^^12 OR \12all:(\12^^^^

generalizing PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^-theoretic composition (&&&^^^^12query12^^^^&&&

This formalism is not auxiliary. It is the domain in which asymptotic adjunction is defined and in which its main consequence—an isomorphism of commutative monoids—holds naturally in both variables (&&&^^^^12query12^^^^&&&

^^^^12 OR \12^^^^. Definition of asymptotic adjunction

In the homotopy category of good endofunctors, denoted PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^, an asymptotic adjunction between good endofunctors PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ and PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ consists of a unit and a counit of the form

PRESERVED_PLACEHOLDER_^^^^12 OR \12)12^^^^

subject to homotopy-commutative triangle diagrams (&&&^^^^12query12^^^^&&& Equivalently, in the notation used for good endofunctors in the geometric paper, good endofunctors PRESERVED_PLACEHOLDER_^^^^12 OR \12max_results12^^^^ are asymptotically adjoint if there exist labeled natural transformations

PRESERVED_PLACEHOLDER_^^^^12 OR \12sort_by12^^^^

such that

PRESERVED_PLACEHOLDER_^^^^12 OR \12relevance12^^^^

is homotopic to PRESERVED_PLACEHOLDER_^^^^12 OR \12query12^^^^, and

PRESERVED_PLACEHOLDER_^^^^12 OR \12all:(\12^^^^

is homotopic to PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ (&&&^^^^12all:(\12^^^^&&&

Two features distinguish this from ordinary adjunction. First, the target of the counit is PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^, not PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^. Second, the triangle identities hold only in the homotopy category of natural transformations (&&&^^^^12all:(\12^^^^&&& The literature is explicit that exact inverses in a strict categorical sense do not exist here; the useful inverse statements arise only after passing to stabilized and asymptotic colimits (&&&^^^^12all:(\12^^^^&&&

This suggests that asymptotic adjunction is best understood as an adjunction internal to a stabilized asymptotic calculus rather than as a defectively implemented classical adjunction.

^^^^12 OR \12^^^^. Fundamental categorical consequence

The main theorem states that an asymptotic adjunction PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ yields mutually inverse natural isomorphisms of commutative monoids (&&&^^^^12query12^^^^&&& PRESERVED_PLACEHOLDER_^^^^12 OR \12)12^^^^ In the geometric formulation, this is written as

PRESERVED_PLACEHOLDER_^^^^12 OR \12max_results12^^^^

for asymptotically adjoint good endofunctors PRESERVED_PLACEHOLDER_^^^^12 OR \12sort_by12^^^^ and PRESERVED_PLACEHOLDER_^^^^12 OR \12relevance12^^^^, naturally in PRESERVED_PLACEHOLDER_^^^^12 OR \12query12^^^^ and PRESERVED_PLACEHOLDER_^^^^12 OR \12all:(\12^^^^ (&&&^^^^12all:(\12^^^^&&& The theorem is the asymptotic analogue of the classical hom-set isomorphism characterizing an adjunction.

The formulas for the inverse maps are explicit. If PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ and PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ are the unit and counit, then PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ is defined by composing a representative

PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^

with PRESERVED_PLACEHOLDER_^^^^12 OR \12)12^^^^ and then applying PRESERVED_PLACEHOLDER_^^^^12 OR \12max_results12^^^^. The inverse PRESERVED_PLACEHOLDER_^^^^12 OR \12sort_by12^^^^ starts with

PRESERVED_PLACEHOLDER_^^^^12 OR \12relevance12^^^^

applies PRESERVED_PLACEHOLDER_^^^^12 OR \12query12^^^^, then the counit, and finally passes to one further asymptotic stage PRESERVED_PLACEHOLDER_^^^^12 OR \12all:(\12^^^^ (&&&^^^^12query12^^^^&&&

This is the exact sense in which asymptotic adjunction “retains sufficient categorical properties.” It does not provide a strict hom-set bijection in the original category of PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^-algebras, but it does provide a natural isomorphism after stabilization and asymptotization (&&&^^^^12all:(\12^^^^&&& A plausible implication is that the notion is tailored to bivariant theories whose composition laws already live in such colimit-stabilized environments.

^^^^12 OR \12^^^^. Geometric realization: continuous functions and relative Roe functors

A principal example is attached to a pair PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ of proper metric spaces with PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^ closed. The continuous functions functor is

PRESERVED_PLACEHOLDER_^^^^12 OR \12 OR \12^^^^

and it is described as a tensor-type good endofunctor because

PRESERVED_PLACEHOLDER_^^^^12 OR \12)12^^^^

for any PRESERVED_PLACEHOLDER_^^^^12 OR \12max_results12^^^^-algebra PRESERVED_PLACEHOLDER_^^^^12 OR \12sort_by12^^^^ (&&&^^^^12all:(\12^^^^&&&

For a PRESERVED_PLACEHOLDER_^^^^12 OR \12relevance12^^^^-discretization PRESERVED_PLACEHOLDER_^^^^12)12query12^^^^ with

PRESERVED_PLACEHOLDER_^^^^12)12all:(\12^^^^

one forms the uniform Roe algebra PRESERVED_PLACEHOLDER_^^^^12)12 OR \12^^^^, the ideal PRESERVED_PLACEHOLDER_^^^^12)12 OR \12^^^^ of matrices supported near PRESERVED_PLACEHOLDER_^^^^12)12 OR \12^^^^, and the relative uniform Roe functor

PRESERVED_PLACEHOLDER_^^^^12)12 OR \12^^^^

which is proved to be a good endofunctor (&&&^^^^12all:(\12^^^^&&&

If the pair PRESERVED_PLACEHOLDER_^^^^12)12)12^^^^ is scalable, then the main theorem of the geometric paper states

PRESERVED_PLACEHOLDER_^^^^12)12max_results12^^^^

for any coarse discretization PRESERVED_PLACEHOLDER_^^^^12)12sort_by12^^^^ (&&&^^^^12all:(\12^^^^&&& The unit and counit are constructed explicitly using the partition of unity coming from the discretization and the scaling map, and the resulting asymptotic adjunction yields a natural isomorphism of monoids

PRESERVED_PLACEHOLDER_^^^^12)12relevance12^^^^

for all PRESERVED_PLACEHOLDER_^^^^12max_results12query12^^^^-algebras PRESERVED_PLACEHOLDER_^^^^12max_results12all:(\12^^^^ (&&&^^^^12all:(\12^^^^&&&

This example is the clearest realization of the abstract notion. It translates between a topological functor built from vanishing-at-infinity continuous functions and a coarse-geometric functor built from relative Roe algebras, with the bridge provided not by a strict adjoint pair but by asymptotic adjunction.

^^^^12)12^^^^. Applications and relation to broader adjointness theories

The principal applications are to Connes–Higson PRESERVED_PLACEHOLDER_^^^^12max_results12 OR \12^^^^-theory, extension theory, and PRESERVED_PLACEHOLDER_^^^^12max_results12 OR \12^^^^-homology. The generalized morphism framework was designed to recover and extend “Kasparov-type” bivariant PRESERVED_PLACEHOLDER_^^^^12max_results12 OR \12^^^^-theories, and asymptotic adjunction provides a new route to identifying their morphism monoids (&&&^^^^12query12^^^^&&& In particular, the literature states that for suspension-type situations one obtains an alternative, “PRESERVED_PLACEHOLDER_^^^^12max_results12 OR \12^^^^-like,” model of PRESERVED_PLACEHOLDER_^^^^12max_results12)12^^^^-theory, and more specifically that

PRESERVED_PLACEHOLDER_^^^^12max_results12max_results12^^^^

when PRESERVED_PLACEHOLDER_^^^^12max_results12sort_by12^^^^ is asymptotically right adjoint to suspension in the required sense (&&&^^^^12query12^^^^&&&

The geometric paper makes these applications concrete. For suspension pairs PRESERVED_PLACEHOLDER_^^^^12max_results12relevance12^^^^ and their lattice discretizations, the asymptotic adjunction yields unsuspended descriptions

PRESERVED_PLACEHOLDER_^^^^12sort_by12query12^^^^

so that the right-hand sides do not involve suspensions of PRESERVED_PLACEHOLDER_^^^^12sort_by12all:(\12^^^^ (&&&^^^^12all:(\12^^^^&&& It also gives

PRESERVED_PLACEHOLDER_^^^^12sort_by12 OR \12^^^^

linking PRESERVED_PLACEHOLDER_^^^^12sort_by12 OR \12^^^^-theory to “extensions with asymptotic coefficients,” and

PRESERVED_PLACEHOLDER_^^^^12sort_by12 OR \12^^^^

for cones over compact subsets of a Hilbert sphere, with a generalization to any compact metric space by embedding into a Hilbert sphere (&&&^^^^12all:(\12^^^^&&&

Within the broader literature on adjointness, asymptotic adjunction occupies a specific position among several distinct responses to the failure or decomposition of strict adjoints. In enriched category theory, the representation functor PRESERVED_PLACEHOLDER_^^^^12sort_by12 OR \12^^^^ from monoids in a monoidal category PRESERVED_PLACEHOLDER_^^^^12sort_by12)12^^^^ to categories over an enriched category PRESERVED_PLACEHOLDER_^^^^12sort_by12max_results12^^^^ is genuinely adjoint to the endomorphism monoid functor PRESERVED_PLACEHOLDER_^^^^12sort_by12sort_by12^^^^, with

PRESERVED_PLACEHOLDER_^^^^12sort_by12relevance12^^^^

and the same pattern extends to operads and props via enrichments in symmetric and bisymmetric sequences (&&&^^^^12 OR \12all:(\12^^^^&&&^^^^^^^^12)12 In PRESERVED_PLACEHOLDER_^^^^12relevance12query12^^^^-category theory, general adjoint functor theorems characterize when a functor admits an adjoint in terms of continuity and solution-set or PRESERVED_PLACEHOLDER_^^^^12relevance12all:(\12^^^^-initial conditions, and for presentable PRESERVED_PLACEHOLDER_^^^^12relevance12 OR \12^^^^-categories right adjoints admit canonical decompositions as a coreflection followed by possibly transfinitely many monadic functors (&&&^^^^12 OR \12 OR \12^^^^&&&, &&&^^^^12 OR \12 OR \12^^^^&&&^^^^^^^^12)12 In the ^^^^12 OR \12^^^^-categorical setting of lax-idempotent pseudomonads, adjointness can be decomposed into PRESERVED_PLACEHOLDER_^^^^12relevance12 OR \12^^^^-cocontinuity and relative PRESERVED_PLACEHOLDER_^^^^12relevance12 OR \12^^^^-admissibility (&&&^^^^12 OR \12 OR \12^^^^&&&^^^^^^^^12)12 By contrast, the neat reduct functor for representable cylindric algebras provides a sharp non-example: it has no right adjoint, whereas the analogous functor for polyadic algebras is an equivalence (&&&^^^^12 OR \12 OR \12^^^^&&&^^^^^^^^12)12

Taken together, these results show that asymptotically adjoint good endofunctors belong to a larger landscape in which adjointness may be strict, relative, decomposed, or obstructed. Their distinctive feature is that the replacement for strict adjunction is formulated directly in the stabilized asymptotic language appropriate to PRESERVED_PLACEHOLDER_^^^^12relevance12 OR \12^^^^-algebraic bivariant theories.