proved that left subobject functors are idempotent
added proposition that shows subobject functors commute with quotients by subobjects