Related papers: Sigma limits in 2-categories and flat pseudofuncto…
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.…
We argue that the two-dimensional $O(N)$-invariant lattice $\sigma$-model with mixed isovector/isotensor action has a one-parameter family of nontrivial continuum limits, only one of which is the continuum $\sigma$-model constructed by…
A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…
We study the $\epsilon$-pseudospectra $\sigma_\epsilon(A)$ of square matrices $A \in \mathbb{C}^{N \times N}$. We give a complete characterization of the $\epsilon$-pseudospectrum of any $2 \times 2$ matrix and describe the asymptotic…
We study canonical filtrations of finite-dimensional associative algebras and Lie algebras. These filtrations are defined via optimal destabilizing one-parameter subgroups in the sense of geometric invariant theory (GIT), and appear to be a…
We provide a complete description of the category of pseudo-categories (including pseudo-functors, natural and pseudo-natural transformations and pseudo modifications). A pseudo-category is a non strict version of an internal category. It…
A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right…
Soft limits of massless S-matrix are known to reflect symmetries of the theory. In particular for theories with Goldstone bosons, the double-soft limit of scalars reveals the coset structure of the vacuum manifold. In this letter, we…
We review recent progress in the study of S-folds in light of the gauge/gravity duality and the AdS swampland conjecture. S-folds correspond to non-geometric backgrounds of type IIB supergravity of the form $\,\textrm{AdS}_4 \, \times \,…
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…
We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of…
The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…
We introduce a notion of $\lambda$-graph bisystem. It consists of a pair $({\frak L}^-, {\frak L}^+)$ of two labeled Bratteli diagrams ${\frak L}^-, {\frak L}^+$ over alphabets $\Sigma^-, \Sigma^+$, respectively, and satisfy certain…
We show that one-parameter deformation $\mathcal A_{q,t}$ of the skein algebra $Sk_q(\Sigma_2)$ of a genus two surface suggested in [AS19] is flat. We solve the word problem in the algebra and describe monomial basis. In addition, we…
Let $A$ be a rational function of degree $n\geq 2$. Let us denote by $ G(A)$ the group of M\"obius transformations $\sigma$ such that $ A\circ \sigma=\nu_{\sigma} \circ A$ for some M\"obius transformations $\nu_{\sigma}$, and by $\Sigma(A)$…
Let $G$ be a connected semisimple real algebraic group. We prove that limit cones vary continuously under deformations of Anosov subgroups of $G$ under a certain convexity assumption, which turns out to be necessary. We apply this result to…
We extend the two-variable logic on data words with guarded regular binary predicates of the form $\widetilde{L}(x,y)$ that is true if positions $x$ and $y$ are in the same class and the factor strictly between $x$ and $y$ is in the regular…
The orbits of the orthogonal and symplectic groups on the flag variety are in bijection, respectively, with the involutions and fixed-point-free involutions in the symmetric group $S_n$. Wyser and Yong have described polynomial…
In this paper we prove that various quasi-categories whose objects are $\infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a…
Liftings of endofunctors on sets to endofunctors on relations are commonly used to capture bisimulation of coalgebras. Lax versions have been used in those cases where strict lifting fails to capture bisimilarity, as well as in modeling…