# Category theory

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- Archive of Formal Proofs
- 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

- FOIS
- 2006

An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently fromâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- 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

- 2004

This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the modelâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 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

- 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

- Prentice Hall International Series in Computerâ€¦
- 1990

Â

Is this relevant?

Highly Cited

1978

Highly Cited

1978

- 1978

Most theories dealing with ill-defined concepts assume that performance is based on category level information or a mixture ofâ€¦Â (More)

Is this relevant?

Highly Cited

1977

Highly Cited

1977

- 18th Annual Symposium on Foundations of Computerâ€¦
- 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

- Cognitive Psychology
- 1976

ion at which the most basic category cuts are made. Basic categories are those which carry the most information, possess theâ€¦Â (More)

Is this relevant?