圏論も出てくるらしい

読みたいけど、読める気がしないな..