関連したドキュメント
An example of a database state in the lextensive category of finite sets, for the EA sketch of our school data specification is provided by any database which models the
Since locally closed functions with all point inverses closed have closed graphs [2], (c) implies
To study the existence of a global attractor, we have to find a closed metric space and prove that there exists a global attractor in the closed metric space. Since the total mass
Our main result, Theorem 4.3, shows that the lattice of Bures-closed bimodules for a separably acting Cartan pair (M, D) depends upon: i) whether D contains a diffuse part, and ii)
proof of uniqueness divides itself into two parts, the first of which is the determination of a limit solution whose integral difference from both given solutions may be estimated
Note also that our rational result is valid for any Poincar´e embeddings satisfying the unknotting condition, which improves by 1 the hypothesis under which the “integral” homotopy
Then X admits the structure of a graph of spaces, where all the vertex and edge spaces are (n − 1) - dimensional FCCs and the maps from edge spaces to vertex spaces are combi-
Then the Legendrian curve shortening flow (3.11) admits a smooth solution for t ∈ [0, ∞ ) and the curves converge in the C ∞ -topology to a closed Legendre geodesic.. Similar