feat(library/data/category.lean) make is_iso, is_retraction, is_section classes