Results 261 to 270 of about 328,195 (307)
Research on strategies for enhancing the competency of safety directors in EPC projects empowered by AI. [PDF]
PLoS OneGuan J, Yang ZC, Wang C.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Category Theory and Theory of Evolution
Lobachevskii Journal of Mathematics, 2023zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Lawvere's basic theory of the category of categories
Journal of Symbolic Logic, 1975It is long known that Lawvere's theory in The category of categories as foundations of mathematics A[1] does not work, as indicated in Ishell's review [0]. Isbell there gives a counterexample that CDT—Category Description Theorem—[1, p. 15] is in fact not a theorem of BT (the Basic Theory of [1]) and suggests adding CDT to the axioms.Our starting point
Georges Blanc, Anne Preller
openaire +1 more source
Category Theory for Optimization
2018 IEEE 12th International Conference on Semantic Computing (ICSC), 2018This paper shows how concepts coming from category theory can help to improve the algorithms dealing with large set of data. Data structures can be modeled by functors that are related by natural transformations usable both to reduce data size or to shift an algorithm applicable to a particular data structure to an equivalent algorithm for another data
Heng Zhao +2 more
openaire +2 more sources
FOUNDATIONS OF THE THEORY OF CATEGORIES
Russian Mathematical Surveys, 1960CONTENTSIntroduction § 1. The definition of a category § 2. Isomorphism. Duality. Functors § 3. Functors of several variables § 4. Subcategories. Concrete categories § 5. Invertible maps. Equivalent objects § 6. Monomorphisms and epimorphisms. Subobjects § 7. Null maps, null objects § 8. Normal monomorphisms and epimorphisms § 9.
Kurosh, A. G. +2 more
openaire +1 more source
Categorial grammar and type theory
Journal of Philosophical Logic, 1990La grammaire categorielle est revelatrice d'un large ensemble de relations entre la logique mathematique et la linguistique. L'A. insiste sur le fait que les travaux de nature descriptive aussi bien que les travaux de nature computationnelle ont contribue a etablir ces ...
openaire +3 more sources
2005
This paper describes some experiments in using algebraic and categorical ideas to write programs. In particular a program to compute colimits in a category given coproducts and coequalisers has been written, also one to ‘lift’ such colimits to comma categories.
openaire +1 more source
This paper describes some experiments in using algebraic and categorical ideas to write programs. In particular a program to compute colimits in a category given coproducts and coequalisers has been written, also one to ‘lift’ such colimits to comma categories.
openaire +1 more source
2020
This chapter aims to introduce sufficient category theory to enable a formal understanding of the rest of the book. It first introduces the fundamental notion of a category. It then introduces functors, which are maps between categories. Next it introduces natural transformations, which are natural ways of mapping between functors.
Ash Asudeh, Gianluca Giorgolo
openaire +2 more sources
This chapter aims to introduce sufficient category theory to enable a formal understanding of the rest of the book. It first introduces the fundamental notion of a category. It then introduces functors, which are maps between categories. Next it introduces natural transformations, which are natural ways of mapping between functors.
Ash Asudeh, Gianluca Giorgolo
openaire +2 more sources
2011
Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning.
openaire +1 more source
Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning.
openaire +1 more source