Data spaces: category (sheaf) theory and phenomenology - World Wide