User called mysql in fresh mariadb install on debian
MariaDB is a fork of MySQL, and as such it uses the latter name for many important things, including its command line tool mysql, daemon binarymysqld, and the user IDmysql` under whose authority the daemon runs. As mentioned in the comments, most Linux daemons run as their own dedicated user IDs for improved security. 

Do not delete the user mysql.