Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2511.23206

The Lawvere condition

Nelson Martins-Ferreira
View original source ↗Read source document ↗Export metadata ↓

Abstract

The original Lawvere condition asserts that every reflexive graph admits a unique natural structure of internal groupoid. This property was identified by P. T. Johnstone, following a question by A. Carboni and a suggestion by F. W. Lawvere, and it plays a central role in the characterization of naturally Mal'tsev categories. A broad and conceptually rich generalization emerges when the condition is formulated relative to a chosen class of spans. In this setting, the familiar Mal'tsev situation is recovered when the class consists of internal relations (that is, jointly monic spans) in which case the condition states that every internal reflexive relation is an equivalence relation. The purpose of this paper is to establish a comprehensive equivalence theorem that unifies the various categorical and diagrammatic formulations of the relative Lawvere condition. Furthermore, this formulation retains its significance even beyond the context of categories with finite limits, extending, for example, to categories admitting pullbacks of split epimorphisms along split epimorphisms. In addition to providing a fresh perspective on previously established results, we present a new characterization involving Janelidze-Pedicchio pseudogroupoids.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nelson Martins-Ferreira. 2025-11-28. The Lawvere condition. https://arxiv.org/abs/2511.23206

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

KEEP EXPLORING

Related papers

arXiv2026

The category of nominal sets is locally monoidal closed

The category Nom of nominal sets was proposed by Pitts and Gabbay as a setting for the semantics of abstract syntax with variable bindings. It is well-known that Nom is a topos, also known as the Schanuel topos, and in particular it follows that Nom is locally closed, i.e., every slice category Nom/X is cartesian-closed. In this paper, we show that Nom has a much stronger property: every monoidal (closed) structure on Nom induces a monoidal (closed) structure on all slice categories Nom/X. One monoidal closed structure of particular interest on Nom is the separated product A * B, whose right adjoint A -* B is called the separated function space. In particular, it follows that Nom is locally separatedly closed.

math.CT↗
arXiv2026

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category. The Hochschild cohomology of the second kind of a curved or curved algebra $A$ is then equivalent to the classical Hochschild cohomology of the twisted derived dg category of $A$, which is often geometrically meaningful. Examples include the category of $\infty$-local systems on a topological space, the bounded derived category of a complex manifold and the category of matrix factorizations. We also show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality and weak equivalences of curved algebras. The main technical ingredient is a new bimodule version of Koszul duality.

math.CT↗
arXiv2026

Localization of lax symmetric monoidal categories

In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads". Version 2: A stronger version of the result is proven. Given a locally cocartesian fibration $f:X\to B$ and a collection of marked arrows $X^\circ\subset f^{-1}(B^{eq})$ in $X$ closed under locally cocartesian liftings, we prove that the localization $\mathcal{L}(X,X^\circ)\to B$ is also a locally cocartesian fibration whose fibers are localizations of the fibers of $f$. This result is applied to the description of localizations of lax symmetric monoidal categories.

math.CT↗