Finding Dory havoc, before crashing it into the sea, freeing all the fish. Dory, along with her parents and new friends, return to the reef with Marlin and Nemo. In a post-credits scene, the tank gang from the first film, still trapped inside their (now algae-covered) plastic bags, reach California one year after floating across the Pacific Ocean. They are eventually picked up by staff members from the Marine Life Institute. Prior to work on "Finding Dory", Disney had planned to make a "Finding Nemo" sequel without Pixar's involvement, through Circle 7 Animation, a studio Disney announced in 2005 with the intention
Forgetful functor of formal logic, a functor of the first kind removes axioms. The second kind removes predicates. The third kind remove types. An example of the first kind is the forgetful functor Ab → Grp. One of the second kind is the forgetful functor Ab → Set. A functor of the third kind is the functor Mod → Ab, where Mod is the fibred category of all modules over arbitrary rings. To see this, just choose a ring homomorphism between the underlying rings that does not change the ring action. Under the forgetful functor, this morphism yields the identity. Note that