Categorical Models for BigData

This paper shows how concepts coming from category theory associated to a functional programming language can help to formalize and reason about data and get efficient programs in a BigData context. More precisely, it shows how data structures can be modeled by functors related by natural transformations (and isomorphisms). The transformation functions can then serve to shift a data structure and then get another program (eventually educing time complexity). The paper then explains the main concepts of the theory, how to apply them and gives an application to a concrete database and the performances obtained.

Interpretability interpretability

View graph Open-access PDF Source

Paper

Full text

Categorical Models for BigData

Semantic Scholar · Computer Science · 2018

Abstract

This paper shows how concepts coming from category theory associated to a functional programming language can help to formalize and reason about data and get efficient programs in a BigData context. More precisely, it shows how data structures can be modeled by functors related by natural transformations (and isomorphisms). The transformation functions can then serve to shift a data structure and then get another program (eventually educing time complexity). The paper then explains the main concepts of the theory, how to apply them and gives an application to a concrete database and the performances obtained.

Source of record · Semantic Scholar

Similar papers

Representing Knowledge and Querying Data using Double-Functorial SemanticsMike Lambert, Evan Patterson2024 · arXiv (Cornell University) In Library

Representing Knowledge and Querying Data using Double-Functorial SemanticsMike Lambert, Evan Patterson2025 · Electronic Proceedings in Theoretical Computer Science In Library

FCDB (Functorial-Categorical Database): A Compositional Framework for Information Preservation and Anti-Commutativity ReductionJ. Kawasaki2025 · arXiv (Cornell University) In Library

A Categorical Programming LanguageTatsuya Hagino2020 · arXiv (Cornell University) In Library

Using categories as abstract structures to formalize computational modelsO. I. Provotar2022 · Connectivity In Library

Categorical Tools for Natural Language ProcessingGiovanni de Felice2022 · arXiv (Cornell University) · 4 citations In Library

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category TheoryVincent Abbott, Gioele Zardini2024 · arXiv (Cornell University) In Library

Perspectives of semantic modeling in categoriesWilliam Steingartner2025 · Journal of King Saud University - Computer and Information Sciences In Library

Modelling and Exploitation of Knowledge Graphs Using Category TheoryMarek Reformat, Tim Put2024 · 2024 IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) · 0 citations In Library

Computing with Categories in Machine LearningEli Sennesh, Tom Xu, Yoshihiro Maruyama2023 · Artificial General Intelligence · 2 citations In Library

Source of record

Semantic Scholar

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal