Related papers: Directed Sets of Topology -- Tukey Representation …
This is a survey of recent work on the structure of Tukey reductions among analytic $\sigma$-ideals of compact subsets of compact metric spaces and analytic P-ideals of sets of natural numbers. An attempt is made to organize the results…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
One partially ordered set, $Q$, is a Tukey quotient of another, $P$, if there is a map $\phi : P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Two partial orders which are mutual Tukey quotients are said to be Tukey…
We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…
We study ultrafilters on regular uncountable cardinals, with a primary focus on $\omega_1$, and particularly in relation to the Tukey order on directed sets. Results include the independence from ZFC of the assertion that every uniform…
We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…
We investigate two approximation relations on a T0 topological space, the n-approximation, and the d-approximation, which are generalizations of the way-below relation on a dcpo. Different kinds of continuous spaces are defined by the two…
Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than…
The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space…
We introduce the pre-Tukey reducibility, a generalization of the Tukey reducibility between directed sets that works well in $\mathsf{ZF}$. We investigate the pre-Tukey reducibility between several $\sigma$-directed sets under assumptions…
We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If…
Motivated by a question of Isbell, we show that Jensen's Diamond Principle implies there is a non-P-point ultrafilter U on omega such that U, whether ordered by reverse inclusion or reverse inclusion mod finite, is not Tukey equivalent to…
We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…
For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $\phi:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a…
We introduce and investigate a topological version of St\"ackel's 1907 characterization of finite sets, with the goal of obtaining an interesting notion that characterizes usual compactness (or a close variant of it). Define a $T_2$…
Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a…
In the directed setting, the spaces of directed paths between fixed initial and terminal points are the defining feature for distinguishing different directed spaces. The simplest case is when the space of directed paths is homotopy…
If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…