Granica odwrotna (granica projektywna) – jedno z fundamentalnych pojęć teorii kategorii, wykorzystywane w wielu dziedzinach matematyki, na przykład w topologii czy algebrze. Pojęcie granicy odwrotnej, w nieco innej niż podana niżej wersji, pochodzi od Pawła Aleksandrowa. Ogólna definicja pochodzi od Solomona Lefschetza.