Can someone point me more resources for category theory in the computer science point of view?