Monomorfismo (teoria das categorias)
homomorfismo injectivo / De Wikipedia, a enciclopédia encyclopedia
Um monomorfismo (ou mono), no contexto de teoria das categorias, é uma generalização do conceito de função injetiva. Uma seta numa categoria é um monomorfismo se e somente se implica sempre que são setas e é objeto de . Ou seja, uma seta é mono se ela pode ser cancelada à esquerda de uma composição.
A noção dual a monomorfismo é epimorfismo.[1]