Products and coequalizers in pointed categories

zbMATH Open1430.08002arXiv1910.12517MaRDI QIDQ5203768FDOQ5203768

Authors: Michael Hoefnagel 

Publication date: 9 December 2019

Abstract: In this paper, we investigate the property (P) that finite products commute with arbitrary coequalizers in pointed categories. Examples of such categories include any regular unital or (pointed) majority category with coequalizers, as well as any pointed factor permutable category with coequalizers. We establish a Mal'tsev term condition characterizing pointed varieties of universal algebras satisfying (P). We then consider categories satisfying (P) locally, i.e., those categories for which every fibre $P{t}_{mathbbC}(X)$ of the fibration of points $pi:P{t}_{mathbbC}ightarrowmathbbC$ satisfies (P). Examples include any regular Mal'tsev or majority category with coequalizers, as well as any regular Gumm category with coequalizers. Varieties satisfying (P) locally are also characterized by a Mal'tsev term condition, which turns out to be equivalent to a variant of Gumm's shifting lemma. Furthermore, we show that the varieties satisfying (P) locally are precisely the varieties with normal local projections in the sense of Z. Janelidze.

Full work available at URL: https://arxiv.org/abs/1910.12517

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• scientific article; zbMATH DE number 1924515
• Anticommutativity and the triangular lemma
• scientific article; zbMATH DE number 7692243
• Two ways to centralizers of equivalence relations
• scientific article; zbMATH DE number 1665417
• Algebraic exponentiation in general categories
• scientific article; zbMATH DE number 2113401
• A characterisation of the ``Smith is Huq condition in the pointed Mal'tsev setting
• Intrinsic centrality and associated classifying properties
• Points of affine categories and additivity

zbMATH Keywords

shifting lemmanormal projectionsproduct commutes with coequalizersproduct preserves coequalizersstability of coequalizers under product

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Varieties (08B99)

Cites Work

• Title not available (Why is that?)
• Diagram chasing in Mal'cev categories
• Introduction to extensive and distributive categories
• Subtractive categories
• Geometrical methods in congruence modular algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mal'cev categories and fibration of pointed objects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories
• Title not available (Why is that?)
• Majority categories
• Characterizations of majority categories
• Title not available (Why is that?)

Cited In (11)

• Matrix taxonomy and Bourn localization
• Some constructions in the category of pointed \(G\)-sets
• Anticommutativity and the triangular lemma
• Title not available (Why is that?)
• Monadic vs adjoint decomposition
• Products and duality in Waldhausen categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• A class of exactness properties characterized via left Kan extensions
• \(\mathcal{M}\)-coextensive objects and the strict refinement property
• Categorical aspects of congruence distributivity

This page was built for publication: Products and coequalizers in pointed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5203768)