Finding Nemo (video game) Finding Nemo (video game) Finding Nemo is a 2003 action-adventure video game developed by Traveller's Tales, and Vicarious Visions. The game is based on the 2003 film of the same name by Disney and Pixar. The Game Boy Advance version was also released on a Twin Pack cartridge bundled with Monsters, Inc. in 2005. This game was developed for GameCube, PlayStation 2, and Xbox. It was also the last Pixar game developed by Traveller's Tales until Lego The Incredibles in 2018. The goal is to complete different levels under the roles of film protagonists Nemo, Marlin or Dory. It includes
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