On the Embedding of Top in the Category of Stratified L-Topological Spaces

HL Lai,DX Zhang

DOI: https://doi.org/10.1142/s025295990500018x

2005-01-01

Abstract:Let L be a meet continuous lattice. It is proved that the category Top of topological spaces can be embedded in the category of stratified L-topological spaces as a concretely both reflective and coreflective full subcategory if and only if L is a continuous lattice.

What problem does this paper attempt to address?

Frink Ideal Topology of Lattice Effect Algebras

Qiang Lei,Junde Wu,Ronglu Li

DOI: https://doi.org/10.1016/s0034-4877(08)00015-3

IF: 0.808

2008-01-01

Reports on Mathematical Physics

Abstract:A difficult question arising in the study of effect algebras is how to equip them with a fitting and proper topology such that the topology is compatible with the partial operations ⊕ and Θ. As we know, the Frink ideal topology is an important intrinsic topology for studying partially ordered set theory; in particular, it is the correct topology for chains and direct products of a finite number of chains. In this paper, we show that the Frink ideal topology is also a nice topology for studying effect-algebra theory since it provides the operations with some of the expected continuity properties.
Presenting the topological stratified homotopy hypothesis

Lukas Waas

2024-03-12

Abstract:This article is concerned with three different homotopy theories of stratified spaces: The one defined by Douteau and Henriques, the one defined by Haine, and the one defined by Nand-Lal. One of the central questions concerning these theories has been how precisely they connect with geometric and topological examples of stratified spaces, such as piecewise linear pseudomanifolds, Whitney stratified spaces, or more recently Ayala, Francis and Tanaka's conically smooth stratified spaces. More precisely, so far, it has been an open question whether there exist (semi)model structures on stratified topological spaces that present these theories, in which such relevant examples of stratified spaces are bifibrant. Here, we prove an affirmative answer to this question. As a consequence, we obtain a model categorical interpretation of a stratified homotopy hypothesis. Specifically, we show that Lurie's stratified singular simplicial set functor induces a Quillen equivalence between the semimodel category of stratified topological spaces presenting Nand-Lal's homotopy theory of stratified spaces and the left Bousfield localization of the Joyal model structure that corresponds to such $\infty$-categories in which every endomorphism is an isomorphism. We then perform a detailed investigation of bifibrant objects in these model structures of stratified spaces, proving a series of detection criteria and illuminating the relationship to Quinn's homotopically stratified spaces.

Algebraic Topology
The embedding structure for linearly ordered topological spaces

Alex Primavesi,Katherine Thompson

DOI: https://doi.org/10.48550/arXiv.1102.2159

2011-02-11

Abstract:In this paper, the class of all linearly ordered topological spaces (LOTS) quasi-ordered by the embeddability relation is investigated. In ZFC it is proved that for countable LOTS this quasi-order has both a maximal (universal) element and a finite basis. For the class of uncountable LOTS of cardinality $\kappa$ it is proved that this quasi-order has no maximal element for $\kappa$ at least the size of the continuum and that in fact the dominating number for such quasi-orders is maximal, i.e. $2^\kappa$. Certain subclasses of LOTS, such as the separable LOTS, are studied with respect to the top and internal structure of their respective embedding quasi-order. The basis problem for uncountable LOTS is also considered; assuming the Proper Forcing Axiom there is an eleven element basis for the class of uncountable LOTS and a six element basis for the class of dense uncountable LOTS in which all points have countable cofinality and coinitiality.

Logic,General Topology
Topological and semi-topological Galois embedding problems

Jyh-Haur Teh

2024-12-11

Abstract:We reformulate the embedding problem in Galois theory as a question within the frameworks of topological and semi-topological Galois theory. We prove that these problems are solvable when the fundamental group of the base space is a free group of countable rank.

Algebraic Topology
On stratifications and poset-stratified spaces

Lukas Waas,Jon Woolf,Shoji Yokura

2024-07-25

Abstract: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., topological space endowed with a continuous map to a poset with its Alexandrov topology, has been popularized. Both notions of stratified spaces are ubiquitous in mathematics, ranging from investigations of singular structures in algebraic geometry to extensions of the homotopy hypothesis in higher category theory. In this article we study the precise mathematical relation between these different approaches to stratified spaces.

General Topology,Algebraic Topology
The Meet Continuous Partial Ordered Objects in a Topos

Di WANG,Tao LU,Xi-juan WANG

2017-01-01

Abstract:In this paper,we introduce the concept of meet continuous partially ordered objects,study the properties of meet continuous partial ordered objects in a topos and then generalize some well-known lattice theory conclusions into a topos.
The categories $L$\textbf{-Top_0} and $L$\textbf{Sob} as epireflective hulls

Rana Noor,Arun K. Srivastava

DOI: https://doi.org/10.48550/arXiv.1306.1895

2013-06-18

Abstract:We show that the category $L\textbf{-Top}_{0}$ of $T_{0}$-$L$-topological spaces is the epireflective hull of Sierpinski $L$-topological space in the category $L\textbf{-Top}$ of $L$-topological spaces and the category $L\textbf{-Sob}$ of sober $L$-topological spaces is the epireflective hull of Sierpinski $L$-topological space in the category $L\textbf{-Top}_{0}$.

