Nemo & Friends SeaRider which allows it to think like a real fish and operate without a pilot. Guests dive into the sea aboard this fish-submarine and meet marine life such as Nemo, Dory and Marlin, who take guests on a journey through the ocean and encountering numerous characters from the two Finding Nemo films. Similar to Star Tours: The Adventures Continue, there are multiple variations in the ride film with the attraction being divided into roughly five story beats. Upon being shrunk, the guests arrive on the Great Barrier Reef. They travel through the reef either in the midst of a game of
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