Atompress

Search
Skip to content
  • Home
  • About
  • Atom Book
posts

Equivariant endomorphisms

March 25, 2014 Mikołaj 1 Comment

Fact. Suppose that  X is a one-orbit set and

    \[f : X \to X\]

is an equivariant function. Then f is a bijection.

Continue reading →

Posts navigation

← Previous 1 … 4 5

Computation with atoms

Recent Posts

  • Orbit-finite dimensional vector spaces, and orbit-finite systems of linear equations
  • Fraisse and Completeness from Baire Categoricity
  • Least supports and weak elimination of imaginaries
  • The Rado graph admits only one oligomorphic action of its automorphism group
  • Least supports and non-interpretability

Recent Comments

  • Bartek on Orbit-finite CSPs
  • Bartek on Orbit-finite CSPs
  • Bartek on Classification of standard alphabets
  • Sylvain on Decidability results based on a WQO in homogeneous atoms
  • szymtor on Uniform bound on the size of support of a witness

  • Log in
Proudly powered by WordPress