ParentFull threadmathgenius·John Baez has written a lot about this stuff. Try this: https://arxiv.org/abs/0903.0340 . There's also his TWF column.View on HN