Finding Nemo – The Musical on January 2, 2007. Several musical numbers took direct inspiration from lines in the film, including "Prologue", "In The Big Blue World", "The Drop Off", "Dory's Ditty", "Sharks", "Fish Are Friends, Not Food", "Where's My Dad", "The Tank Gang", "We Swim Together", "Dory and Marlin", "Just Keep Swimming", "Not My Dad", "Go With the Flow", "Gossip", "That's My Dad (Reprise)", "Darla!", "Sewage Treatment Plant", "We Swim Together (Reprise)" and "Finale - The Big Blue World (Reprise)". In January 2007, a New York studio recording of the show was released on iTunes, with Lopez and Anderson-Lopez providing the voices for Marlin
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