Title: The functorial foundations of measure theory