Homomorphic images of subdirectly irreducible groupoids David Stanovský (2001) Commentationes Mathematicae Universitatis Carolinae A groupoid H is a homomorphic image of a subdirectly irreducible groupoid G (over its monolith) if and only if H has a smallest ideal.