Fix a ground field $k$. By a **linear category** I will mean an Abelian category which is compatibly enriched over $k$-vector spaces. A linear category is called **finite** if it satisfies the following four conditions:


1. Every hom vector space is finite dimensional;
2. There are finitely many simple objects, up to isomorphism;
3. There are enough projective objects (i.e. for every object $x$ there is a projective object $p$ and a surjection $p \to x$; and
4. Every object has **finite length**, i.e. for each object $x$, any descending chain of proper subobjects
$$ x \supsetneq x\_0 \supsetneq x\_1 \supsetneq x\_2 \supseteq \cdots $$ is necessarily finite.


It is well known that a linear category is finite if and only if it is equivalent to $Rep(A)$ the category of finite dimensional modules of a finite dimensional $k$-algebra $A$. See for example Prop. 1.4 of [arXiv:1406.4204](http://arxiv.org/abs/1406.4204) for a proof of this fact. 


The proof given in this reference uses all four of these properties. But one can still wonder if each of these assumptions is absolutely necessary? Perhaps some of these conditions imply the others? The following examples show that this is not the case for the first three properties:



> 
> **Example 1**: Let $K$ be an infinite field extension of $k$. Then the category $Vect\_K$ of finite dimensional $K$-vector spaces (finite $K$-dimension, that is) is a $k$-linear category which satisfies (2), (3), and (4), but not (1). 
> 
> 
> 


For the next examples if $A$ is a $k$-algebra, not necessarily finite, we will let $Rep(A)$ denote the category of finite dimensional $A$-modules, i.e. finite dimensional vector spaces equipped with an action of $A$. 



> 
> **Example 2**: Let $A = \oplus\_\infty k$, the countable direct sum of copies of the algebra $k$. Then $Rep(A)$ satisfies (1), (3), and (4), but not (2). 
> 
> 
> **Example 3**: Let $A = k[[x]]$ be the formal power series algebra on one generator. Then $Rep(A)$ satisfies (1), (2), and (4), but not (3). 
> 
> 
> 


So that leaves the finial property. My question is:



> 
> **Question**: Is there an example of a linear category which satisfies the above properties (1), (2), and (3), but which fails to satisfy property (4)?
> 
> 
> 


It is easy to construct examples which fail to satisfy property (4), but everything I have come up with so far also fails to satisfy one of the other properties as well. One of the reasons I am interested in this question is to better understand the Deligne tensor product. It is usually defined for finite linear categories, and I would like to understand what kinds of categories we would be dealing with if various assumptions were dropped. 



A linear category with objects of infinite length but which is otherwise finite?
Consider the category of functors from the poset $(\mathbb{Q}\_{\geq0},\leq)$ to finite-dimensional vector spaces, and let $\mathcal{A}$ be the full subcategory consisting of functors $F$ for which there is a finite sequence
$$0=x\_0<x\_1<\dots<x\_n$$
in $\mathbb{Q}\_{\geq0}$ such that $F(y)\to F(z)$ is an isomorphism whenever $x\_i\leq y<z<x\_{i+1}$ for some $i$ or when $x\_n\leq y<z$. Call $\{x\_0,\dots,x\_n\}$ an *exceptional set* of $F$.


Then $\mathcal{A}$ is an exact abelian subcategory of the functor category: if $F$ and $G$ are in $\mathcal{A}$ with exceptional sets $S\_F$ and $S\_G$, then the kernel and cokernel of a morphism $F\to G$ are in $\mathcal{A}$ with exceptional set $S\_F\cup S\_G$.


(1) If $F$ has exceptional set $\{x\_0,\dots,x\_n\}$ then a morphism $F\to G$ is determined by the maps $F(x\_i)\to G(x\_i)$, so Hom-spaces are finite-dimensional.


(2) There are finitely many simple objects because there are no simple objects at all.


(3) For $x\in\mathbb{Q}\_{\geq 0}$ let $P\_x$ be the object where
$$P\_x(y)=
\begin{cases}0&\mbox{if }y<x\\
k&\mbox{if }y\geq x
\end{cases}$$
and $P\_x(y)\to P\_x(z)$ is an isomorphism for $x\leq y<z$. Then $P\_x$ is projective, and if $F$ has exceptional set $\{x\_0,\dots,x\_n\}$ then $F$ is a quotient of 
$$\left(P\_{x\_0}\otimes\_kF(x\_0)\right)\oplus\dots\oplus\left(P\_{x\_n}\otimes\_kF(x\_n)\right),$$
so $\mathcal{A}$ has enough projectives.


(4) If $y\_0<y\_1<\dots$ is an increasing sequence in $\mathbb{Q}\_{\geq0}$, then
$$P\_{y\_0}\supsetneq P\_{y\_1}\supsetneq\dots,$$
so $\mathcal{A}$ has infinite descending chains of proper subobjects.


