The Mauricio callup made all sorts of sense to me. The only other options on the roster were Hayden Senger, MJ Melendez, and Nick Morabito.
Senger is a catcher. Melendez is 0-for-4 at Syracuse. Morabito is hitting, but he's only got seven games above AA.
Mauricio can help. The idea that bench time stunts development is a doctrine, not a law. Opportunities will present themselves, especially with Mendoza avoiding lefty-on-lefty and righty-on-righty matchups late in games with several players, and pinch-running liberally for his catchers and for Polanco.