About **Puzzle 97** as stated the answer is infinite, because I can have say two distinct discrete categories of four objects just relabeling objects or identities. Possibly the fun is counting them up to isomorphism or maybe equivalence of cageories.