前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手

Alwe

@Alwe

サクラ

@sakuramath

くろの

@Khrono

K.Hirata

@faibles_math