Appendix @ The Functorial
Authors