Novel Uses of Category Theory in Modeling OOP

09/23/2017
by   Moez A. AbdelGawad, et al.
Rice University
0

An outline and summary of four new potential applications of category theory to OOP research are presented. These include (1) the use of operads to model Java subtyping, (2) the use of Yoneda's lemma and representable functors in the modeling of generic types in generic nominally-typed OOP, (3) using a combination of category presentations and cartesian closed categories to model structurally-typed OOP, and (4) the use of adjoint functors to model Java erasure.

READ FULL TEXT VIEW PDF

page 1

page 2

page 3

page 4

09/23/2017

Category Theory for Modeling OOP

An outline and summary of four new potential applications of category th...
06/12/2019

Using Category Theory in Modeling Generics in OOP (Outline)

Modeling generics in object-oriented programming languages such as Java ...
06/20/2019

Java Generics: An Order-Theoretic Approach (Abridged Outline)

The mathematical modeling of generics in Java and other similar nominall...
05/23/2019

Java Generics: An Order-Theoretic Approach (Detailed Outline)

Generics have been added to Java so as to increase the expressiveness of...
01/21/2019

Network Transplanting (extended abstract)

This paper focuses on a new task, i.e., transplanting a category-and-tas...
08/24/2020

ScrewNet: Category-Independent Articulation Model Estimation From Depth Images Using Screw Theory

Robots in human environments will need to interact with a wide variety o...
07/27/2022

Categorification of Negative Information using Enrichment

In many applications of category theory it is useful to reason about "ne...

References