Take a stereo channelstrip, insert a Gain Plugin and switch it to mono.
Or route the stereo channelstrip to a mono channelstrip.
Or route the stereo channelstrip to a bus, create a new audio mono channelstrip and record from the bus to get a mono file.
Or ...