Uma abordagem categórica para ações parciais de monoides
Seguindo a ideia no artigo de Hu e Vercruysse [1], introduzimos morfismos parciais em uma categoria arbitrária $\textbf{C}$, de modo que ações parciais de um monoide $M$ em um conjunto $X$ correspondem a certas funções de $M$ para o conjunto de classes de isomorfismo de morfismos parciais de $X$ para $X$ na categoria de conjuntos.