范畴提供的快速推断