On extensivity and coextensivity of morphisms
coextensive categoriesextensive categoriesextensive morphismsFraser-Horn propertystrict refinement property
Products, amalgamated products, and other kinds of limits and colimits (08B25) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Extensive, distributive, and adhesive categories (18B50)
A category \(\mathbb{C}\)\ with finite coproducts is \textit{extensive} if the canonical functor\N\[\N\left( \mathbb{C}\downarrow X_{1}\right) \times\left( \mathbb{C}\downarrow X_{2}\right) \overset{+}{\rightarrow}\left( \mathbb{C}\downarrow\left( X_{1}+X_{2}\right) \right)\N\]\Nis an equivalence for any objects \(X_{1}\)\ and \(X_{2}\). Equivalently, extensivity may be formulated internally. A category \(\mathbb{C}\)\ with finite coproducts is extensive if admits all pullbacks along coproduct injections, and for any diagram\N\[\N\begin{array} [c]{ccccc} \NA_{1} & \longrightarrow & A & \longleftarrow & A_{2}\\\N\downarrow & & \downarrow f & & \downarrow\\\NX_{1} & \longrightarrow & X & \longleftarrow & X_{2} \N\end{array}\N\]\Nwith the bottom row being a coproduct, the top row is a coproduct iff the squares are pullbacks [\textit{A. Carboni} et al., J. Pure Appl. Algebra 84, No. 2, 145--158 (1993; Zbl 0784.18001), Proposition 2.2]. These two formulations suggest two distinct points of view on the nature of extensivity. This paper focuses on the second point of view, defining a morphism \(f:A\rightarrow X\) in a category \(\mathbb{C}\) to be extensive if every coproduct injection into \(X\) admits a pullback along \(f\), and \(f\) abides by the diagrammatic property described above. A category with finite coproducts is then coextensive iff every morphism is extensive. The notion of coextensivity of a morphism is defined dually.\N\NThrough these notions, topics in universal algebra, such as the strict refinement and Fraser-Horn properties, take a categorical form, thereby enjoying the benefits of categorical generalization. On the other hand, the universal algebraic theory surrounding these topics leads to categorical results.
- \(\mathcal{M}\)-coextensive objects and the strict refinement property
- Action Semantics
- Characterizations of majority categories
- Congruence Relations in Direct Products
- Connected objects in categories of S-acts
- Exact categories and categories of sheaves
- scientific article; zbMATH DE number 7692243 (Why is no real title available?)
- Introduction to extensive and distributive categories
- Majority categories
- On direct product desomposition of partially ordered sets
- Products and coequalizers in pointed categories
- Refinement properties for relational structures
- The denormalized \(3{\times}3\) lemma
This page was built for publication: On extensivity and coextensivity of morphisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6925606)
