Category Theory for Programmers: The Preface | Dark Hacker News