We introduce a finite category Pup. A standard representation is the objects {inside, outside} and in addition to the identities there are two morphisms that form a bijection:
door: inside -> outside
door -1: outside -> insideThe literature conventionally refers to these operations as "let the dog out" and "let the dog in", respectively
(
Read more... )