Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Online learning represents an important family of machine learning algorithms, in which a learner attempts to resolve an online… Expand
  • figure 1
  • table 1
Is this relevant?
Review
2018
Review
2018
This article uses Google Scholar (GS) as a source of data to analyse Open Access (OA) levels across all countries and fields of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
This article presents a development of Category Theory in Isabelle. A Category is defined using records and locales in Isabelle… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • Xiaodi Hou, L. Zhang
  • IEEE Conference on Computer Vision and Pattern…
  • 2007
  • Corpus ID: 15611611
The ability of human visual system to detect visual saliency is extraordinarily fast and reliable. However, computational… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
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… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract The purpose of this study is to provide conceptual order and a tool for the use of computer-mediated communication (CMC… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract In the first of two papers on MAGMA , a new system for computational algebra, we present the MAGMA language, outline the… Expand
  • table 1
  • table 2
  • table 3
  • table 5
  • table 7
Is this relevant?
Highly Cited
1991
Highly Cited
1991
  • B. Pierce
  • Foundations of computing
  • 1991
  • Corpus ID: 44929067
basic category theory for computer scientists What to say and what to do when mostly your friends love reading? Are you the one… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
  • M. Barr, C. Wells
  • Prentice Hall International Series in Computer…
  • 1990
  • Corpus ID: 42863146
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite… Expand
Is this relevant?
Highly Cited
1976
Highly Cited
1976
Abstract Categorizations which humans make of the concrete world are not arbitrary but highly determined. In taxonomies of… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?