Fixed Points of Functors - A Short Abstract

Abstract : Fixed points of endofunctors play a central role in program semantics (initial algebras as recursive specification of domains), in coalgebraic theory of systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01446029
Contributor : Hal Ifip <>
Submitted on : Wednesday, January 25, 2017 - 3:24:18 PM
Last modification on : Wednesday, January 25, 2017 - 3:31:58 PM
Long-term archiving on : Wednesday, April 26, 2017 - 3:41:09 PM

File

418352_1_En_1_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Jiří Adámek. Fixed Points of Functors - A Short Abstract. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.1-4, ⟨10.1007/978-3-319-40370-0_1⟩. ⟨hal-01446029⟩

Share

Metrics

Record views

88

Files downloads

150