A Pierce Representation Theorem for varieties with BFC
classification
🧮 math.CT
math.AG
keywords
algebraiccongruencesdefinablefactorpiercerepresentationtheoremcategories
read the original abstract
We generalize the Pierce representation theorem for (commutative) rings with unit to other algebraic categories with Definable Factor Congruences by using tools from topos theory. Of independent interest, we prove that an algebraic category with right existential definable factor congruences is coextensive if and only if has center stable by complements.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.