Coalgebra And Abstraction

Graham Leach-Krouse
Kansas State University
Frege’s Basic Law V and its successor, Boolos’s New V, are axioms postulating abstraction operators: mappings from the power set of the domain into the domain. Basic Law V proved inconsistent. New V, however, naturally interprets large parts of second-order ZFC via a construction discovered by Boolos in 1989. This paper situates these classic findings about abstraction operators within the general theory of F-algebras and coalgebras. In particular, we show how Boolos’s construction amounts to identifying an initial F-algebra in a certain category, we identify a natural coalgebraic dual to Boolos’s axiom which naturally interprets large parts of Aczel’s non-well-founded set theory via the construction of a certain terminal F-coalgebra, and we suggest a coalgebraic way forward for an abstraction-theoretic axiomatization of the real numbers.
Keywords abstraction principles  non-wellfounded set theory  category theory  coalgebra  foundations of mathematics  basic law V
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,268
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Generalizing Boolos’ Theorem.Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (1):80-91.
New V, ZF and Abstraction.Stewart Shapiro & Alan Weir - 1999 - Philosophia Mathematica 7 (3):293-321.
Abstraction and Set Theory.Bob Hale - 2000 - Notre Dame Journal of Formal Logic 41 (4):379--398.
The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
Relative Categoricity and Abstraction Principles.Sean Walsh & Sean Ebels-Duggan - 2015 - Review of Symbolic Logic 8 (3):572-606.
Structural-Abstraction Principles.Graham Leach-Krouse - 2015 - Philosophia Mathematica:nkv033.
A General Theory of Abstraction Operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
Abstraction Relations Need Not Be Reflexive.Jonathan Payne - 2013 - Thought: A Journal of Philosophy 2 (2):137-147.
Higher‐Order Abstraction Principles.Beau Madison Mount - 2015 - Thought: A Journal of Philosophy 4 (4):228-236.
Abstraction Without Exceptions.Luca Zanetti - forthcoming - Philosophical Studies:1-20.
Reals by Abstraction.Bob Hale - 2000 - Philosophia Mathematica 8 (2):100--123.
Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.


Added to PP index

Total views

Recent downloads (6 months)

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes