So there is a difference between running a file while on an admin account and running a file "as admin"
For example, on an admin account try opening command prompt using just the regular click vs right click "run as admin"
When you run it as admin you'll notice the cmd.exe has an "administrator" tag on it.
Back to your question.
Yes, the user credentials are of an Admin account's credentials.