...table under passage to a retract. As a result, compactness, connectedness, path-connectedness, separability, an upper bound on the dimension, paracompactne
...which makes them continuous lattices (cf. [[Continuous lattice|Continuous lattice]]).
5 KB (871 words) - 19:55, 3 February 2021
...rast with the affine case, the result of parallel transport along a closed path may in general be nontrivial, leading thus to the notion of [[curvature]].
...gical bundle is a correspondence which allows to associate with any simple path $\gamma:[0,1]\to B$ in the base a family of homeomorphisms $\tau_t^s:\pi^{-
16 KB (2,769 words) - 08:44, 12 December 2013
...n \}$ and a $K$-algebra isomorphism $R \simeq K Q / I$, where $K Q$ is the path $K$-algebra of the quiver $Q$ (see [[#References|[a1]]], [[#References|[a10
...ed in [[#References|[a21]]]. Criteria for the finite lattice type and tame lattice type of $\Lambda$ are given in [[#References|[a21]]] by means of $q _ { \La
18 KB (2,636 words) - 06:50, 15 February 2024
...and output points one associates input and output conditions. Now to every path of the program between two adjacent control points is assigned a so-called
...uses the specification of the domain of data as a so-called complete Scott lattice.
21 KB (3,241 words) - 08:25, 6 June 2020
...(cf. also [[Propositional calculus|Propositional calculus]]) followed this path with Boolean algebras coming before the classical propositional calculus (c
...rators mapping the lattice of $\mathcal{D}$-filters of $\mathbf{A}$ to the lattice of congruences of $\mathbf{A}$. Note that the Leibniz and Suszko congruence
76 KB (11,425 words) - 02:12, 15 February 2024
The Whitham equation for the discrete Toda lattice (cf. [[Toda lattices|Toda lattices]]) is treated in [[#References|[a4]]] wh
...{ \gamma } = P \operatorname { exp } ( \oint _ { \gamma } \mathcal{A} )$ (path-ordered exponential), which yields a representation of $\Pi _ { 1 } ( \Sigm
40 KB (5,601 words) - 10:22, 11 November 2023