The Logical Theory of Canonical Maps: The Elements & Distinctions Analysis of the Morphisms, Duality, Canonicity, and Universal Constructions in Set

TL;DR

This paper develops a logical framework for understanding canonical maps in Set, based on elements and distinctions, extending to other concrete categories, and clarifying the nature of canonicity through dual logics and partial orders.

Contribution

It introduces a logical theory of canonical maps rooted in elements and distinctions, providing a unified analysis of morphisms, duality, and universal constructions in Set and related categories.

Findings

Canonical maps are characterized by logical partial orders in the lattices of subsets and partitions.

The analysis applies to various Set-based categories like groups, rings, and vector spaces.

Maps defined by these logical orders are the canonical morphisms relative to the data.

Abstract

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 broader demonstration that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, canonicity, and universal constructions in Set, the category of sets and functions. The analysis extends directly to other Set-based concrete categories (groups, rings, vector spaces, etc.). Elements and distinctions are the building blocks of the two dual logics, the Boolean logic of subsets and the logic of partitions. The partial orders (inclusion and refinement) in the lattices for the dual logics define the canonical morphisms (where `canonical' is always relative to the given data, not an absolute property of a morphism). The thesis is that the maps that are canonical in Set are the ones that are defined (given the data of the situation) by these two logical partial orders and by the compositions of those maps.