Time category is functional