Related papers: Nbd is not cartesian closed
This paper is a survey aimed on the introduction of non-Abelian Hodge theory that gives the correspondence between flat bundles and Higgs bundles. We will also introduce some topics arising from this theory, especially some recent…
Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice…
Recently an action for open superstring field theory was proposed where the Neveu-Schwarz sector is formulated in the large Hilbert space while the Ramond sector lives in a restriction of the small Hilbert space. The purpose of this note is…
The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families that support 1-, Sigma- and Pi-types in the strict sense.…
We prove that the quasicategories arising from models of Martin-L\"of type theory via simplicial localization are locally cartesian closed.
We consider two families of categories. The first is the family of semisimple quotients of H. Andersen's tilting module categories for quantum groups of Lie type $B$ specialized at odd roots of unity. The second consists of categories…
We initiate a systematic study of lattices of thick subcategories for arbitrary essentially small triangulated categories. To this end we give several examples illustrating the various properties these lattices may, or may not, have and…
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…
We give a characterization of relative category in the sense of Doeraene-El Haouari by using open covers. We also prove that relative category and sectional category can be defined by taking arbitrary covers (not necessarily open) when…
Let S be a commutative ring with topologically noetherian spectrum and let R be the absolutely flat approximation of S. We prove that subsets of the spectrum of R parametrise the localising subcategories of D(R). Moreover, we prove the…
We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…
In this review paper we study non-compact operators and embeddings between function spaces, highlighting interesting phenomena and the significance of Bernstein numbers. In particular, we demonstrate that for non-compact maps the usual…
We propose a notion of weak (n+k,n)-category, which we call (n+k,n)-Theta-spaces. The (n+k,n)-Theta-spaces are precisely the fibrant objects of a certain model category structure on the category of presheaves of simplicial sets on Joyal's…
This paper is concerned with conditions under which a metric continuum (a compact connected metric space) contains a non-degenerate chainable continuum.
This paper presents a necessary and sufficient condition on a category with weak finite limits for its exact completion to be (locally) cartesian closed. A paper by Carboni and Rosolini already claimed such a characterisation using a…
In all dimensions $n \ge 4$ not of the form $4m+3$, we show that there exists a closed hyperbolic $n$-manifold which is not the boundary of a compact $(n+1)$-manifold. The proof relies on the relationship between the cobordism class and the…
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.
We characterize the finite dimensional asymmetric normed spaces which are right bounded and the relation of this property with the natural compactness properties of the unit ball, as compactness and strong compactness. In contrast with some…
It is known that any meromorphic connection on the Riemann sphere determines a finite diagram encoding its global Cartan matrix, and that it is invariant under the Fourier-Laplace transform. If the connection is tame at finite distance and…
The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…