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.
Articles by others on the same topic
There are currently no matching articles.