Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
Mobile Ad-Hoc Networks (MANETs) are characterized by the lack of infrastructure, dynamic topology, and their use of the open… 
Review
2011
Review
2011
We use data from the American Time Use Survey (ATUS), covering both the recent recession and the pre-recessionary period, to… 
Highly Cited
2005
Highly Cited
2005
With the growing awareness that individual hardware cores will not continue to produce the same level of performance improvement… 
2005
2005
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual… 
Highly Cited
2003
Highly Cited
2003
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise… 
2003
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is… 
2001
2001
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center… 
Highly Cited
1995
Highly Cited
1995
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of… 
Highly Cited
1975
Highly Cited
1975
Springer Feb 1975, 1975. Taschenbuch. Book Condition: Neu. 23.5x15.5x cm. This item is printed on demand Print on Demand Neuware…