Related papers: Duality for powerset coalgebras
For any 0-cell $B$ in a 2-category $\Bc$ we introduce the notion of adjoint algebra $\adj_B$. This is an algebra in the center of $\Bc$. We prove that, if $\ca$ is a finite tensor category, this notion applied to the 2-category of…
Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The…
This paper describes several cases of adjunction in the homomorphism preorder of relational structures. We say that two functors $\Lambda$ and $\Gamma$ between thin categories of relational structures are adjoint if for all structures…
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…
We examine a strong/weak duality between a Heisenberg coset of a theory with $\mathfrak{sl}_n$ subregular $\mathcal{W}$-algebra symmetry and a theory with a $\mathfrak{sl}_{n|1}$-structure. In a previous work, two of the current authors…
A general theorem due to Howe of dual action of a classical group and a certain non-associative algebra on a space of symmetric or alternating tensors is reformulated in a setting of second quantization, and familiar examples in atomic and…
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…
In this paper we explore some categorical results of 2-crossed module of commutative algebras extending work of Porter in [18]. We also show that the forgetful functor from the category of 2-crossed modules to the category of k-algebras,…
A review is given of ideas in electromagnetic duality and connections to integrable field theories with soliton solutions. This leads on to a summary of recent work on Lorentzian algebras.
We introduce and study a notion of duality for two classes of optimization problems commonly occurring in probability theory. That is, on an abstract measurable space $(\Omega,\mathcal{F})$, we consider pairs $(E,\mathcal{G})$ where $E$ is…
The connections between Tarski's relation algebras and Thompson's groups F, T, V, and his monoid M are reviewed here, along with Jonsson-Tarski algebras, fork algebras, true pairing algebras, and tabular relation algebras. All of these…
We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite…
The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework…
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…
We revisit faithfully balanced modules. These are faithful modules having the double centralizer property. For finite-dimensional algebras our main tool is the category ${\rm cogen}^1(M)$ of modules with a copresentation by summands of…
A Koszul duality-type correspondence between coderived categories of conilpotent differential graded Lie coalgebras and their Chevalley-Eilenberg differential graded algebras is established. This gives an interpretation of Lie coalgebra…
It was conjectured by Gorsky, Hogancamp, Mellit, and Nakagane that the left and right adjoints of the parabolic induction functor between homotopy categories of Soergel bimodules associated to a finite Coxeter group are related by the…
In this paper, we consider compatible Hom-associative algebras as a twisted version of compatible associative algebras. Compatible Hom-associative algebras are characterized as Maurer-Cartan elements in a suitable bidifferential graded Lie…
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over a field or commutative ring. In this paper, we show how to…
We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…