Finding Nemo (video game) caves filled with dangerous fish. After escaping the caves, he spots some fish and tries to ask for help but is ignored. He meets Dory, a blue tang who suffers from "short-term memory loss." She helps lead Marlin after the boat but after following her three times, she completely forgets what they were doing. Believing Dory is no help, he leaves her but comes across a shark named Bruce, who is fish-friendly. Bruce invites them to a party and while Marlin is sceptical, Dory accepts. While traveling through octopus-infested caves and minefields, they come across some mines that Dory decides
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