Here’s a mathematical situation that comes up a lot more often than is reasonable. Suppose we have some mathematical object GGG, generally defined as some structure on a set: a group, a ring, a topological space. These all have natural categorical structures, so we can - in a uniform way - talk about their subobjects:
