Finding Nemo (franchise) "Finding Nemo", its 2016 sequel, "Finding Dory" and the shorts "Exploring the Reef" and "Marine Life Interviews". "Finding Nemo" was released in 2003 by THQ. The goal in the game is to complete different levels under the roles of film protagonists Nemo, Marlin or Dory. It includes cutscenes from the movie and each clip is based on a level. For example, Marlin and Dory hopping through a batch of jellyfish. The game received mixed reviews. It received 2/5 stars on GameSpy, 6.2/10 points on GameSpot and IGN gave it 7.0/10 and 6.0/10 on its PS2 and Xbox, and GameCube platforms,
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