Funktor (teoria kategorii)