A convenient category of locally preordered spaces
From MaRDI portal
Publication:1037410
DOI10.1007/s10485-008-9140-9zbMath1184.54030arXiv0709.3646OpenAlexW3100233275MaRDI QIDQ1037410
Publication date: 16 November 2009
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0709.3646
Topological spaces with richer structures (54E99) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Categorical methods in general topology (54B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
Left properness of flows, A Hurewicz Model Structure for Directed Topology, A cubical model for path spaces in d-simplicial complexes, Ordered locales, Directed homology theories and Eilenberg-Steenrod axioms, Classification of dicoverings, Unique decomposition of homogeneous languages and application to isothetic regions, Open-graphs and monoidal theories, Saturating directed spaces, Simplicial Models for Concurrency, Streams, d-Spaces and Their Fundamental Categories, Exponentiable streams and prestreams, The geometry of conservative programs, Homotopy theory of Moore flows (II), Cubical approximation for directed topology. I
Cites Work
- Complete rewriting systems and homology of monoid algebras
- Word problems and a homological finiteness condition for monoids
- Realizability interpretation of generalized inductive definitions
- On the geometry of intuitionistic S4 proofs
- Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency
- Components of the fundamental category
- Inequilogical spaces, directed homology and noncommutative geometry
- A model category for the homotopy theory of concurrency
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- Components of the fundamental category. II
- A model category for local po-spaces
- Algebraic topology and concurrency
- A convenient category of topological spaces
- Geometry and concurrency: a user's guide
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
