<p>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?</p>

<p>(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?)</p>

CC BY-SA 3.0
2017-03-08T04:05:24.473Z
Why the downvote?  How can I improve my question?
Pteromys
CC BY-SA 3.0
2017-03-08T11:33:03.450Z
Another thing you can do is to say what kind of application you have in mind.
Neel Krishnaswami
CC BY-SA 3.0
2017-03-08T16:58:06.337Z
@JanJohannsen Let's say, then, that my only interest is in the example that I mentioned in my original post.
Pteromys
<reference-request><lo.logic><ct.category-theory>
Transferring results on coalgebras in one category to another
Pteromys
# Transferring results on coalgebras in one category to another

(Asked by: username_0 on 2017-03-08)

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?)

**Tags:** reference-request, lo.logic, ct.category-theory

> **Comments:**
> **username_0**: Why the downvote?  How can I improve my question?  
> **username_1**: Another thing you can do is to say what kind of application you have in mind.  
> **username_0**: @JanJohannsen Let's say, then, that my only interest is in the example that I mentioned in my original post.  

---

## 0 answers

