Abstract:We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We first construct the simple representations, recovering the classification given by Wiltshire-Gordon. The construction given here also yields explicit descriptions of the indecomposable projectives. These results are used to give a convenient set of projective generators of the category of representations of $\mathbf{FA}$ and hence a Morita equivalence result. This is used to explain how to calculate the multiplicities of the composition factors of an arbitrary object, based only on its underlying $\mathbf{FB}$-representation, where $\mathbf{FB}$ is the category of finite sets and bijections. This is applied to show how to calculate the morphism spaces between projectives in our chosen set of generators, as well as for a closely related family of objects (the significance of which can be shown by relative nonhomogeneous Koszul duality theory).

A note on fixed points of endofunctors

Relative fixed points of functors

Fixpoint operators for 2-categorical structures

Beyond Initial Algebras and Final Coalgebras

Relative fixed point theory

Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment

Lefschetz fixed-object and fixed-morphism theorems for acyclic categories

Functors on the category of finite sets revisited

Porosity and Fixed Points of Nonexpansive Set-Valued Maps

A Lefschetz fixed-point formula for noncompact fixed-point sets

The fixed point property of a poset and the fixed point property of the poset induced by its extremal points

A Note on the Non-Existence of Functors

Cohomology of Pointed Finite Tensor Categories

Fixed points and semifree bordism

Fixed-point-free fusion automorphisms

Fixed Point Sets in Digital Topology, 2

On periodic points of free inverse monoid endomorphisms

Endomorphism Category of an Abelian Category

Frobenius rigidity in $\mathbb A^1$-homotopy theory

A fixed point index approach to Krasnosel'skii-Precup fixed point theorem in cones and applications

Mackey functors for posets