Every arrow between two points can be considered a different "proof" of a relation between those... on deniz

Every arrow between two points can be considered a different "proof" of a relation between those... on denizhttps://denizaydemir.com/graph/bartosz-milewski-category-theory-lectures/6a4d493f-7773-4f5e-96fb-fbb432cdc28a/622a1ea8-4dc6-4ed7-b09a-6ca0f918360c/6a4d493f-2001-473a-8f78-4ae4e88e66d9/Recent content in Every arrow between two points can be considered a different "proof" of a relation between those... on denizHugoen-us