Finding Nemo Submarine Voyage original attraction), to hear the fish talk. The sub passes through a dark cavern where huge eels lunge toward the submarine, and lobsters can be seen as well. The sub passes Marlin, a clownfish, and Dory, a regal blue tang, as they discover that Nemo has gotten lost again. Farther along the reef, guests encounter Mr. Ray and his class swimming through the coral looking for Nemo as well. The first mate announces that the sub is approaching the East Australian Current, and the submarine enters the current along with Nemo, Squirt, Crush and other green sea turtles. The sub
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