1: \begin{abstract}

2:     Erd\H{o}s and P\'{o}sa proved in 1965 that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles.

3:     Such a duality does not hold if we restrict to odd cycles. 

4:     However, in 1999, Reed proved an analogue for odd cycles by relaxing packing to half-integral packing.

5:     We prove a far-reaching generalisation of the theorem of Reed; if the edges of a graph are labelled by finitely many abelian groups, then 

6:     there is a duality between the maximum size of a half-integral packing of cycles whose values avoid a fixed finite set for each abelian group

7:     and the minimum size of a vertex set hitting all such cycles. 

8:     

9:     A multitude of natural properties of cycles can be encoded in this setting, for example cycles of length at least~$\ell$, cycles of length~$p$ modulo~$q$, cycles intersecting a prescribed set of vertices at least~$t$ times, and cycles contained in given $\mathbb{Z}_2$-homology classes in a graph embedded on a fixed surface. 

10:     Our main result allows us to 

11:     prove a duality theorem for cycles satisfying a fixed set of finitely many such properties.

12: \end{abstract}

13: