NeSyCat: A Monad-Based Categorical Semanticsof the Neurosymbolic ULLER Framework