English
Related papers

Related papers: Difference-restriction algebras of partial functio…

200 papers

We consider spatial discretizations by the finite section method of the restricted group algebra of a finitely generated discrete group, which is represented as a concrete operator algebra via its left-regular representation. Special…

Operator Algebras · Mathematics 2010-02-23 Steffen Roch

This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…

Logic in Computer Science · Computer Science 2012-07-18 Bart Jacobs , Jorik Mandemaker

We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.

Category Theory · Mathematics 2025-01-28 Inigo Incer

Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting…

Category Theory · Mathematics 2015-03-03 Emily Riehl , Dominic Verity

Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics…

Logic in Computer Science · Computer Science 2016-12-26 Seppo Ilari Tirri

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…

Logic · Mathematics 2013-09-13 Mai Gehrke

It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between…

Category Theory · Mathematics 2021-02-15 Alessandro Ardizzoni , Claudia Menini

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

Logic in Computer Science · Computer Science 2026-02-18 Murdoch J. Gabbay

Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy…

Algebraic Geometry · Mathematics 2007-05-23 Robert Friedman , John W. Morgan

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

Rings and Algebras · Mathematics 2018-10-09 Xiao-Wu Chen

In discrete signal and image processing, many dilations and erosions can be written as the max-plus and min-plus product of a matrix on a vector. Previous studies considered operators on symmetrical, unbounded complete lattices, such as…

Signal Processing · Electrical Eng. & Systems 2022-11-08 Samy Blusseau , Santiago Velasco-Forero , Jesus Angulo , Isabelle Bloch

The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…

Category Theory · Mathematics 2022-01-31 John Bourke

Stone's representation theorem asserts a duality between Boolean algebras on the one hand and Stone space, which are compact, Hausdorff, and totally disconnected, on the other. This duality implies a natural isomorphism between the…

Geometric Topology · Mathematics 2025-08-12 Beth Branman , Robert Alonzo Lyman

We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…

Algebraic Geometry · Mathematics 2024-10-23 Arvid Siqveland

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

We consider an intermediate category between the category of finite quivers and a certain category of pseudocompact associative algebras whose objects include all pointed finite dimensional algebras. We define the completed path algebra and…

Rings and Algebras · Mathematics 2017-08-04 Kostiantyn Iusenko , John MacQuarrie

Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to…

Algebraic Topology · Mathematics 2014-12-03 Andrew J. Blumberg , Emily Riehl

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

Algebraic Topology · Mathematics 2011-09-09 James Cranch

A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…

Quantum Algebra · Mathematics 2007-05-23 Atsushi Matsuo , Kiyokazu Nagatomo , Akihiro Tsuchiya

We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable operator…

Operator Algebras · Mathematics 2017-08-02 Raphaël Clouâtre , Laurent W. Marcoux