Boolean
The booleans are the H-Set with exactly two elements. If we have Binary Coproducts and a Terminal Object , we can construct the booleans as ; this lets us construct the booleans in an arbitrary Category.
The booleans are the H-Set with exactly two elements. If we have Binary Coproducts and a Terminal Object , we can construct the booleans as ; this lets us construct the booleans in an arbitrary Category.