Related papers: Naturality and Induced Representations
A nonequilibrium thermodynamic theory demonstrating an induction effect of a statistical nature is presented. We have shown that this thermodynamic induction can arise in a class of systems that have variable kinetic coefficients (VKC). In…
We introduce algebraic dynamical systems, which consist of an action of a right LCM semigroup by injective endomorphisms of a group. To each algebraic dynamical system we associate a C*-algebra and describe it as a semigroup C*-algebra. As…
In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…
Induced representations for quantum groups are defined starting from coisotropic quantum subgroups and their main properties are proved. When the coisotropic quantum subgroup has a suitably defined section such representations can be…
In natural characteristic, smooth induction from an open subgroup does not always give an exact functor. In this article we initiate a study of the right derived functors, and we give applications to the non-existence of projective…
We prove a categorified version of the Poincar\'e lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural…
This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control operators cannot have general initial algebras, interaction…
We give a new definition of the semigroup C*-algebra of a left cancellative semigroup, which resolves problems of the construction by X. Li. Namely, the new construction is functorial, and the independence of ideals in the semigroup does…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
Causal graph dynamics are transformations over graphs that capture two important symmetries of physics, namely causality and homogeneity. They can be equivalently defined as continuous and translation invariant transformations or functions…
Inference systems are a widespread framework used to define possibly recursive predicates by means of inference rules. They allow both inductive and coinductive interpretations that are fairly well-studied. In this paper, we consider a…
We introduce a method to study C*-algebras possessing an action of the circle group, from the point of view of its internal structure and its K-theory. Under relatively mild conditions our structure Theorem shows that any C*-algebra, where…
Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and…
We study induced representations of Hilbert modules over locally C*-algebras and their non-degeneracy. We show that if $V$ and $W$ are Morita equivalent Hilbert modules over locally C*-algebras $A$ and $B$, respectively, then there exists a…
Starting from an arbitrary endomorphism \delta of a unital C*-algebra A we construct a crossed product. It is shown that the natural construction depends not only on the C*-dynamical system (A,\delta) but also on the choice of an ideal J…
For half a century, Mackey and Green functors have been successfully used to model the induction and restriction maps which are ubiquitous in the representation theory of finite groups. In the examples, the latter maps are typically…
We define a C*-hull for a *-algebra, given a notion of integrability for its representations on Hilbert modules. We establish a local-global principle which, in many cases, characterises integrable representations on Hilbert modules through…
Cuntz and Li have defined a C*-algebra associated to any integral domain, using generators and relations, and proved that it is simple and purely infinite and that it is stably isomorphic to a crossed product of a commutative C*-algebra. We…
We have introduced a notion of $C^*$-symbolic dynamical system in [K. Matsumoto: Actions of symbolic dynamical systems on $C^*$-algebras, to appear in J. Reine Angew. Math.], that is a finite family of endomorphisms of a $C^*$-algebra with…