Title:Configurations in abelian categories. I. Basic properties

Abstract: This is the first in a series of papers math.AG/0312192, math.AG/0410267, math.AG/0410268 on "configurations" in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of objects \sigma(J) and morphisms \iota(J,K) or \pi(J,K) : \sigma(J) --> \sigma(K) satisfying some axioms, where J,K are subsets of I. Configurations are a tool for describing how an object X in A decomposes into subobjects, and are especially useful for studying stability conditions on A.
This paper is primarily elementary algebra and category theory. We define and motivate the idea of configurations, and explain some natural operations upon them -- subconfigurations, quotient configurations, refinements and improvements. The next paper math.AG/0312192 studies moduli spaces of (I,<)-configurations in A, using the theory of Artin stacks. We prove well-behaved moduli stacks exist when A is an abelian or exact category of coherent sheaves or vector bundles on a projective K-scheme P, and if A is an abelian category of representations of a quiver Q.
Subsequent papers math.AG/0410267, math.AG/0410268,... will apply these results to define systems of invariants of a projective K-scheme P that "count" (semi)stable coherent sheaves or vector bundles and satisfy interesting identities, and to construct and study infinite-dimensional algebras associated to a quiver Q.