Results 241 to 250 of about 2,135,521 (269)
Some of the next articles are maybe not open access.
Applied Categorical Structures, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francis Borceux, Enrico M. Vitale
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Francis Borceux, Enrico M. Vitale
openaire +1 more source
Applied Categorical Structures, 2007
The usual way to approach topological structures on the objects of a concrete category is via a categorical closure operator [see \textit{D. Dikranjan} and \textit{E. Giuli}, Topology Appl. 27, 129--143 (1987; Zbl 0634.54008)]. This paper puts forward an alternative form of topological structure that is here called a convergence structure.
openaire +2 more sources
The usual way to approach topological structures on the objects of a concrete category is via a categorical closure operator [see \textit{D. Dikranjan} and \textit{E. Giuli}, Topology Appl. 27, 129--143 (1987; Zbl 0634.54008)]. This paper puts forward an alternative form of topological structure that is here called a convergence structure.
openaire +2 more sources
1986
This paper shows how the constructions involved in category theory may be turned into computer programs. Key issues are the computational representation of categories and of universal properties. The approach is illustrated with a program for computing finite limits of an arbitrary category; this is written in the functional programming language ML. We
Rydeheard, David, Burstall, Rod M
openaire +2 more sources
This paper shows how the constructions involved in category theory may be turned into computer programs. Key issues are the computational representation of categories and of universal properties. The approach is illustrated with a program for computing finite limits of an arbitrary category; this is written in the functional programming language ML. We
Rydeheard, David, Burstall, Rod M
openaire +2 more sources
Applied Categorical Structures, 2005
The author gives a categorical characterization of pointed subtractive varieties in the sense of \textit{A. Ursini} [Algebra Univers. 31, 204--222 (1994; Zbl 0799.08010)]. Then he shows that the resulting subtractive categories are useful in the theory of Mal'tsev categories.
openaire +1 more source
The author gives a categorical characterization of pointed subtractive varieties in the sense of \textit{A. Ursini} [Algebra Univers. 31, 204--222 (1994; Zbl 0799.08010)]. Then he shows that the resulting subtractive categories are useful in the theory of Mal'tsev categories.
openaire +1 more source
Category-aware Multi-relation Heterogeneous Graph Neural Networks for session-based recommendation
Knowledge-Based Systems, 2022Wenqi Fan, Bo Yang, Qing Li
exaly
Category Spanning, Evaluation, and Performance: Revised Theory and Test on the Corporate Law Market
Academy of Management Journal, 2016Lionel Paolella, Rodolphe Durand
exaly