# Basic Category Theory

We are currently reading “Basic Category Theory” by Tom Leinster.Tom Leinster, ‘Basic Category Theory’, 30 December 2016, http://arxiv.org/abs/1612.09375v1.

## Ch. 0: Introduction

Exercise 0.10: Find a universal property of the indiscrete topological space .

While all functions *out* of the discrete topology are continuous, all functions into *the* indiscrete topology are continuous. Thus, we can reverse the arrows of Example 0.5:

Exercise 0.11: Find a universal property satisfied by the pair of diagram 0.2.

Diagram 0.2 was:

Having , with any object and , if , there exists a unique with .

Exercise 0.12: is a pushout of .

Exercise 0.13: (a) is uniquely defined by , . All polynomial terms of one variable over can be expressed as sums and products of these primitives. (Thus .) (b) For the isomorphism we just need the inverse function of , which is uniquely given by .

Exercise 0.14: TBD.

## Ch. 1: Categories, functors and natural transformations

Exercise 1.1.12:

- The category of abelian groups.
- The category of fields and field morphisms.
- The category of measurable spaces and measurable functions as morphisms.

Exercise 1.1.13: Assume a different . Then .

Exercise 1.1.14:

Exercise 1.1.15: We need to know composition of continuous maps is closed, is associative and has an identity. Two objects are isomorphic if there are two continuous maps between them such that their composition is homotopic to the identity.