Related papers: On local presentability of T/A

We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives…

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

A remarkable result of Thompson states that a finite group is soluble if and only if its two-generated subgroups are soluble. This result has been generalized in numerous ways, and it is in the core of a wide area of research in the theory…

Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet…

We study the continuous reducibility of isomorphism relations in the space of regresive functions in $\kappa^\kappa$. We show for inaccessible $\kappa$, that if $\mathcal{T}$ is a theory with less than $\kappa$ non-isomorphic models of size…

This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target location within T time units, where T is a constant rational…

We show that if a separable space X has a meager open subset containing a copy of the Cantor set 2^\omega, then X has $\frak{c}$ types of countable dense subsets. We suggest a generalization of the \lambda-set for non-separable spaces. Let…

We develop a theory of localization for braid group representations associated with objects in braided fusion categories and, more generally, to Yang-Baxter operators in monoidal categories. The essential problem is to determine when a…

Let $G$ be a split connected reductive group over a non-archimedean local field. In the $p$-adic setting, Orlik-Strauch constructed functors from the BGG category $\mathcal{O}$ associated to the Lie algebra of $G$ to the category of locally…

We show that locally solvable subgroups of PLo(I) are countable. Then for each countable ordered set, we construct a locally solvable subgroup of Thompson's Group F. We develop machinery for understanding embeddings from solvable subgroups…

We study the functoriality of the local theta correspondence for classical $p$-adic groups. This is realized via the adaptation of the Adams conjecture to ABV-packets. We provide evidence for the conjecture, especially in the case of…

For a locally compact abelian group $G$ a simple proof is given for the known fact that a bounded domain $\Omega$ tiles $G$ with translations by a lattice $\Lambda$ if and only if the set of characters of $G$ indexed by the dual lattice of…

We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…

Morrill and Valentin in the paper "Computational coverage of TLG: Nonlinearity" considered an extension of the Lambek calculus enriched by a so-called "exponential" modality. This modality behaves in the "relevant" style, that is, it allows…

We will show a local solvability result for a class of degenerate second order linear partial differential operators with a complex subprincipal symbol. Due to the form of the operators in the class the subprincipal symbol is invariantly…

A list $\Lambda =\{\lambda _{1},\ldots ,\lambda _{n}\}$ of complex numbers (repeats allowed) is said to be \textit{realizable} if it is the spectrum of an entrywise nonnegative matrix $A$. $\Lambda $ is \textit{diagonalizably realizable} if…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

Langlands has described the irreducible admissible representations of $T$, when $T$ is the group of points of an algebraic torus over a local field. Also, Langlands described the automorphic representations of $T_{\mathbb A}$ when…

We classify projective functors on the regular block of Rocha-Caridi's parabolic version of the BGG category $\mathcal{O}$ in type $A$. In fact, we show that, in type $A$, the restriction of an indecomposable projective functor from…