Finding Nemo all but one of the eggs gone. He names this last egg "Nemo", a name that Coral had chosen. On the first day of school, the overprotective Marlin embarrasses Nemo during a field trip. While Marlin talks to the teacher, Mr. Ray, Nemo sneaks away from the reef toward a boat and is captured by a scuba diver. As the boat departs, one of the divers accidentally knocks his diving mask overboard. Marlin chases after the boat and meets Dory, a blue tang who suffers from short-term memory loss. The two encounter Bruce, Anchor and Chum, three reformed sharks who
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