WHEN DO BIRKHOFF OBJECTS SEPARATE?
Published in The Review of Symbolic Logic • Jul 28, 2026
Authors:,
FRANCISCO MARMOLEJO
MATÍAS MENNI
Abstract
Abstract We show that, for any pre-cohesive presheaf topos, Birkhoff objects separate if, and only if, the pseudo-constants of every object in the site are jointly epic. In the examples where the sites are duals of categories of finitely generated algebras, the condition above holds by Birkhoff’s th...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!