 Opmonoidal functor

A functor with natural maps $F_2:F(X\otimes Y)\to FX\otimes FY$ and $F_0:FI\to I$ satisfying the reversed monoidal functor associativity and unit diagrams. No invertibility is required.