Finding Nemo the dentist, Gill helps Nemo escape into a drain that leads to the ocean. Having mistaken Nemo for dead, Marlin thanks Dory and starts his return journey. Dory meets Nemo when he reaches the ocean, but she has lost her memory. Eventually, Dory's memory returns when she reads the word "Sydney" on a drainpipe. She reunites Nemo with Marlin, but she is caught in a fishing net with a school of grouper. Nemo enters the net and orders the grouper to swim downward to break the net and they all escape. Later, having returned home, Marlin and Dory proudly watch
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