n. an abstraction from the study of structures and structure-preserving mappings, such as groups and their homomorphisms or topologies and their homeomorphisms. See category.