Bernard91 However, I was expecting to get an image with four times as many pixels due to the extra space needed for the three color channels.
I think you misunderstand how a Bayer Array works.
A Bayer Color camera is simply a monochrome camera with small tiny R G and B filters placed over each pixel. The filters are sometimes CMY, sometimes with a luminance ("white") channel, etc.
The number of pixels don't change, but each pixel responds to different passbands in the spectrum.
The cameras that ZWO sells have RGB filters, and arranged in a 2x2 supercell that looks like this pattern repeated over the sensor:
RG
GB
It is usually abbreviated RGGB.
The deBayering process then attempts to reconstruct a color image (by lowpass and resampling, usually) from that. After deBayering reconstruction, the result has the same number of pixels as the monochrome sensor, but each pixel now has all (degraded) color components.
See
https://en.wikipedia.org/wiki/Bayer_filter
https://patents.google.com/patent/US3971065A
Chen