Algebraic logoi - Archive ouverte HAL Access content directly
Journal Articles Journal of Pure and Applied Algebra Year : 2023

Algebraic logoi

A.S. Cigoli
  • Function : Author
J.R.A. Gray
  • Function : Author
T. van der Linden
  • Function : Author

Abstract

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 and versions

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

Identifiers

Cite

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⟩
11 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More