CategoryFORTH Institute of Computer Science