Preservation of bi-endomorphic composition by categorical reflection

DOI10.1007/BF01236862MaRDI QIDQ1121303zbMATH OpenOpenAlexFDO

Authors Isidore Fleischer

Publication date 1989

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01236862

zbMATH Keywords

bi-endomorphic compositionexponential transposesreflections in categories of partial algebras and domain-preserving homomorphismsrelatively free \(\Sigma\)-grouprelatively free \(\Sigma\)-ring

Mathematics Subject Classification ID

Categories of algebras (08C05) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Review text

Given a concrete category \({\mathcal C}\) over Set (with forgetful functor U), a bi-endomorphic composition on a \({\mathcal C}\)-object A is a binary operation on the underlying set U(A) such that both exponential transposes \(U(A) \rightrightarrows [U(A),U(A)]\) factor through the hom- set \({\mathcal C}(A,A)\). If \(\bar {\mathcal C}\) is a (full) reflective subcategory of \({\mathcal C}\), one may ask whether the two compositions \(U(A) \rightrightarrows {\mathcal C}(A,A)\to{\mathcal C}(\bar A,\bar A)\) factor through the underlying map of the universal morphism \(A\to \bar A\), and if they do, whether the resulting functions \(U(\bar A) \rightrightarrows {\mathcal C}(\bar A,\bar A)\to [U(\bar A),U(\bar A)]\) are in fact the exponential transposes of some bi-endomorphic composition on \(\bar A.\) The author uses this approach to compare reflections in categories \({\mathcal C}\) and \({\mathcal C}'\) of partial algebras and domain-preserving homomorphisms, where the \({\mathcal C}'\)-objects are \({\mathcal C}\)-objects with an additional total bi-endomorphic composition. In good cases, the reflection in \({\mathcal C}'\) reduces to the reflection in \({\mathcal C}\), thus eliminating the need for a separate construction. As an example, the relatively free \(\Sigma\)- ring can simply be obtained by forming the corresponding relatively free \(\Sigma\)-group.

Recommendations

• Existence of reflections and its applications
• scientific article; zbMATH DE number 3886099
• scientific article; zbMATH DE number 5053615
• Multi-\({\mathcal E}\)-reflective and bireflective subcategories of partial algebras
• Prereflections and reflections

Cites work

• Autonomous categories and duality of functors
• Congruence extension from a semilattice to the freely generated distributive lattice
• scientific article; zbMATH DE number 3882679 (Why is no real title available?)
• scientific article; zbMATH DE number 3236070 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Partially Ordered Sets

Cited in

(2)

• Every BCK-algebra is a set of residuables in an integral pomonoid
• Prereflections and reflections

This page was built for publication: Preservation of bi-endomorphic composition by categorical reflection

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