Equivalence of Categories: PDiff ≅ PL

PDiff is equivalent to PL, and vice versa.

PDiff ≅ PL

equivalent_categories: PDiff, PL

This data as json

cat1 cat2
PDiff PL