例子

1. 任意一个群$G$都能定义一个由单对象$x$和态射$\mathop{\mathrm{Mor}}\nolimits (x, x) = G$组成的群胚，其态射的复合律由群本身的运算所给定。

2. 任意一个集合$C$都能定义一个群胚$\mathcal{C}$，其定义如下：对于对象我们取$\mathop{\mathrm{Ob}}\nolimits (\mathcal{C}) := C$，然后对于态射我们取$\mathop{\mathrm{Mor}}\nolimits (x, y)$为空如果$x\neq y$并且等于$\{ \text{id}_ x\}$如果$x = y$。