Showing math.CTShow all
2 papers · 1 filter
math.CT2024
The Logical Theory of Canonical Maps: The Elements & Distinctions Analysis of the Morphisms, Duality, Canonicity, and Universal Constructions in Set
David Ellerman
Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the…
math.CT2024
How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
David Ellerman
The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and univers…