morphism
map (arrow) between two objects of a category
natural transformation
transformation between two functors studied in category theory
normal morphism
type of morphism
essential extension
concept in mathematics
branched covering
generalization of covers which allows for ramification
section
right inverse of a morphism
metric map
function between metric spaces that does not increase any distance
GIT quotient
mathematical construction that produces, given a reductive group G acting on an equivariant invertible sheaf over a variety X, a quotient scheme X⫽G and a morphism from an open subscheme (of semistable points): Xˢˢ → X⫽G
morphism of algebraic stacks
type of functor
bundle
generalization of a fiber bundle dropping the condition of a local product structure
kernel
generalization of the kernel of a homomorphism in category theory
quasi-isomorphism
morphism that induces an isomorphism on the (co)homology
integration along fibers
exceptional map from the cohomology of the total space of a fiber bundle to the cohomology of the base space, with a degree shift of −m, where m is the dimension of the fiber
morphism of schemes
ringed space morphism between schemes; locally a commutative ring homomorphism between coordinate rings
epimorphism
right-cancellative morphism
anamorphism
Programming function applied recursively to its previous result
phantom map
map between spectra whose induced map between homology theories is 0
retraction
left inverse of a morphism