<![if !supportEmptyParas]> <![endif]>

<![if !supportEmptyParas]> <![endif]>

for	categories An introduction to Category Theory community Software Scientists and Practitioners

Welcome! 

I'm making these pages available in the hope that you can give me some feedback before I send the manuscript to the publishers (which I expect to do very soon).

You can download the whole draft here, or separate chapters from the table below.

I hope you enjoy the reading!

table of contents

preface

1 introduction

2 introducing categories

3 building categories

4 universal constructions

5 functors

6 functor-based constructions

7 adjunctions

8 community

9 architectural description

10 an algebra of connectors

references

index

If you are interested in the book and in being kept informed of what happens around it, you can bookmark this page and send me a message so that I can notify you when the book becomes available. Besides keeping a list of corrections, I intend to make available information for the benefit of people who want to use the book for teaching, namely feedback from people who have used it already, more exercises, etc, as well as material for people who are doing research in the area – papers, conferences, groups, initiatives, etc.