Related papers: P{\l}onka Adjunction
Lapid and M\'{i}nguez gave a criterion of the irreducibility of the parabolic induction $\sigma \times \pi$, where $\sigma$ is a ladder representation and $\pi$ is an arbitrary irreducible representation of the general linear group over a…
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the…
It is proposed that, in a strongly-interacting electroweak sector, besides the Goldstone bosons, the coexistence of a scalar state ($H$) and vector resonances such as $A_1$ [$I^G(J^P)=1^-(1^+$)], $V$ [$1^+(1^-)$] and $\omega_H^{}$…
Let S(D) be the surface produced by applying Seifert's algorithm to the oriented link diagram D. I prove that if D has no negative crossings then S(D) is a quasipositive Seifert surface, that is, S(D) embeds incompressibly on a fiber…
This paper presents an abstract, mathematical formulation of classical propositional logic. It proceeds layer by layer: (1) abstract, syntax-free propositions; (2) abstract, syntax-free contraction-weakening proofs; (3) distribution; (4)…
We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditional algebraic definitions of higher categories, and we use…
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for…
In this paper, we propose a mild condition, named Condition $(**)$, for collections of sequence of integers and show that for any measure preserving system the Pinsker $\sigma$-algebra is a characteristic $\sigma$-algebra for the averages…
A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that…
We analyze under which conditions the missing label problem associated to a reduction chain $\frak{s}^{\prime}\subset \frak{s}$ of (simple) Lie algebras can be completely solved by means of an In\"on\"u-Wigner contraction $\frak{g}$…
We show that when using the underlying positive model structure on symmetric spectra one obtains cofibrancy conditions for operadic constructions under much milder hypothesis than one would need for general categories. Our main result…
We prove a prime decomposition theorem for string links in a thickened surface. Namely, we prove that any non-braid string link $\ell \subset \Sigma \times I$, where $\Sigma$ is a compact orientable (not necessarily closed) surface other…
Let $(G,H,\sigma)$ be a symmetric pair and $\mathfrak{g}=\mathfrak{m}\oplus\mathfrak{h}$ the canonical decomposition of the Lie algebra $\mathfrak{g}$ of $G$. We denote by ${\nabla}^0$ the canonical affine connection on the symmetric space…
Pudl\'ak [Pud17] lists several major conjectures from the field of proof complexity and asks for oracles that separate corresponding relativized conjectures. Among these conjectures are: - $\mathsf{DisjNP}$: The class of all disjoint…
Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…
The Lie algebra of pseudodifferential symbols on the circle has a nontrivial central extension (by the ``logarithmic'' 2-cocycle) generalizing the Virasoro algebra. The corresponding extended subalgebra of integral operators generates the…
We define the notions of disjoint unions and products for generalised P\'olya urns, proving that this turns the set of isomorphism classes of urns into a commutative semiring. The set of square matrices up to similarity by a permutation…
We investigate the limits of the multivariable signature function $\sigma_L$ of a $\mu$-component link $L$ as some variable tends to $1$ via two different approaches: a three-dimensional and a four-dimensional one. The first uses the…
For a discrete colored operad $P$, we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$-algebras, and prove that when $P$ is $\Sigma$-free it establishes a Quillen…