Study of applications of mathematical abstractions