Category Theory
Embedding of partially ordered topological spaces in Fell topological hyperspaces

Jinlu Li

DOI: https://doi.org/10.48550/arXiv.2112.11584

2021-12-22

General Topology

Abstract:In this paper, we prove a theorem about embedding of some partially ordered topological spaces in topological hyperspaces equipped with Fell topology. Then we give some examples to show that the map defining the embedding may not be continuous with respect to Vietoris topology or Hausdorff topology equipped on the hyperspaces.
An invitation to topological orders and category theory

Liang Kong,Zhi-Hao Zhang

DOI: https://doi.org/10.48550/arXiv.2205.05565

2022-05-11

Strongly Correlated Electrons

Abstract:Although it has been a well-known fact, for more than two decades, that category theory is needed for the study of topological orders, it is still a non-trivial challenge for students and working physicists to master the abstract language of category theory. In this work, for those who have no background in category theory, we explain in great details how the structure of a (braided) fusion category naturally emerges from lattice models and physical intuitions. Moreover, we show that nearly all mathematical notions and constructions in fusion categories and its representation theory, such as (monoidal) functors, Drinfeld center, module categories, Morita equivalence, condensation completion and fusion 2-categories, naturally emerge from lattice models and physical intuitions. In this process, we also introduce some basic notions and important results of topological orders.
Framed Combinatorial Topology with Labels in $\infty$-Categories

Lukas Heidemann

2023-05-11

Abstract:Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we extend FCT by allowing labelling systems of meshes and trusses in $\infty$-categories, and build an alternative model of FCT by constructing $\infty$-categories that classify meshes and trusses. This will serve as the foundation for future work on models of higher categories based on generalised string diagrams and the study of generalised tangles.

Algebraic Topology,Logic in Computer Science,Category Theory
On Absolutely C-embedded Topological Groups

Heng Zhang,Wei He,Lihong Xie

DOI: https://doi.org/10.1016/j.topol.2024.108893

IF: 0.583

2024-01-01

Topology and its Applications

Abstract:A topological group H is called absolutely C-embedded if H is C-embedded into every topological group containing H as a subgroup. It is shown that a left uniformly continuous real-valued function on a subgroup of a topological group G can extend to a continuous function on G. Therefore, fine groups are absolutely C-embedded. We also prove that a CM-factorizable groups is absolutely C-embedded. Additionally, we explore the factorizability of absolutely C-embedded groups and establish that an absolutely C-embedded group G is R-factorizable if and only if G is an ω-narrow group. We also show that a non-metrizable absolutely C-embedded group G is M-factorizable if and only if G is τ-precompact, where τ=Fi(G).
Filtral pretoposes and compact Hausdorff locales

Célia Borlido,Panagis Karazeris,Luca Reggio,Konstantinos Tsamis

2024-07-17

Abstract:The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral pretopos satisfying some mild additional conditions can be embedded into the category of compact Hausdorff locales. This result is valid in the internal logic of any topos. Assuming the principle of weak excluded middle and the existence of copowers of the terminal object in the pretopos, the image of the embedding contains all spatial compact Hausdorff locales. The notion of filtrality was introduced by V. Marra and L. Reggio (Theory Appl. Categ., 2020) to characterise the category of compact Hausdorff spaces within the class of pretoposes. Our results can be regarded as a constructive extension of the aforementioned characterisation, avoiding reference to points. If the ambient logic is classical, i.e. it satisfies excluded middle, and the prime ideal theorem for Boolean algebras holds, we obtain as a corollary the characterisation of compact Hausdorff spaces in op. cit.

Category Theory
The Supremum and Infimum of Partially Ordered Objects in a Topos

LU Tao,WANG Xi-juan,HE Wei

DOI: https://doi.org/10.6040/j.issn.1671-9352.0.2015.430

2016-01-01

Abstract:The concepts of supremum and infimum which are common generalizations of lattice theory is introduced, and some well-known lattice theory into an arbitrary topos is lifted.The main result that an object in a topos is a com-plete partially ordered object if and only if its general subset has supremum and infimum is obtianed.
Katětov-Tong insertion theorem for functions with values in a tensor product of complete lattices

Tomasz Kubiak,Iraide Mardones-Pérez

DOI: https://doi.org/10.1016/j.fss.2024.108889

IF: 4.462

2024-02-02

Fuzzy Sets and Systems

Abstract:It is shown that Katětov-Tong insertion theorem continues to hold for normal L -topological spaces and functions with values in appropriately L -topologized tensor product M⊗L where L is a complete lattice with an order-reversing involution and M is a completely distributive lattice with a countable join base free of supercompact elements. When the first factor is the real unit interval, the tensor product can be identified with the Hutton fuzzy unit interval. Among corollaries of our insertion theorem are Urysohn lemma and Tietze extension theorem for (M⊗L) -valued functions as well as Katětov-Tong insertion theorem for M -valued functions on traditional topological spaces.

