Hochschild cohomology in toposes | Synapse