Algebraic logoi - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Pure and Applied Algebra Année : 2023

Algebraic logoi

A.S. Cigoli
  • Fonction : Auteur
J.R.A. Gray
  • Fonction : Auteur
T. van der Linden
  • Fonction : Auteur

Résumé

We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category is moreover well-powered with (small) joins, then the existence of split extension cores is equivalent to the condition that the change-of-base functors in the fibration of points are geometric. We call a finitely complete category that satisfies this condition an algebraic logos. We give examples of such categories, compare them with algebraically coherent ones, and study equivalent conditions as well as stability under common categorical operations.

Dates et versions

hal-04353377 , version 1 (19-12-2023)

Identifiants

Citer

A.S. Cigoli, J.R.A. Gray, T. van der Linden, Dominique Bourn. Algebraic logoi. Journal of Pure and Applied Algebra, 2023, 227 (6), pp.107293. ⟨10.1016/j.jpaa.2022.107293⟩. ⟨hal-04353377⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More