mathematics, applied,statistics & probability,computer science, theory & methods
Categorified Open Topological Field Theories

Lukas Müller,Lukas Woike

2024-06-17

Abstract:In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories. In combination with recently developed string-net techniques, this leads to a new description of the spaces of conformal blocks of Drinfeld centers $Z(\mathcal{C})$ of pivotal finite tensor categories $\mathcal{C}$ in terms of the modular envelope of the cyclic associative operad. If $\mathcal{C}$ is unimodular, we prove that the space of conformal blocks inherits the structure of a module over the algebra of class functions of $\mathcal{C}$ for every free boundary component. As a further application, we prove that the sewing along a boundary circle for the modular functor for $Z(\mathcal{C})$ can be decomposed into a sewing procedure along an interval and the application of the partial trace. Finally, we construct mapping class group representations from Grothendieck-Verdier categories that are not necessarily rigid and make precise how these generalize existing constructions.

Quantum Algebra,Mathematical Physics,Algebraic Topology
Lattice of Compactifications of a Topological Group

Wei He,Zhiqiang Xiao

DOI: https://doi.org/10.29252/cgasa.10.1.39

2018-01-01

Categories and General Algebraic Structures with Application

Abstract:We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological group are obtained.
Lattice structure on bounded homomorphisms between topological lattice rings

Omid Zabeti

DOI: https://doi.org/10.48550/arXiv.1811.11672

2018-11-28

Functional Analysis

Abstract:Suppose $X$ is a locally solid lattice ring. It is known that there are three classes of bounded group homomorphisms on $X$ whose topological structures make them again topological rings. In this note, we consider lattice structure on them; more precisely, we show that, under some mild assumptions, they are locally solid lattice rings.
Topological Bordism of Singular Spaces and an Application to Stratified L-Classes

Martin Rabel

DOI: https://doi.org/10.1016/j.topol.2023.108744

2023-09-16

Abstract:A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly, instead of restricting geometric cycles by conditions on links only, a more flexible framework is built directly via geometric properties, secondly, controlled topology methods are used to give an accessible link-based criterion to detect suitable cycles and thirdly, a geometric argument is used to show, that these classes of cycles are suitable to study the transition to intrinsic stratifications. As an application, we give a construction of topologically (homeomorphism) invariant (homological) L-classes on MHSS Witt-spaces satisfying conditions on Whitehead-groups of links and the dimensional spacing of meeting strata. These L-classes agree, whenever those spaces are additionally pl-pseudomanifolds, with the Goresky-MacPherson L-classes.

Algebraic Topology
Stratified Toposes

Colin Zwanziger

2024-10-01

Abstract:We introduce stratified toposes, which are toposes that are stratified by a suitable hierarchy of universes. The term `stratified topos' recalls the notion of stratified pseudotopos of Moerdijk and Palmgren (2002). However, the details of our proposal are closer to that of Streicher (2005), with the foundational contribution being a strengthening of Streicher's axioms. As such, stratified toposes model the calculus of constructions. Key results about toposes can be refined to yield results about stratified toposes. As proof of concept, we construct what we call the stratified topos of coalgebras for a stratified Cartesian comonad on a stratified topos. This construction refines that of the topos of coalgebras for a Cartesian comonad on a topos. Coalgebra constructions in related settings were given by Warren (2007) and Zwanziger (2023). This coalgebra construction exposes conditions under which generic monomorphisms and dense subcategories can be lifted to coalgebras, which are extracted in the appendix.

Category Theory
Categorically Proper Homomorphisms of Topological Groups.

Wei He,Walter Tholen

DOI: https://doi.org/10.1007/s10485-016-9453-z

2016-01-01

Applied Categorical Structures

Abstract:We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with their counterparts in topology. We assume Hausdorffness only when our proofs require us to do so, which leads to new results and the affirmation of some facts that were known in a Hausdorff context.

On the Embedding of Top in the Category of Stratified L-Topological Spaces

Frink Ideal Topology of Lattice Effect Algebras

Presenting the topological stratified homotopy hypothesis

The embedding structure for linearly ordered topological spaces

Topological and semi-topological Galois embedding problems

On stratifications and poset-stratified spaces

The Meet Continuous Partial Ordered Objects in a Topos

The categories $L$\textbf{-Top_0} and $L$\textbf{Sob} as epireflective hulls

Embedding of partially ordered topological spaces in Fell topological hyperspaces

An invitation to topological orders and category theory

Framed Combinatorial Topology with Labels in $\infty$-Categories

On Absolutely C-embedded Topological Groups

Filtral pretoposes and compact Hausdorff locales

The Supremum and Infimum of Partially Ordered Objects in a Topos

Katětov-Tong insertion theorem for functions with values in a tensor product of complete lattices

Categorified Open Topological Field Theories

Lattice of Compactifications of a Topological Group

Lattice structure on bounded homomorphisms between topological lattice rings

Topological Bordism of Singular Spaces and an Application to Stratified L-Classes

Stratified Toposes

Categorically Proper Homomorphisms of Topological Groups.