Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory

David Ellerman

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "…