Tag: category theory | Page 0

Post #5
Introduction to Category Theory 1

book Public Date: 2020-06-17 10:48:50.306174

update Update Date: 2020-06-21 04:11:27.547781

What is a Category?
A category $C$ consists of
 - a collection $Obj$ of entities called objects

 - a collection $Arw$ of entities called arrows

 - three assignments:
  - source: $Arw \to Obj$
  - target: $Arw \to Obj$
  - id: $Obj \to Arw$

 - a partial ...
Read More Raw Content