Exponentials in a coalgebra topos
ID: exponentials-in-a-coalgebra-topos
For a finite-limit-preserving comonad on a topos, start with the cofree coalgebra on the ambient exponential . Its underlying evaluation is . Transpose the two expressions and first using the ambient exponential and then the cofree adjunction. Their coalgebra equalizer represents exactly the maps whose evaluations respect coalgebra structure. Thus coalgebra exponentials need not be the underlying ambient exponentials.
New to topics? Read the docs here!