Related papers: Exponentiability via Double Categories
We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosick\'y. These new terms come together with a notion of term-interpretability, which recovers the same type of…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…
We give simple upper bounds for rational sectional category and use them to compute invariants of the type of Farber's topological complexity of rational spaces. In particular we show that the sectional category of formal morphisms reaches…
In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs from the set-theoretic one. Here we…
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and…
Let S be a scheme. In this paper, we define the notion of biextensions of 1-motives by 1-motives. If M(S) denotes the Tannakian category generated by 1-motives over S (in a geometrical sense), we define geometrically the morphisms of M(S)…
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…
We generalize the dual notions of "expansion" and "collapse" so they can be applied to arbitrary metric spaces. We also expand the theory to allow for infinitely many such moves. Those tools are then employed to prove a variety of…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
Based on the concepts of $\mathbb{R}$-factorizable topological groups and $\mathcal{M}$-factorizable topological groups, we introduce four classes of factorizabilities on topological groups, named $P\mathcal{M}$-factorizabilities,…
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
We use pointwise Kan extensions to generate new subcategories out of old ones. We investigate the properties of these newly produced categories and give sufficient conditions for their cartesian closedness to hold. Our methods are of…
We study the categories of singularities coming from Landau-Ginzburg models given by the invertible polynomials. Such categories appear on the B-side of the Berglund-H\"ubsch mirror symmetry. We provide an efficient method of computing…