Category : Logic for Computer Science