The Doctrine Equivalence