Finding Nemo (video game) his niece, but Nemo gets the idea to pretend to be dead so that the dentist will flush him down the toilet, which will take Nemo to the ocean. Marlin, Dory, and Nigel arrive at the office and are horrified to see Nemo "dead" before Nigel is thrown out. Gill saves Nemo from getting thrown in the trash can instead of the toilet and helps Nemo escape via the dentist's sink. Nemo travels his way through the sewers and manages to find an exit. After finding Dory, they quickly search for Marlin, who is thrilled to see his son alive.
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