AbstractVarietyMap -- the class of all abstract variety maps

Functions and methods returning an abstract variety map:

• AbstractVariety / AbstractVariety -- get a structure map
• abstractVarietyMap -- make an abstract variety morphism
• AbstractVarietyMap * AbstractVarietyMap -- composition of maps of abstract varieties
• map(FlagBundle,AbstractVariety,List) -- see map(FlagBundle,AbstractVarietyMap,List) -- make a map from an abstract variety to a flag bundle
• map(FlagBundle,AbstractVarietyMap,List) -- make a map from an abstract variety to a flag bundle

Methods that use an abstract variety map:

• AbstractVarietyMap ^* -- pull back operator associated to a map of varieties
• AbstractVarietyMap _* -- push forward operator associated to a map of varieties
• blowup(AbstractVarietyMap) -- see blowup -- blow up an abstract variety along a subvariety
• cotangentBundle(AbstractVarietyMap) -- see cotangentBundle -- get the cotangent bundle
• dim(AbstractVarietyMap) -- the dimension of an abstract variety
• sectionClass(AbstractVarietyMap) -- get the class of the image of a section of a map of abstract varieties
• source(AbstractVarietyMap) -- the source of a map of abstract varieties
• tangentBundle(AbstractVarietyMap) -- see tangentBundle -- get the tangent bundle
• target(AbstractVarietyMap) -- the target of a map of abstract varieties
• todd(AbstractVarietyMap) -- see todd -- compute the Todd class of an abstract sheaf, variety, map

For the programmer

The object AbstractVarietyMap is a type, with ancestor classes MutableHashTable < HashTable < Thing.