Finding Nemo – The Musical and Dory, respectively. "Avenue Q" star Stephanie D'Abruzzo also appeared on the recording, as Sheldon/Deb. "Finding Nemo" was the first non-musical animated film to which Disney added songs to produce a stage musical. In 2009, "Finding Nemo – The Musical" was honored with a Thea Award for Best Live Show from the Themed Entertainment Association. Finding Nemo – The Musical Finding Nemo – The Musical is a live action musical stage show based on Disney/Pixar's 2003 film "Finding Nemo", located at the Theater in the Wild in DinoLand U.S.A at Disney's Animal Kingdom. The stage musical Tarzan Rocks! occupied the
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