Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2608.30476

A note on coextensivity of bounded hoops

Michael Hoefnagel·Giuseppe Metere·Danielle Kleyn
View original source ↗Read source document ↗Export metadata ↓

Abstract

The main aim of this note is to provide a characterisation of coextensive morphisms in the category of bounded hoops. This characterisation is then used to show that several categories of bounded hoops are coextensive as categories. Among these are the variety of bounded Wajsberg hoops, or more generally the variety of bounded $\vee$-hoops. Our characterisation also yields the coextensivity of the category $\mathbf{Heyt}$ of Heyting algebras and recovers the known coextensivity of the category $\mathbf{MV}$ of MV-algebras.

Explore related subjects

math.CTmath.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Hoefnagel, Giuseppe Metere, Danielle Kleyn. 2026-09-07. A note on coextensivity of bounded hoops. https://arxiv.org/abs/2608.30476

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

KEEP EXPLORING

Related papers

arXiv2026

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos

Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, which is defined for Us-admitting dcpos, where Us-admissability is well-filteredness with compact sets replaced by strongly compact sets. In this paper, we consider the Hoare power construction H and the Smyth power construction Q on the category WF of well-filtered dcpos with Scott-continuous maps. Actually, the functors H and Q can be extended to monads. We prove that H and Q commute, that is, HQ(L) is isomorphic to QH(L) for a well-filtered dcpo L, if and only if L satisfies a property similar to consonance that we call (KC) and the Scott topology coincides with the upper Vietoris topology on Q(L). We also investigate the Eilenberg-Moore category of the monad composed by H and Q under a distributive law on WF and characterize it to be a subcategory of the category Frm, which is composed of all frames and all frame homomorphisms.

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↗