Results 311 to 320 of about 9,831,323 (353)
Some of the next articles are maybe not open access.
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
A n theory, L.S. category, and strong category
Mathematische Zeitschrift, 2007For every space \(X\) there is a Ganea-Svarz fibration \((\Omega X)^{*(n+1)}\to B_n\Omega X \to X\), and it is clear that the functor \(B_n\Omega\) is a comonad. The author introduces the notion of a weak homotopy space over \(B_n\Omega\) and proves that if \(X\) admits such a structure, then cat(\(X\))=Cat(\(X\)) under some dimensional and ...
openaire +2 more sources
2020
In this chapter, we define and then study in detail Tamarkin categories. A Tamarkin category is defined as a categorical orthogonal complement, and the elements in a Tamarkin category can be completely characterized by a sheaf operator - sheaf convolution.
openaire +1 more source
In this chapter, we define and then study in detail Tamarkin categories. A Tamarkin category is defined as a categorical orthogonal complement, and the elements in a Tamarkin category can be completely characterized by a sheaf operator - sheaf convolution.
openaire +1 more source
Automating Free Logic in HOL, with an Experimental Application in Category Theory
Journal of automated reasoning, 2019Christoph Benzmüller, D. Scott
semanticscholar +1 more source
1992
Abstract If asked for a single reason for the attention that category theory, at least as a language, enjoys in some areas of computer science, I wou its attraction stems from being a foundational theory of fun ld guess that ctions which provides a sound basis for (functional) programming and programming logic.
openaire +1 more source
Abstract If asked for a single reason for the attention that category theory, at least as a language, enjoys in some areas of computer science, I wou its attraction stems from being a foundational theory of fun ld guess that ctions which provides a sound basis for (functional) programming and programming logic.
openaire +1 more source
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017G. Taentzer +3 more
semanticscholar +1 more source
Category Theory and Applications - A Textbook for Beginners
Category Theory and Applications, 2018M. Grandis
semanticscholar +1 more source