Related papers: A characterization of productive cellularity
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special…
A poset is called upper homogeneous (or "upho") if every principal order filter of the poset is isomorphic to the whole poset. We observe that the rank and characteristic generating functions of upho posets are multiplicative inverses of…
The interrelations between various classes of convergence spaces defined by countability conditions are studied. Remarkably, they all find characterizations in the usual space of ultrafilters in terms of classical topological properties.…
A causal set is a countably infinite poset in which every element is above finitely many others; causal sets are exactly the posets that have a linear extension with the order-type of the natural numbers -- we call such a linear extension a…
Michael asked whether every productively Lindel\"of space is powerfully Lindel\"of. Building of work of Alster and De la Vega, assuming the Continuum Hypothesis, we show that every productively Lindel\"of space of countable tightness is…
Answering a long-standing question in the theory of torsion modules, we show that weakly productively bounded domains are necessarily productively bounded. Moreover, we prove a twin result for the ideal lattice L of a domain equating weak…
We study families of cellular resolutions by looking at them as a category and applying tools from representation stability. We obtain sufficient conditions on the structure of the family to have a noetherian representation category and…
In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in…
Let $V$ be a vector space endowed with a non-degenerate quadratic form $Q$. If the base field $\mathbb{F}$ is different from $\mathbb{F}_2$, it is known that every isometry can be written as a product of reflections. In this article, we…
Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological…
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for 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.,…
Let $G$ be a group and let $\mathcal{F}$ be a family of subgroups of $G$ closed under conjugation. For a positive integer $n$, let $C_n$ denote a cyclic group of order $n$. We show that if there exists an integer $n$ such that every group…
We prove that under certain set-theoretic assumptions every productively Lindel\"of space has the Hurewicz covering property, thus improving upon some earlier results of Aurichi and Tall.
Probabilities of causation (PoCs) are fundamental quantities for counterfactual analysis and personalized decision making. However, existing analytical results are largely confined to binary settings. This paper extends PoCs to multi-valued…
Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, then analyze…
We present an internal characterization for the productively Lindel\"of property, thus answering a long-standing problem attributed to Tamano. We also present some results about the relation Alster spaces vs. productively Lindel\"of spaces.
The Causal Set Theory (CST) approach to quantum gravity is motivated by the observation that, associated with any causal spacetime (M,g) is a poset (M,<), with the order relation < corresponding to the spacetime causal relation. Spacetime…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
We give equivalent descriptions for the augmented and diminished base loci of vector bundles in characteristic zero. We show that these base loci behave well under pullback, tensor product, and direct sum. Pathological behavior is observed…