Coalgebra and abstraction

DOI10.1215/00294527-2021-0002zbMath1470.18002OpenAlexW3166264282MaRDI QIDQ1981994

Graham Leach-Krouse

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

zbMATH Keywords

coalgebracategory theoryfoundations of mathematicsphilosophyabstraction principlesbasic law Vnon-wellfounded set theory

Mathematics Subject Classification ID

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