arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Presheaves and Yoneda Lemma

Open FeorgeGeorge opened this issue 8 months ago • 0 comments

This contains a proof that the category of presheaves is complete together with the yoneda lemma and the universal property of the presheves category.

FeorgeGeorge avatar Jun 07 '24 23:06 FeorgeGeorge