Foundational temp4
Foundational temp3
$\succ$ Foundational temp4 $\succ$
Foundational temp formal power series
Guide
Locally small category
Set
Hom-functor
Presheaf category
Yoneda embedding
Parents
Sequel of
Foundational temp3
Related
Foundational temp3