===== 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]]