There have been studies on office productivity based on temperature, as well as how it seems to differ between genders. Planet Money covered it fairly quickly[1], but they generally include sources so if you're interested you can dig deeper.

1: https://www.npr.org/2019/06/06/730438603/the-battle-for-the-...