Related papers: Poset-enriched pretoposes and compact ordered spac…

Let $X$ be an algebraic stack with quasi-affine diagonal of finite type over a field $k$ of characteristic $0$. We extend the well-known equivalence $\mathsf{D}^+(\mathsf{QCoh}(X)) \simeq \mathsf{D}_{\mathrm{qc}}^+(X)$ to unbounded derived…

We study three kinds of compactness in some variants of G\"odel logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the…

A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e.,…

We obtain sufficient conditions for a densely defined operator on the Fock space to be bounded or compact. Under the boundedness condition we then characterize the compactness of the operator in terms of its Berezin transform.

A poset-stratified space is a pair $(S, S \xrightarrow \pi P)$ of a topological space $S$ and a continuous map $\pi: S \to P$ with a poset $P$ considered as a topological space with its associated Alexandroff topology. In this paper we show…

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density…

This article has been withdrawn in 2013. The class of LOTS (linearly ordered topological spaces) contains many important spaces, like the set of real numbers, the set of rational numbers and the ordinals. Such spaces have rich topological…

We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of…

The set of quasipositive surfaces is closed under incompressible inclusion. We prove that the induced order on fibre surfaces of positive braid links is almost a well-quasi-order. When restricting to quasipositive surfaces containing a…

We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial…

We introduce the Picard group of corings. We extend the well-known exact sequence from algebras and coalgebras over fields to corings. We extend the Aut-Pic property to corings and we give some new examples of corings having this property.…

We study finite quasi-quantum groups in their quiver setting developed recently by the first author in arXiv:0902.1620 and arXiv:0903.1472. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation…

A compact Hausdorff space X is called a CO space, if every closed subset of X is homeomorphic to an open subset of X. Every successor ordinal with its order topology is a CO space. We find an explicit characterization of the class K of CO…

This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged…

Let $S$ be a pomonoid, in this paper, {\bf Pos}-$S$, the category of $S$-posets and $S$-poset maps, is considered. First, we characterize some pomonoids on which all projectives in this category are generator or free. Then, we study regular…

A monoid $M$ generated by a set $S$ of symbols can be described as the set of equivalence classes of finite words in $S$ under some relations that specify when some contiguous sequence of symbols can be replaced by another. If $a,b\in S$, a…

Let $n$ be any positive integer and $\mathscr{I\!P\!F}(\mathbb{N}^n)$ be the semigroup of all order isomorphisms between principal filters of the $n$-th power of the set of positive integers $\mathbb{N}$ with the product order. We prove…

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…

For each composition $\vec{c}$ we show that the order complex of the poset of pointed set partitions $\Pi^{\bullet}_{\vec{c}}$ is a wedge of spheres of the same dimension with the multiplicity given by the number of permutations with…