Cover relations on categories

DOI10.1007/S10485-008-9134-7MaRDI QIDQ835748zbMATH OpenOpenAlexFDO

Authors Zurab Janelidze

Publication date 31 August 2009

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-008-9134-7

zbMATH Keywords

cover relationfactorization systemmonoidal category

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Review text

A cover relation on a category \(\mathcal C\) is a binary relation \(\sqsubset \) on the class of morphisms of \(\mathcal C\), which is defined only for those pairs of morphisms which have the same codomain, and which has the following two properties: (i) if \(f\sqsubset g\) and \(h\) is composable with \(f\), then \( hf\sqsubset hg,\) (ii) if \(f\sqsubset g\) and \(f\) is composable with \(e\) then \( fe\sqsubset g\). The aim of this article is to examine two different kinds of cover relations on a category \(\mathcal C\) -- those induced by a special type of factorizations systems on \(\mathcal C\), and those induce by a special type of monoidal structures on \(\mathcal C\). In both cases the base structure can be fully recovered from the induced cover relation.

Recommendations

• A note on images of cover relations
• Categories of relations and functional relations
• Categories with partial covers
• Covering morphisms in categories of relational algebras
• scientific article; zbMATH DE number 1284150

Cites work

• Algebra valued functors in general and tensor products in particular
• Categories of continuous functors. I
• Centralizers in action accessible categories
• Closedness properties of internal relations. V: Linear Mal'tsev conditions
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 832997 (Why is no real title available?)
• scientific article; zbMATH DE number 3236070 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Intrinsic centrality and associated classifying properties
• Mal'cev categories and fibration of pointed objects
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(9)

• On the form of subobjects in semi-abelian and regular protomodular categories
• Epireflective subcategories and formal closure operators
• Tensor functional topology on Woronowicz categories
• A note on the five lemma
• scientific article; zbMATH DE number 769620 (Why is no real title available?)
• A note on images of cover relations
• Biproducts and commutators for Noetherian forms
• A note on the atomicity of arithmeticity
• Commutativity

This page was built for publication: Cover relations on categories

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