next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Schubert2 :: Correspondence

Correspondence -- the class of all correspondences

Description

A correspondence I from from an AbstractVariety X (the source of I) to another AbstractVariety Y (the target of I) consists of two functions I* and I*, which take cycles on X to cycles on Y and vice-versa, respectively. In general these functions are not ring maps or even module maps. See Correspondence ^* and Correspondence _* for more info.

Unlike an IncidenceCorrespondence, a general Correspondence need not have an intermediate variety.

Types of Correspondence :

Functions and methods returning an object of class Correspondence :

Methods that use an object of class Correspondence :

For the programmer

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