Algebrai logika, kategóriaelmélet II.: Kategóriaelmélet - (:unkn) unknown (My University, 2026)