what-is-special-about-set-in-the-double-category-cat