Idealization



Category Hierarchies for Idealization