All Questions
1 question with no upvoted or accepted answers
8
votes
0
answers
191
views
Yoneda embedding and Horn sentences
The following is taken from Borceux and Bourn's Mal'cev, Protomodular, Homological, and Semi-Abelian Categories.
Metatheorem 0.1.3. Let $\mathcal P$ be a statement of the form $\varphi\implies \psi$, ...
- 10.5k