Finding Nemo 2012. In 2008, the American Film Institute named it the 10th greatest animated film ever made as part of their 10 Top 10 lists. In a 2016 poll of international critics conducted by BBC, "Finding Nemo" was voted one of the 100 greatest motion pictures since 2000. A sequel, "Finding Dory", was released on June 17, 2016 in the United States. A clownfish couple, Marlin and Coral, are admiring their new home in the Great Barrier Reef, Australia, and their clutch of hundreds of eggs, when a barracuda attacks. Marlin is knocked unconscious, and wakes up to find Coral 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