Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,355,628 papers from all fields of science
Search
Sign In
Create Free Account
Category theory
Known as:
CategoryTheory
, Category
, Category theoretic
Expand
Category theory formalizes mathematical structure and its concepts in terms of a collection of objects and of arrows (also called morphisms). A…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Anamorphism
Applicative functor
Cartesian closed category
Catamorphism
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2013
Review
2013
A Novel Taxonomy of Black-Hole Attack Detection Techniques in Mobile Ad-hoc Network (MANET)
Ahmed B. T. Sherif
,
M. Elsabrouty
,
A. Shoukry
IEEE International Conference on Computational…
2013
Corpus ID: 17161063
Mobile Ad-Hoc Networks (MANETs) are characterized by the lack of infrastructure, dynamic topology, and their use of the open…
Expand
Review
2011
Review
2011
Time Use During Recessions
Mark Aguiar
,
Erik Hurst
,
Loukas Karabarbounis
2011
Corpus ID: 39017189
We use data from the American Time Use Survey (ATUS), covering both the recent recession and the pre-recessionary period, to…
Expand
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
Fairouz Kamareddine
,
J. Wells
Workshop on Logical and Semantic Frameworks with…
2008
Corpus ID: 7853863
Highly Cited
2005
Highly Cited
2005
Multiple page size modeling and optimization
Călin Caşcaval
,
E. Duesterwald
,
P. Sweeney
,
R. Wisniewski
International Conference on Parallel…
2005
Corpus ID: 9077301
With the growing awareness that individual hardware cores will not continue to produce the same level of performance improvement…
Expand
2005
2005
A category-theoretic approach to syntactic software merging
Nan Niu
,
S. Easterbrook
,
M. Sabetzadeh
International Conference on Smart Multimedia
2005
Corpus ID: 1802379
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual…
Expand
Highly Cited
2003
Highly Cited
2003
Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach
M. Sabetzadeh
,
S. Easterbrook
18th IEEE International Conference on Automated…
2003
Corpus ID: 12534092
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise…
Expand
2003
2003
Logic for Computational Effects: Work in Progress
Gordon D. Plotkin
,
John Power
Irish Workshop in Formal Methods
2003
Corpus ID: 18401109
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is…
Expand
2001
2001
Components as coalgebras
L. Barbosa
2001
Corpus ID: 142746674
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
Highly Cited
1975
Highly Cited
1975
Category Theory Applied to Computation and Control
E. Manes
Lecture Notes in Computer Science
1975
Corpus ID: 7593321
Springer Feb 1975, 1975. Taschenbuch. Book Condition: Neu. 23.5x15.5x cm. This item is printed on demand Print on Demand Neuware…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE