It is shown that pseudo BL-algebras are categorically equivalent to certain bounded DRl-monoids. Using this result, we obtain some properties of pseudo BL-algebras, in particular, we can characterize congruence kernels by means of normal filters. Further, we deal with representable pseudo BL-algebras and, in conclusion, we prove that they form a variety.