Processing math: 100%

Foundational temp4

Foundational temp3 ≻ Foundational temp4 ≻ Foundational temp formal power series

Guide

Locally small category
Set
Hom-functor
Presheaf category
Yoneda embedding

Parents

Sequel of

Foundational temp3

Foundational temp3