Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,542,165 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.
2013
2013
Variables for personal information management research
Ofer Bergman
ASLIB Proceedings
2013
Corpus ID: 13323399
Purpose – Personal information management (PIM) is an activity in which an individual stores personal information items in order…
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
2009
2009
Efficient multi-label classification with hypergraph regularization
Gang Chen
,
Jianwen Zhang
,
Fei Wang
,
Changshui Zhang
,
Yuli Gao
IEEE Conference on Computer Vision and Pattern…
2009
Corpus ID: 17685609
Many computer vision applications, such as image classification and video indexing, are usually multi-label classification…
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
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
Highly Cited
2002
Highly Cited
2002
Ordinal judgments in multiattribute decision analysis
H. Moshkovich
,
A. Mechitov
,
David L. Olson
European Journal of Operational Research
2002
Corpus ID: 8754280
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