Finding Nemo (video game) Marlin plays tag with Dory and hide and seek with some baby turtles, they have a race to reach their destination. In the tank, Gil has Nemo search for five pebbles needed to jam the filter as part of their means to escape. Meanwhile, Marlin and Dory accidentally get swallowed by a whale. They travel through the whale's body and eventually manage to find a way out. Upon arriving in Sydney, the two fish meet Nigel who agrees to take them to the dentist's office. While they are en route, the dentist puts Nemo in a bag to give to
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