Related papers: Smallness in Topology
Structures in low-dimensional topology and low-dimensional geometry -- often combined with ideas from (quantum) field theory -- can explain and inspire concepts in algebra and in representation theory and their categorified versions. We…
We study two notions of largeness for closed submodules of Hilbert C*-modules: essentiality and topological essentiality. While the analogous properties are known to be equivalent for closed two-sided ideals of C*-algebras, the one-sided…
Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…
We study the model theory of covers of groups definable in o-minimal structures. This includes the case of covers of compact real Lie groups. In particular we study categoricity questions, pointing out some notable differences with the case…
We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides…
There are several ideal boundaries and completions in General Relativity sharing the topological property of being sequential, i.e., determined by the convergence of its sequences and, so, by some limit operator $L$. As emphasized in a…
In this paper we study the reflections of the category of topological and semitopological semigroups on the category of the class of topological spaces satisfying separation axioms $T_{0}$, $T_{1}$, $T_{2}$, $T_{3}$ and regular and we apply…
We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…
A categorical generalization of the notion of movability from the inverse systems and shape theory was given by the first author who defined the notion of movable category and interpreted by this the movability of topological spaces. In…
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is…
The purpose of this writing is to show that, if we use the definition of elementary $\infty$-topos that has been proposed by Mike Shulman, then the fact that every geometric $\infty$-topos satisfies the required axioms, more specifically…
According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is…
For any length category, we establish a set of rules (necessary and sufficient) that ensure a partial order on the isomorphism classes of simple objects such that the category is equivalent to the category of finite dimensional…
Let $\kappa$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $\kappa$-additive algebra of…
The relation between manifold topology, observables and gauge group is clarified on the basis of the classification of the representations of the algebra of observables associated to positions and displacements on the manifold. The guiding,…
The free monoid with two generators acts on classes (=properties) of morphisms of a category by taking the left or right orthogonal complement with respect to the lifting property, and we define the Quillen negation monoid of the category…
In this note we remark on the problem of equality of objects in categories formalized in Martin-L\"of's constructive type theory. A standard notion of category in this system is E-category, where no such equality is specified. The main…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…
We relativize the notion of a compact object in an abelian category with respect to a fixed subclass of objects. We show that the standard closure properties persist to hold in this case. Furthermore, we describe categorical and…