  The simplification of a multigraph into a simple graph can be abstracted to a
more general comma category under some common conditions. When using the
identity functor, the category of simple objects in a comma category
generalizes the functor-structured category. Seated in categorical terms,
simplification can be dualized to "antisimplification", which manifests as
removal of isolated vertices and loose edges.
