Introduction to extensive and distributive categories¶
Carboni, A., Lack, S., & Walters, R. F. C. (1993). Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 145-158.
Cited by¶
2 citations across 1 artifact.
Domain-specific¶
- Extensive category
- A category is extensive when the canonical functor from the product of slice categories over X and Y to the slice over X+Y is an equivalence, encoding universal disjoint decomposition.
- … instance directly demonstrates that finite coproducts exist and for every X and Y the canonical functor from C/X times C/Y to C/(X+Y) is an equivalence under the declared size convention. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:feb6fe53a5b0 · see in the full table