Gray, John W.1931BooksReports of the Midwest Category Seminar VMastering MathematicaFormal category theory: adjointness for 2-categoriesAuthor data: Open Library