Category Theory In Python