Finding Nemo a new animation studio, Circle 7 Animation, to make sequels to the seven Disney-owned Pixar films (which consisted of the films released between 1995 and 2006). The studio had put "Toy Story 3" and "Monsters University" into development, and had hired screenwriter Laurie Craig to write a draft for "Finding Dory". Circle 7 was subsequently shut down after Robert Iger replaced Eisner as CEO of Disney and arranged the acquisition of Pixar. In July 2012, it was reported that Andrew Stanton was developing a sequel to "Finding Nemo", to be titled "Finding Dory", with Victoria Strouse writing the script, and
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