AbstractWe describe a program which facilitates storage and manipulation of finitely-presented (FP) categories and finite-set valued functors. It allows storage, editing and recall of FP categories and functors. Several tools for testing properties of objects and arrows, and the computation of right and left Kan extensions are included. The program is written in ANSI C and is menu-based. Use of the program requires a basic knowledge of category theory
We formally develop category theory up to Yoneda's lemma, using Isabelle/HOL/Isar, and survey previo...
We present a detailed examination of applications of category theory to functional programming lang...
AbstractWe formally develop category theory up to Yoneda's lemma, using Isabelle/HOL/Isar, and surve...
Category theory is a branch of mathematics that is used to abstract and generalize other mathematica...
AbstractIn this paper we present a simple database definition language: that of categories and funct...
International audienceWe introduce and develop the notion of displayed categories. A displayed categ...
This thesis develops a new approach to the theory of datatypes based on separating data and storage ...
Category theory was invented as an abstract language for describing certain structures and construct...
Using of category theory in computer science has extremely grown in the last decade. Categories allo...
The relational data model uses set theory to provide a formal background, thus ensuring a rigorous m...
Category theory is proving a useful tool in programming and program specification - not only as a de...
AbstractThis paper presents indexed categories which model uniformly defined families of categories,...
Using of category theory in computer science has extremely grown in the last decade. Categories allo...
This article presents a development of Category Theory in Isabelle. A Category is defined using reco...
This paper lifts the category-theoretic results of [4] to the level of an abstract language suitable...
We formally develop category theory up to Yoneda's lemma, using Isabelle/HOL/Isar, and survey previo...
We present a detailed examination of applications of category theory to functional programming lang...
AbstractWe formally develop category theory up to Yoneda's lemma, using Isabelle/HOL/Isar, and surve...
Category theory is a branch of mathematics that is used to abstract and generalize other mathematica...
AbstractIn this paper we present a simple database definition language: that of categories and funct...
International audienceWe introduce and develop the notion of displayed categories. A displayed categ...
This thesis develops a new approach to the theory of datatypes based on separating data and storage ...
Category theory was invented as an abstract language for describing certain structures and construct...
Using of category theory in computer science has extremely grown in the last decade. Categories allo...
The relational data model uses set theory to provide a formal background, thus ensuring a rigorous m...
Category theory is proving a useful tool in programming and program specification - not only as a de...
AbstractThis paper presents indexed categories which model uniformly defined families of categories,...
Using of category theory in computer science has extremely grown in the last decade. Categories allo...
This article presents a development of Category Theory in Isabelle. A Category is defined using reco...
This paper lifts the category-theoretic results of [4] to the level of an abstract language suitable...
We formally develop category theory up to Yoneda's lemma, using Isabelle/HOL/Isar, and survey previo...
We present a detailed examination of applications of category theory to functional programming lang...
AbstractWe formally develop category theory up to Yoneda's lemma, using Isabelle/HOL/Isar, and surve...
DOI
Add to ORKG