Let $F$ and $G$ be endofunctors over categories $C$ and $ D$, respectively. Suppose that there is a forgetful functor $C \to D$ that has a left adjoint. Can we infer properties of $F$-coalgebras from those of $G$-algebras, or vice versa, by exploiting the connection between the two categories? Presumably the situation here is too vague. Is there some special case of this scenario in which my question make sense and answerable? What are the relevant literature here?

(The application I had in mind is this: suppose that I have a coalgebraic modal logic $L$ for coalgebras in $D$, and that $L$ as it is does not generalize to other categories than $D$ since it relies on some special properties of $D$. Can I still use $L$ to describe coalgebras in $C$, at least in some limited cases, by using the adjunction?)

  • $\begingroup$ Why the downvote? How can I improve my question? $\endgroup$ – Pteromys Mar 8 '17 at 4:05
  • $\begingroup$ Another thing you can do is to say what kind of application you have in mind. $\endgroup$ – Neel Krishnaswami Mar 8 '17 at 11:33
  • $\begingroup$ @JanJohannsen Let's say, then, that my only interest is in the example that I mentioned in my original post. $\endgroup$ – Pteromys Mar 8 '17 at 16:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.