Finding Nemo (franchise) "Finding Nemo" is the second highest-grossing film of 2003, behind "". It was the highest-grossing Pixar film, up until 2010 when "Toy Story 3" surpassed it. "Finding Dory" is the third-highest-grossing film of 2016, behind "Civil War" and "Rogue One". Finding Nemo is the 6th highest-grossing animated franchise and holds the highest average box office gross per film among all animated franchises in box office history ($983.8million) . Both films received overwhelmingly positive reviews, with the first film winning the Academy Award for Best Animated Feature. It was a financial blockbuster as it grossed over $921 million worldwide. It is
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