Related papers: On biadjoint triangles

We introduce a linear algebraic object called a bidiagonal triad. A bidiagonal triad is a modification of the previously studied and similarly defined concept of bidiagonal triple. A bidiagonal triad and a bidiagonal triple both consist of…

Fekete, Jord\'an and Kaszanitzky [4] characterised the graphs which can be realised as 2-dimensional, infinitesimally rigid, bar-joint frameworks in which two given vertices are coincident. We formulate a conjecture which would extend their…

We compute the deficiency spaces of operators of the form $H_A{\hat{\otimes}} I + I{\hat{\otimes}} H_B$, for symmetric $H_A$ and self-adjoint $H_B$. This enables us to construct self-adjoint extensions (if they exist) by means of von…

In previous work on Clebsch-Gordan coefficients, certain remarkable hexagonal arrays of integers are constructed that display behaviors found in Pascal's Triangle. We explain these behaviors further using the binomial transform and discrete…

In this paper, a theorem about similar triangles is proved. It shows that two small and four large triangles similar to the original triangle can appear if we choose well among several intersections of the perpendicular bisectors of the…

Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially…

We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the…

We assemble polynomials in a locally cartesian closed category into a tricategory, allowing us to define the notion of a polynomial pseudomonad and polynomial pseudoalgebra. Working in the context of natural models of type theory, we prove…

We develop the formal theory of monads, as established by Street, in univalent foundations. This allows us to formally reason about various kinds of monads on the right level of abstraction. In particular, we define the bicategory of monads…

In this note we discuss dual pairs in Dirac geometry. We show that this notion appears naturally when studying the problem of pushing forward a Dirac structure along a surjective submersion, and we prove a Dirac-theoretic version of…

Using the homotopy theory of polynomial monads developed by Batanin and Berger and extended to the $2$-categorical context by Weber, we prove the cofinality of a particular morphism of polynomial $2$-monads. We apply our result to give a…

We study the combinatorics of an analogue of Green's $\mathcal{J}$-relation (a.k.a. the two-sided relation) for the bicategory of finite-dimensional bimodules over finite-dimensional associative algebras over a fixed field. In particular,…

In this paper, we establish a version of the adjunction inequality for closed symplectic 4-manifolds. As in a previous paper on the Thom conjecture, we use contact geometry and trisections of 4-manifolds to reduce this inequality to the…

We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…

This paper addresses two different but related questions regarding an unbounded symmetric tridiagonal operator: its self-adjointness and the approximation of its spectrum by the eigenvalues of its finite truncations. The sufficient…

This paper is a coalgebra version of arXiv:1703.04266 and a sequel to arXiv:1607.03066. We present the definition of a pseudo-dualizing complex of bicomodules over a pair of coassociative coalgebras $\mathcal C$ and $\mathcal D$. For any…

We adapt methods coming from additive combinatorics in groups to the study of linear span in associative unital algebras. In particular, we establish for these algebras analogues of Diderrich-Kneser's and Hamidoune's theorems on sumsets and…

Using Butz and Moerdijk's topological groupoid representation of a topos with enough points, a `syntax-semantics' duality for geometric theories is constructed. The emphasis is on a logical presentation, starting with a description of the…

In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…

Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying certain universal properties (representability) induces…