Pin out issue

Apologies if this has been covered before.
Using a published PWM starter "FADE" project stating...

int led = 9; // the pin that the LED is attached to

I note that pin 9 refers to the EDGE connector number and NOT the ATMEL pin 15 which is unhelpful UNLESS the project runs on the Arduino board.

Likewise, the on board LED and the "BLINK" project refers to...

// initialize digital pin 13 as an output.
pinMode(13, OUTPUT);

but this LED is actually connected to the CHIP on pin 19.

There must be a file somewhere mapping the edge connector pins to the Atmel pins.
I am an experienced PIC (assembler) programmer, new to the Arduino (and C).
As long as I can see how the mapping is done, I can handle the rest.

Comments?
best wishes

There is file for pin mapping e.g. for UNO arduino-1.0.6/hardware/arduino/variants/standard/pins_arduino.h.

The information is available here.

I found the Header file where you said it would be, Thanks a million.
I thought I was going Insane.

I already had the basic pinout of the chip which is why I was asking about the chip to edge connector mapping.

The header file is interesting to say the least.
I will take it from here.
Thanks again.