Stabilna_kategoria_∞ does not exist