CatGloss

The intersection of a family of subobjects of $c$ is the limit of the diagram of monomorphisms with codomain $c$.