@_onionesque Yeah, "free group action" is the odd one out in that it's not (related to) a left adjoint of a forgetful functor, just short for "fixed-point free". The "free G-set on X" would just be G x X.
Are you building a product that depends on a GREAT data experience to succeed? This is my area of expertise and I am happy to talk it through with you, for a short time my services are entirely freeeeeee. I just wanna hear about as many cool problems in this space as possible.