Cartesian Bicategories I.¶
Carboni, A., & Walters, R. F. C. (1987). Cartesian Bicategories I. Journal of Pure and Applied Algebra, 4049(87), 1-2.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Regular Category
- Stable image factorization makes this composition well defined and associative, generalizing ordinary relational composition in Set.
This sourceDevelops the categorical calculus of relations arising from regular categories.
- Stable image factorization makes this composition well defined and associative, generalizing ordinary relational composition in Set.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:dbc4589d3db6 · see in the full table