Problem 1. (a) Let (P, S) be a preorder. Preorders can be viewed as special kinds of categories with few arrows. Formula
Posted: Thu May 12, 2022 9:32 am
Problem 1. (a) Let (P, S) be a preorder. Preorders can be viewed as special kinds of categories with few arrows. Formulate Yoneda's principle for preorders. (Awodey calls a certain theorem "Yoneda's principle".)