We give a closed formula for the Thom polynomials of the singularities in terms of Schur functions. Our computations combine the characterization of the Thom polynomials via the “method of restriction equations” of Rimányi et al. with the techniques of Schur functions.
A separoid is a symmetric relation defined on disjoint pairs of subsets of a given set such that it is closed as a filter in the canonical partial order induced by the inclusion (i.e., and ). We introduce the notion of homomorphism as a map which preserve the so-called “minimal Radon partitions” and show that separoids, endowed with these maps, admits an embedding from the category of all finite graphs. This proves that separoids constitute a countable universal partial order. Furthermore,...