tgb comments on Book Review: Basic Category Theory for Computer Scientists (MIRI course list)