A carregar...
On Well-Founded and Recursive Coalgebras
This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving endofunctors on complete and well-powered categories every co...
Na minha lista:
| Publicado no: | Foundations of Software Science and Computation Structures |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7788625/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45231-5_2 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|