A category for 4-vectors, (and closely related 4-operators) which are mathematical objects used in the special theory of relativity.