Some basic notions and results in topological dynamics are extended to continuous groupoid actions spaces. We focus mainly on recurrence properties. Besides that analogous the classical case of group actions, but which have be put right setting, there also new phenomena. Mostly for groupoids whose source map is not open (and many), some properties were equivalent become distinct this general fr...

Minkowski in 1908 used space-like binary velocity-field of a medium, relative to an observer. Hestenes in 1974 introduced, within a Clifford algebra, an axiomatic binary relative velocity as a Minkowski bivector. We propose consider binary relative velocity as a traceless nilpotent endomorphism in an operator algebra. Any concept of a binary axiomatic relative velocity made possible the replace...

The main result of this paper is a convexity theorem for momentum mappings J :M → g∗ of certain hamiltonian actions of noncompact semisimple Lie groups. The image of J is required to fall within a certain open subset D of g∗ which corresponds roughly via the orbit method to the discrete series of representations of the group G. In addition, J is required to be proper as a map from M to D. A rel...

The main result of this paper is a convexity theorem for momentum mappings J :M → g∗ of certain hamiltonian actions of noncompact semisimple Lie groups. The image of J is required to fall within a certain open subset D of g∗ which corresponds roughly via the orbit method to the discrete series of representations of the group G. In addition, J is required to be proper as a map from M to D. A rel...

Modes are idempotent and entropic algebras. Although it had been established many years ago that groupoid modes embed as subreducts of semimodules over commutative semirings, the general embeddability question remained open until M. Stronkowski and D. Stanovský’s recent constructions of isolated examples of modes without such an embedding. The current paper now presents a broad class of modes t...

Dependent type theory associates to any elements x, y of a type A an identity type x =A y, the type of proofs of equality of these elements. In PER Martin-Löf’s extensional type theory, the identity type is a subsingleton inhabited precisely when x and y are judgmentally equal. Semantically, types are thus sets equipped with equivalence relations given by their identity types. Groupoid Martin-L...

Abstract We prove implications among the conditions in title for general $\text C^*$-inclusions $A\subseteq B$, and we also relate this to several other properties case $B$ is a crossed product an action of group, inverse semigroup, or étale groupoid on $A$. show that if C^*$-inclusion aperiodic it has unique pseudo-expectations, if, addition, pseudo-expectation faithful, then $A$ supports sens...