Kısa bir bilgi: Yoneda önsavı kategori teorinin basit bir sonucu. Kanıtı ise gayet temiz ve anlaşılması kolay. Peki, felsefik anlamı nedir (hatta sezgisel)?
Daha önce sorulmuş: http://matkafasi.com/6926/yoneda-yardimci-teoremi-nedir