nonempty category such that for any two objects π₯, π¦ there exists a diagram π₯βπ§βπ¦ and for every two parallel arrows π,π: π₯βπ¦ there exists an β: π¦βπ§ such that ββπ=ββπ
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). filtered category. Retrieved May 7, 2026, from https://4ort.xyz/entity/filtered-category