A new Boolean matrix representation for Catalan semirings

We construct a faithful representation of the semiring of all order-preserving decreasing transformations of a chain with $n+1$ elements by Boolean upper triangular $n\times n$-matrices.