Equivalence of Categories: Pfn ≅ Set*
Pfn is equivalent to Set*, and vice versa.
Pfn ≅ Set*
equivalent_categories: Pfn, Set*
This data as json
| cat1 | cat2 |
|---|---|
| Pfn | Set* |
Pfn is equivalent to Set*, and vice versa.
This data as json
| cat1 | cat2 |
|---|---|
| Pfn | Set* |