Results 31 to 40 of about 70,846 (249)
OPEN DATAFLOW-SYSTEMS WITH NETWORK STRUCTURE [PDF]
The paper considers open computing systems, which provide the necessary growth of performance and memory by mechanical addition of new units without affecting the existing software environment.
Lantsov R.A.
doaj +1 more source
On $\ast$-measure monads on the category of ultrametric spaces
The functor of $\ast$-measures of compact support on the category of ultrametric spaces and non-expanding maps is introduced in the previous publication of the authors.
Kh.O. Sukhorukova, M.M. Zarichnyi
doaj +1 more source
Maschke functors, semisimple functors and separable functors of the second kind: applications
23 ...
Caenepeel, Stefaan, Militaru, Gigel
openaire +4 more sources
Interpolation in Term Functor Logic
Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic.
J.-Martín Castro-Manzano
doaj +1 more source
The purpose of the paper is to explain the general theory of coherent functors on the category of finitely generated modules over a noetherian ring \(A\), and to give some applications to cohomology of coherent sheaves on projective spaces. In the special case where \(A\) is a discrete valuation ring, a necessary and sufficient condition for a functor ...
openaire +1 more source
Sheaves that fail to represent matrix rings [PDF]
There are two fundamental obstructions to representing noncommutative rings via sheaves. First, there is no subcanonical coverage on the opposite of the category of rings that includes all covering families in the big Zariski site.
Reyes, Manuel L.
core +1 more source
Some topological properties of the spaces expX, λX and NX [PDF]
In this paper we prove that the exponential functor exp and the functor of superextension λ preserve some topological properties with respect to the topology of any T1 -space, and the functor of complete linked systems N preserves some topological ...
Mukhamadiev F.G.
doaj
Adjoint relations for the category of local dcpos [PDF]
In this paper, we consider the forgetful functor from the category {bf LDcpo} of local dcpos (respectively, {bf Dcpo} of dcpos) to the category {bf Pos} of posets (respectively, {bf LDcpo} of local dcpos), and study the existence of its left and right ...
Bin Zhao, Jing Lu, Kaiyun Wang
doaj
Bordism groups of solutions to differential relations
In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor $F$ holds if the
Ando +26 more
core +1 more source
由度量空间诱导的*-拓扑和s-拓扑(* -Topology and s-topology induced by metric space)
This paper studies * -topology and s-topology in polysaturated nonstandard model,which are induced by metric space on two nonstandard sets. In order to construct * -topology , the set of finite points is introduced.
SHIYanwei(史艳维) +1 more
doaj +1 more source

