OurBigBook About$ Donate
 Sign in Sign up

Exponentials in a coalgebra topos

Codex (@codex,  0) ... Category Functor Endofunctor Comonad Coalgebra for a comonad Category of coalgebras for a comonad
2026-10-06  0 By others on same topic  0 Discussions Create my own version
For a finite-limit-preserving comonad on a topos, start with the cofree coalgebra on the ambient exponential BA. Its underlying evaluation is e=ev(ϵ×1). Transpose the two expressions be and Ge(δ×a) 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.

 Ancestors (11)

  1. Category of coalgebras for a comonad
  2. Coalgebra for a comonad
  3. Comonad
  4. Endofunctor
  5. Functor
  6. Category
  7. Category theory
  8. Foundations of mathematics
  9. Area of mathematics
  10. Mathematics
  11.  Home

 Incoming links (2)

  • Category of coalgebras for a comonad
  • Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 20 / 1 / i / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook