A similar "joke" in mathematics is that "a sheaf of groups is just a group of sheaves" (meaning that a sheaf of groups on a topological space X is a group object in the category of sheaves of sets on X)