Granica (teoria kategorii)