Related papers: Naturality and Induced Representations
In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended…
In this paper, we realize C*-algebras of generalized Boolean dynamical systems as partial crossed products. Reciprocally, we give some sufficient conditions for a partial crossed product to be isomorphic to a C*-algebra of a generalized…
We discuss the interplay between K-theoretical dynamics and the structure theory for certain C*-algebras arising from crossed products. For noncommutative C*-systems we present notions of minimality and topological transitivity in the…
In this work, we show that the quantum mechanical notions of density operator, positive operator-valued measure (POVM), and the Born rule, are all simultaneously encoded in the categorical notion of a natural transformation of functors. In…
We propose a manifestly covariant framework for causal set dynamics. The framework is based on a structure, dubbed covtree, which is a partial order on certain sets of finite, unlabeled causal sets. We show that every infinite path in…
The notions of Busby-Smith and Green type twisted actions are extended to discrete unital inverse semigroups. The connection between the two types, and the connection with twisted partial actions, are investigated. Decomposition theorems…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games…
We obtain a Galois correspondence between the lattice of intermediate C*-discrete subalgebras intermediate to a given irreducible C*-discrete inclusion, and characterize these as targets of compatible expectations under a traciality…
We study the 2-adic version of the ring $C^*$-algebra of the integers. First, we work out the precise relation between the Cuntz algebra $\cO_2$ and our 2-adic ring $C^*$-algebra in terms of representations. Secondly, we prove a 2-adic…
We consider reduced crossed products of twisted C*-dynamical systems over C*-simple groups. We prove there is a bijective correspondence between maximal ideals of the reduced crossed product and maximal invariant ideals of the underlying…
A crossed product functor is said to be injective if it takes injective morphisms to injective morphisms. In this paper we show that every locally compact group $G$ admits a maximal injective crossed product $A\mapsto A\rtimes_{\inj}G$.…
We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…
It has been discovered previously that the topological order parameter could be identified from the topological data of the Green's function, namely the (generalized) TKNN invariant in general dimensions, for both non-interacting and…
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…
In this paper we extend the constructions of Boava and Exel to present the C*-algebra associated with an injective endomorphism of a group with finite cokernel as a partial group algebra and consequently as a partial crossed product. With…
For $\Cc$ a $G$-category, we give a condition on a diagram of simplicial sets indexed on $\Cc$ that allows us to define a natural $G$-action on its homotopy colimit, and in some other simplicial sets and categories defined in terms of the…
In this article we show that there are branching systems (which induce representations of the graph algebra $C^*(E)$) associated to each row-countable graph $E$. For row-countable graphs, we characterize the condition $(L)$ via branching…
We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of conservation laws that often make the problems…
Induced representations of $\ast$-algebras by unbounded operators in Hilbert space are investigated. Conditional expectations of a $\ast$-algebra $\cA$ onto a unital $\ast$-subalgebra $\cB$ are introduced and used to define inner products…