Introduction

Categories are mathematical contexts where construction is possible.