  Dyck paths categories are introduced as a combinatorial model of the category
of representations of quivers of Dynkin type An. In particular, it is proved
that there is a bijection between some Dyck paths and perfect matchings of some
snake graphs. The approach allows us to give formulas for cluster variables in
cluster algebras of Dynkin type An in terms of Dyck paths.
