Diff — Concrete category

Revision #1107 → #2544 · back to history

modifiedEvery small category is concretizable97fcd59ffe45

Field	From #1107	To #2544
mathlib.decl	CategoryTheory.yoneda_faithful	CategoryTheory.Yoneda.yoneda_faithful
provenance	ai	ai-moderated

modifiedFaithful functor from presheaf categoryd25c6b594e29

Field	From #1107	To #2544
mathlib.decl	CategoryTheory.yoneda_faithful	CategoryTheory.Yoneda.yoneda_faithful
provenance	ai	ai-moderated