Category theory studies mathematical structure: categories of objects (intentionally undefined, but could be a set, topological space, groups, or anything else) and the mappings of those objects between categories (morphisms).