Author: zskoda Format: MarkdownItexNew sections at [[coring]]:
* base extension of corings
* morphisms in the 1-category of corings over variable base rings.
Author: zskoda Format: MarkdownItexI drew some diagrams and details into the definition of morphisms of corings over varying base.
<a href="https://ncatlab.org/nlab/revision/diff/coring/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/coring/17">v17</a>, <a href="https://ncatlab.org/nlab/show/coring">current</a>
I drew some diagrams and details into the definition of morphisms of corings over varying base.
Author: zskoda Format: MarkdownItexCoinduction functor along pure morphism of corings over variable rings. In that case it is a right adjoint to the induction functor.
<a href="https://ncatlab.org/nlab/revision/diff/coring/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/coring/19">v19</a>, <a href="https://ncatlab.org/nlab/show/coring">current</a>
Coinduction functor along pure morphism of corings over variable rings. In that case it is a right adjoint to the induction functor.