Thank you! I got interested in infinity categories and groupoids after watching interviews with Jonathan Gorard (he and Wolfram have physics theory based on that)