Category theory

Known as: CategoryTheory, Category, Category theoretic 
Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms). A… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Formalisation of some of the concepts of category theory in ProofPower-HOL. Created 2006/04/09 Last Changed Date: 2010-08-13 10… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to… (More)
Is this relevant?
2004
2004
This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This book purports to give a gentle, software engineering oriented introduction to category theory (see back cover). This is… (More)
Is this relevant?
2001
2001
We study properties of the category of modules of an algebra object A in a tensor category C. We show that the module category… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
 
Is this relevant?
Highly Cited
1978
Highly Cited
1978
Most theories dealing with ill-defined concepts assume that performance is based on category level information or a mixture of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1977
Highly Cited
1977
In advanced denotational semantics one frequently encounters equations of the form D '" F (D), where D ranges over e.g. cpo's or… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
ion at which the most basic category cuts are made. Basic categories are those which carry the most information, possess the… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?