Note that maths has been a giant, millennia-long, exercise in Union-Find: starting from the days when someone first noticed that a pair of cows and a pair of sheep were both 2 things, all the way up to whatever today's equivalent of someone noticing that a monoid in End(C) and a closure and tree grafting are all monads may be.