• ms@ms.lt
• +370 607 27 665
• My work is in the Public Domain for all to share freely.

Introduction E9F5FC

Understandable FFFFFF

Questions FFFFC0

Notes EEEEEE

Software

• What does it mean to multiply polynomials?

Morphisms of the simplex

• Power symmetric function {$p_k(x_1, \dots , x_n)$}: one morphism from each simplex {$[k-1]$} to every vertex of {$[n-1]$}.
• Elementary symmetric function {$p_k(x_1, \dots , x_n)$}: one morphism for every subsimplex.
• Homogeneous symmetric function {$p_k(x_1, \dots , x_n)$}: one morphism for every monotone function (way of building up).
• Monomial symmetric function?

Compare these types of morphisms with those of various categories:

• Inclusion defines morphism for the category of the open sets of a topological space. This space is important for defining a topological presheaf {$C^{op}\rightarrow \mathrm{Top}$}.

Thus we can think of elementary symmetric functions as defining a "topological" perspective on the simplex.

#### SymmetricFunctionsInCategoryTheory

Naujausi pakeitimai

 Puslapis paskutinį kartą pakeistas 2019 balandžio 17 d., 15:01