Balanced category theory

zbMATH Open1143.18004arXiv0802.0600MaRDI QIDQ5454629FDOQ5454629

Authors: Claudio Pisani 

Publication date: 31 March 2008

Abstract: Some aspects of basic category theory are developed in a finitely complete category $C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this axiomatization of final and initial functors and discrete (op)fibrations, concepts such as components, slices and coslices, colimits and limits, left and right adjunctible maps, dense maps and arrow intervals, can be naturally defined in $C$, and several classical properties concerning them can be effectively proved. For any object $X$ of $C$, by restricting $C/X$ to the slices or to the coslices of $X$, two dual "underlying categories" are obtained. These can be enriched over internal sets (discrete objects) of $C$: internal hom-sets are given by the components of the pullback of the corresponding slice and coslice of $X$. The construction extends to give functors $CoCat$, which preserve (or reverse) slices and adjunctible maps and which can be enriched over internal sets too.

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

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

Recommendations

• Slicing sites and semireplete factorization systems
• scientific article
• Enriched factorization systems
• Publication:4508556
• Enriched and internal categories: an extensive relationship

zbMATH Keywords

reflectionsenrichmentfactorization systemsadjunctible mapsarrow intervalscolimiting conescomplements.cylinders and homotopydense mapsfinal maps and discrete fibrationsinitial maps and discrete opfibrationsinternal sets and componentsslices and coslices

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) General theory of categories and functors (18A99)

Cited In (1)

• Balance in stable categories

This page was built for publication: Balanced category theory

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