Theory of mathematical structures - Adamek, Jiri (Reidel, 1983)