En matemáticas, un semigrupoide es un álgebra parcial que satisface los axiomas para una categoría pequeña, excepto posiblemente por el requisito que haya una identidad para cada objeto.
Los semigrupoides generalizan los semigrupos de la misma manera que las categorías pequeñas generalizan los monoides y los grupoides generalizan los grupos, y tienen usos en la teoría estructural de semigrupos.
Formalmente, un semigrupoide consiste en: tal que vale el siguiente axioma: