Title: Mathematical structures for computer sciences