AI Chat AI Image Generator AI Video Text to Speech

Category Theory for Modeling OOP

09/23/2017

∙

by Moez A. AbdelGawad, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 09/23/2017

Novel Uses of Category Theory in Modeling OOP

An outline and summary of four new potential applications of category th...

0 Moez A. AbdelGawad, et al. ∙

research

∙ 06/12/2019

Using Category Theory in Modeling Generics in OOP (Outline)

Modeling generics in object-oriented programming languages such as Java ...

0 Moez A. AbdelGawad, et al. ∙

research

∙ 06/15/2023

Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation

This paper presents meta-logical investigations based on category theory...

0 Jonas Bayer, et al. ∙

research

∙ 01/21/2019

Network Transplanting (extended abstract)

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

8 Quanshi Zhang, et al. ∙

research

∙ 07/27/2022

Categorification of Negative Information using Enrichment

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

0 Andrea Censi, et al. ∙

research

∙ 06/01/2017

Towards a Java Subtyping Operad (extended version)

The subtyping relation in Java exhibits self-similarity. The self-simila...

0 Moez A. AbdelGawad, et al. ∙

research

∙ 05/10/2020

Categorical Stochastic Processes and Likelihood

In this work we take a Category Theoretic perspective on the relationshi...

0 Dan Shiebler, et al. ∙