Coalgebra and abstraction
DOI10.1215/00294527-2021-0002zbMath1470.18002OpenAlexW3166264282MaRDI QIDQ1981994
Publication date: 7 September 2021
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2021-0002
coalgebracategory theoryfoundations of mathematicsphilosophyabstraction principlesbasic law Vnon-wellfounded set theory
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Coalgebras and comodules; corings (16T15) Foundations, relations to logic and deductive systems (18A15)
Cites Work
- The graph conception of set
- On coalgebra based on classes
- Universal coalgebra: A theory of systems
- The continuum as a final coalgebra
- Frege meets Dedekind: A neologicist treatment of real analysis
- Abstraction principles and the classification of second-order equivalence relations
- A fixpoint theorem for complete categories
- Introduction to Coalgebra
- Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context
- A Simple Unpredictable Pseudo-Random Number Generator
- On coalgebra of real numbers
- Speaking with Shadows: A Study of Neo‐Logicism
- WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI
- Thin Objects
- What is Neologicism?
- On Von Neumann's Axiom System for Set Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Coalgebra and abstraction