Generic interface for subobject classifiers and internal homs

https://github.com/AlgebraicJulia/Catlab.jl/pull/786 implements subobject classifiers and internal homs for C-Sets, but this code should be restructured into a generic interface (e.g. one that works with FinSet, too).