Understanding the infinite II: Coalgebra

Studies in History and Philosophy of Science Part A 42 (4):571-579 (2011)
  Copy   BIBTEX

Abstract

In this paper we give an account of the rise and development of coalgebraic thinking in mathematics and computer science as an illustration of the way mathematical frameworks may be transformed. Originating in a foundational dispute as to the correct way to characterise sets, logicians and computer scientists came to see maximizing and minimizing extremal axiomatisations as a dual pair, each necessary to represent entities of interest. In particular, many important infinitely large entities can be characterised in terms of such axiomatisations. We consider reasons for the delay in arriving at the coalgebraic framework, despite many unrecognised manifestations occurring years earlier, and discuss an apparent asymmetry in the relationship between algebra and coalgebra

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Coalgebra And Abstraction.Graham Leach-Krouse - 2021 - Notre Dame Journal of Formal Logic 62 (1):33-66.
Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
Logic of Computation.Helmut Schwichtenberg - 1997 - Boom Koninklijke Uitgevers.
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger, Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.
Can we have mathematical understanding of physical phenomena?Gabriel Târziu - 2018 - Theoria : An International Journal for Theory, History and Fundations of Science 33 (1):91-109.

Analytics

Added to PP
2011-10-11

Downloads
143 (#161,863)

6 months
5 (#752,882)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Corfield
University of Kent

Citations of this work

Duality as a category-theoretic concept.David Corfield - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 59:55-61.

Add more citations