Object ideals and idempotent completeness

Jing He; Yixia Zhang

Home/Archive/arXiv

arXiv · 2611.07505

Object ideals and idempotent completeness

Jing He·Yixia Zhang

View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct an idempotent complete Frobenius exact category with an idempotent complete stable category in which a complete ideal cotorsion pair of object ideals induces a cotorsion pair of objects that fails to be complete. This gives a negative answer to the question of Fu, Guil Asensio, Herzog and Torrecillas under idempotent completeness. The construction uses a lemma on dense triangulated subcategories and an example of Bondarko and Sosnilo in which a weight structure fails to extend to the idempotent completion. The induced cotorsion pair is hereditary, and every object admits an ordinary precover from its left class and an ordinary preenvelope into its right class. We characterize which objects admit special precovers and which admit special preenvelopes.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Jing He, Yixia Zhang. 2026-11-05. Object ideals and idempotent completeness. https://arxiv.org/abs/2611.07505

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

KEEP EXPLORING

Related papers

arXiv2026

Composing Double Categories

Many kinds of generalised syntax, including internal categories, T-categories or polynomial monads, arise as monads in bicategories of a certain flavour: maps are some kind of span, and composition is some kind of pullback. We explain the pattern behind these similarities: each bicategory is stitched together from two simpler pieces by a distributive law, where the distributivity is governed by pullback. A key novelty is in the kind of distributive law we consider; where Rosebrugh and Wood considered distributive laws between categories, we instead consider pseudo-distributive laws between double categories. A key construction, drawing on work of Weber, obtains such a distributive law from a so-called co-crossed double category: one whose codomain functor is a fibration, and whose cartesian cells are stable under horizontal composition. We show the horizontal Kleisli double category of a monad T is co-crossed just when T is cartesian, and that the composite double category recovers T-spans; that the double category associated to an identity-on-objects functor is co-crossed just when that functor is a calibration in the sense of Bénabou; and that Street's calibrated bicategories yield co-crossed double categories in a similar manner, recovering the double category of polynomials of Gambino--Kock.

math.CT↗

arXiv2026

Presenting Point-Glued Self-Similar Objects as Final Coalgebras in Metric Spaces via Completion: A Categorical Hutchinson Theorem

We study self-similar spaces obtained by repeatedly gluing finitely many scaled copies of a pointed metric space along prescribed boundary points. A finite gluing specification defines endofunctors on suitable categories of pointed sets and pointed metric spaces. Under non-degeneracy and metric admissibility assumptions, the initial algebra of the set functor carries a canonical metric. Its Cauchy completion is a final coalgebra for the metric functor and, after forgetting the metric, also for the underlying set functor. We compare this construction with Iterated Function Systems. When the orbit algebra is injective and its comparison with the initial algebra is bi-Lipschitz, the attractor is isomorphic to the completed final coalgebra. This gives a categorical analogue of Hutchinson's theorem for overlaps captured by finitely many distinguished points. Examples include the unit interval, Cantor spaces, the Sierpiński gasket and $p$-adic integers.

math.CT↗

arXiv2026

A topological Mundici representation theorem

We lift Mundici's equivalence between MV-algebras and abelian $\ell$-groups with a strong unit to the topological setting. To this end, we prove that, for every topological MV-algebra, the associated Mundici group can be endowed with a topology that extends the topology of the MV-algebra and makes it into an abelian topological $\ell$-group. Among such topologies there is a finest one; we identify this topology as the topological-group reflection of the bounded-stage final topology, and construct an explicit zero-neighbourhood base in terms of the original MV-algebra topology. Using this topology, we establish a topological Mundici adjunction that restricts to an equivalence between topological MV-algebras and Mundici-fine abelian topological $\ell$-groups with a strong unit. Here, Mundici-fine means that the group topology is the finest $\ell$-group extension of its unit-interval topology. We also identify extremal $\ell$-group extensions under additional hypotheses, and establish a quasitopological correspondence clarifying the distinction between separate and joint continuity.

math.CT↗