Acknowledgements

We thank the denizens of the $n$-Category Café for catching mistakes and suggesting stylistic improvements. This research was supported by a grant from the Foundational Questions Institute.