Software engineering tasks instrumentation by category theory | IEEE Conference Publication | IEEE Xplore