# Commit 2022-01-31 14:14 08fed82d

View on Github →feat(category_theory/preadditive): the Yoneda embedding for preadditive categories (#11740)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory/preadditive): the Yoneda embedding for preadditive categories (#11740)