Algebrai logika, kategóriaelmélet I.: Univerzális algebra - (:unkn) unknown (My University, 2026)