2020/08/08 by David Neal Broodryk, Broodryk, David Neal
Computer Science · Mathematics · #08B05 #18A30 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2008.03474
openalex publication_date 2020/08/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A coextensive category can be defined as a category C with finite products such that for each pair X,Y of objects in C, the canonical functor ×\colon X/C × Y/C → (X × Y)/C is an equivalence. We give a syntactical characterization of coextensive varieties of universal algebras.