This is a straightforward generalization of the classical Pumping Lemma for regular languages. It was proved independently by the Warsaw team and by Filippo Bonchi, Daniela Petrisan and Alexandra Silva.

# Category Archives: posts

# Least supports and the representation theorem

This post discusses equivalence of:

1. existence of the least supports

2. representation theorem

# Equivariant endomorphisms

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

is an equivariant function. Then is a bijection.