Saturday, January 27, 2018

Category

Read $centerdot as “after” and you'll be able to avoid treating a categorical arrow as a function.
ob (C) and hom (C) are complementary and conjugate.

No comments: