Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, Type Theory, Category Theory, and Logic: A Concise Summary

12/25/2018
by   Moez A. AbdelGawad, et al.
0

In this note we present the formulation of the induction and co-induction principles and related notions, such as fixed points, using the language and conventions of each of order theory, set theory, (first-order) logic, category theory, and the theory of types in (object-oriented and functional) programming languages, for the purpose of examining some of the similarities and dissimilarities between these six mathematical subdisciplines. As a side-benefit that is of relevance to programming language researchers in particular, our comparison demonstrates one of the fundamental differences between structural typing (dominant in FP) and nominal typing (dominant in mainstream OOP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/25/2018

Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary

In this note we present the formulation of the induction and coinduction...
research
12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Survey (and Tutorial)

In this survey paper we present the formulation of the induction and coi...
research
12/25/2018

Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

In this survey article (which hitherto is an ongoing work-in-progress) w...
research
02/26/2019

Induction, Coinduction, and Fixed Points: Intuitions and Tutorial

Recently we presented a concise survey of the formulation of the inducti...
research
07/03/2011

Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

Induction is the process by which we obtain predictive laws or theories ...
research
03/14/2019

Mutual Coinduction

In this paper we present mutual coinduction as a dual of mutual inductio...

Please sign up or login with your details

Forgot password? Click here to reset