Partitions and Selectors

April 22, 2020

Look at this interesting stuff Let I be a finite set, X be another set I -> X is a selector function X -> I is a partition function for example, Let I = {0, 1}, X = N f: {0, 1} -> N selects two natural numbers g: N -> {0, 1} partitions N into two subsets now, what happenes if we categorify this notion I becomes a discrete category – elements as objects, only identity morphisms X becomes a category of all sets ...