Related papers: Naturality and Induced Representations
We propose a framework for reasoning about programs that manipulate coinductive data as well as inductive data. Our approach is based on using equational programs, which support a seamless combination of computation and reasoning, and using…
The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''classical'' model through a 2-adjunction. The target model is…
In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality…
We consider two categories of C*-algebras; in the first, the isomorphisms are ordinary isomorphisms, and in the second, the isomorphisms are Morita equivalences. We show how these two categories, and categories of dynamical systems based on…
We show that the gauge-invariant ideal parametrisation results of the author and Kakariadis are in agreement with those of Bilich in the case of a proper product system over $\mathbb{Z}_+^d$. This is accomplished in two ways: first via the…
We construct natural symbolic representations of intrinsically ergodic, but not necessarily expansive, principal algebraic actions of countably infinite amenable groups and use these representations to find explicit generating partitions…
We consider three quantum algebras: the q-oscillator algebra, the Podles' sphere and the q-deformed enveloping algebra of $su(2).$ To each of these *-algebras we associate certain partial dynamical system and perform the "Mackey analysis"…
We consider Exel's new construction of a crossed product of a C*-algebra A by an endomorphism \alpha. We prove that this crossed product is universal for an appropriate family of covariant representations, and we show that it can be…
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of this logic and propose a bi-nested calculus for it. The…
Suppose a locally compact group G acts freely and properly on a locally compact Hausdorff space X, and let gamma be the induced action on C_0(X). We consider a category in which the objects are C*-dynamical systems (A, G, alpha) for which…
We prove that the KSGNS construction can be viewed as an endofunctor on a category whose objects are positive $C^*$-correspondences from a fixed $C^*$-algebra and morphisms are given by intertwiners which account for automorphisms of the…
We study the space of irreducible representations of a crossed product C*-algebra AxG, where G is a finite group. We construct a space $\Gamma$ which consists of pairs of irreducible representations of A and irreducible projective…
We develop a theory of general quotients for W- and Cu-semigroups beyond the case of quotients by ideals. To this end, we introduce the notion of a normal pair, which allows us to take quotients of W-semigroups in a similar way as normal…
In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring $k$, via…
When a superconductor is placed in contact with a normal material, Cooper pairs penetrate the latter and induce superconductivity via the proximity effect. Despite its central role in quantum materials, superconducting devices and…
We discuss data representation which can be learned automatically from data, are invariant to transformations, and at the same time selective, in the sense that two points have the same representation only if they are one the transformation…
The set of natural integers is fundamental for at least two reasons: it is the free induction algebra over the empty set (and at such allows definitions of maps by primitive recursion) and it is the free monoid over a one-element set, the…
We prove that any digraph Brown functor -- i.e. a contravariant functor from the homotopy category of finite directed graphs to the category of abelian groups, satisfying the triviality axiom, the additivity axiom, and the Mayer-Vietoris…
The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. Surprisingly, this logic is constructive and so…
The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…