\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{directed topological space} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{topology}{}\paragraph*{{Topology}}\label{topology} [[!include topology - contents]] \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{homotopytheoretic_perspective}{Homotopy-theoretic perspective}\dotfill \pageref*{homotopytheoretic_perspective} \linebreak \noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak \noindent\hyperlink{streams}{Streams}\dotfill \pageref*{streams} \linebreak \noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak \noindent\hyperlink{remarks}{Remarks}\dotfill \pageref*{remarks} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \noindent\hyperlink{discussion}{Discussion}\dotfill \pageref*{discussion} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} A \emph{directed topological space} is a [[topological space]] $X$ in which there is some `sense of direction'. This can happen in various different ways and the level of the `directedness' can be different in different situations, so naturally there are several `competing' ideas, but the beginning of a consensus on what the overarching idea is. If one bases homotopy theory on the idea of a [[singular simplex]] or more generally a singular cell of any shape, then there is no way in which a `sense of direction' can be encode. If we have a path in a space we can go along it (traverse it) in either direction, from 0 to 1 or from 1 to 0. From this perspective a directed space is one in which not every singular cell $\Delta^n \to X$ (for $\Delta^n$ the standard topological [[simplex]]) is supposed to be \emph{traversable} in all directions, in some sense: instead these $k$-dimensional \emph{paths} may have a \emph{direction} . As an example one can base the `sense of direction' on a closed [[preorder]] or [[partial order]], (that is a [[pospace]]),so that the paths from the directed interval $[0,1]$ with the usual order to the space $X$, can only be `traversed' in one direction. Another example which does not fit into this first type would be the directed circle. In other words, a circle with direction determined by the anticlockwise sense. Again it is easy to see that there are certain paths that respect the direction, `directed paths' whilst others do not. So far there exists a well-developed theory for a notion of \emph{directed spaces} $X$ where 1-dimensional paths given by maps $[0,1] \to X$ from the [[interval]] into the space are equipped with a direction. See in particular the book by [[Marco Grandis]] on [[Directed Algebraic Topology]] listed below. Note that a directed space is like a generalised space; not every directed space need be a space in the traditional sense, in accordance with the [[red herring principle]]. As an instance of this, note that [[Marco Grandis]] in his book [[Directed Algebraic Topology]] handles the directed homotopy of small categories, and of cubical complexes, since this is useful for comparison an interpretation of directed homotopy `invariants'. Directed spaces are studied in [[directed homotopy theory]], a relatively young topic. In generalization of how a [[topological space]] has a [[fundamental groupoid]], a [[directed space]] has a [[fundamental category]]. \hypertarget{homotopytheoretic_perspective}{}\subsubsection*{{Homotopy-theoretic perspective}}\label{homotopytheoretic_perspective} From a [[homotopy theory|homotopy theoretic]] perspective one would wish that notions of directed spaces might serve to generalize the [[homotopy hypothesis]] -- which identifies ordinary (undirected) [[topological space]]s with [[∞-groupoid]]s, i.e., with [[(∞,0)-category|(∞,0)-categories]] -- to a more general context where [[(∞,0)-category|(∞,0)-categories]] are generalized to [[(∞,n)-category|(∞,r)-categories]] with $r \gt 0$: An [[(∞,r)-category]] in this context might correspond to a \textbf{$r$-directed topological space} , one that comes equipped with a notion of orientation of its $k$-cells for $0 \leq k \leq r$, but was impartial on direction above that dimension. If such a definition exists, it may need to use [[filtered topological space]]s instead of bare topological spaces. Even in the absence of a homotopy-theoretic definition of $r$-directed space in this sense, from the perspective of [[homotopy theory]] one might take the standpoint of the [[homotopy hypothesis]] and \emph{define} a (nice) $r$-directed space to be an [[(∞,n)-category|(∞,r)-category]], just as it makes good sense and is nowadays common practice in [[algebraic topology]] to \emph{define} a nice [[topological space]] to be an [[∞-groupoid]]. See [[(n,r)-category]] for more on that. [[Urs Schreiber]]: I haven't looked at Marco Grandis' book yet: does it say anything about the homotopy hypothesis in the context of the definition of directed space used there? [[Tim Porter]]: No. \hypertarget{definition}{}\subsection*{{Definition}}\label{definition} A \textbf{directed topological space} or \textbf{d-space} is pair $(X, d X)$ consisting of a [[topological space]] $X$ and a subset $d X \subset C(I,X)$ of continuous maps from the interval $I = [0,1]$ into $X$ -- called \emph{directed paths} or d-paths -- satisfying the following conditions: \begin{enumerate}% \item (constant paths) every constant map $I\to X$ is directed, \item (reparametrisation) $dX$ is closed under composition with increasing maps $I\to I$, \item (concatenation) $dX$ is closed under path-concatenation: if the d-paths $a, b$ are consecutive in $X$ $(a(1) = b(0))$, then their ordinary concatenation $a+b$ is also a d-path \end{enumerate} \begin{displaymath} (a+b)(t) = a(2t),\,\text{if}\, 0\le t\le \frac{1}{2}, \end{displaymath} \begin{displaymath} (a+b)(t) = b(2t-1),\,\text{if}\, \frac{1}{2}\le t\le 1. \end{displaymath} A \textbf{morphism of directed topological spaces} $f : (X, d X)\to (Y , d Y)$ is a morphism of topological spaces $f: X \to Y$ which preserves directed paths in that for every $\gamma: I \to X$ in $d X$ the path $f_* \gamma : I \stackrel{\gamma}{\to} X \stackrel{f}{\to} Y$ is in $d Y$. \hypertarget{streams}{}\subsubsection*{{Streams}}\label{streams} A different definition comes from [[Sanjeevi Krishnan]], \emph{A Convenient Category of Locally Preordered Spaces}, Applied Categorical Structures, 2009, vol. 17, no 5, p. 445-466 (\href{https://arxiv.org/abs/0709.3646}{arxiv}): \textbf{Definition} A \textbf{stream} is a tuple $X, \leq_{-}$, where $\leq_{-}$ assigns to each open subset $U \subset X$ a preorder $\leq_U$, such that: \begin{displaymath} \leq_{\bigcup_i U_i} = \bigvee_i \leq_{U_i} \end{displaymath} Here, $U_i, i \in I$ is a collection of open sets, and $\bigvee$ is pointwise or of relations. \emph{Remarks} \begin{itemize}% \item Morally, a point in a stream is less or equal to another point if it is less or equal in any open set. The relation $\leq_X$ for the whole space does not hold much information. \item In the typical example of the clockwise oriented circle, each point is less or equal to every other one in the relation $\leq_{S^1}$; but for a contractible subset $U \subset S^1$, a point $x$ is less or equal than $y$ if $y$ can be reached from $x$ in a monotonous clockwise path. \item The defining equation of a stream can be thought of as a (co)sheaf condition, and there is indeed a cosheafification result. \item Every d-space gives rise to a stream. \item The category of streams has good properties. In particular, there is an further notion of compactly flowing streams\_ extending the notion of compactly generated Hausdorff spaces, and indeed the forgetful functor creates limits and colimits. \item The category of compactly flowing streams is Cartesian closed. \end{itemize} \hypertarget{examples}{}\subsection*{{Examples}}\label{examples} \begin{itemize}% \item The \emph{standard directed interval} is $I_d = ([0,1], d I)$ with $d I$ the set of all \emph{monotonic} continuous maps $[0,1] \to [0,1]$. \item Any [[pospace]] $X$ gives rise to a directed space by taking the directed paths to be, well, directed paths, i.e. continuous order-preserving maps from $I_d$ to $X$. \end{itemize} \hypertarget{remarks}{}\subsection*{{Remarks}}\label{remarks} \begin{itemize}% \item If we can equip directed spaces with an internal hom, then a directed space with at least one directed path should be a strictly directed object in the category of directed spaces, with respect to the standard directed interval as the [[interval object]], while an ordinary topological space regarded as a directed space should be an [[undirected object]]. \end{itemize} But for that to work we need the structure of a directed topological space on $C(I_d,(X,d X))$. This requires that $X$ has \emph{directed homotopies}! Does Grandis discuss higher directed paths, too? ---Urs \emph{Toby}: I don't think that you need internal homs and all that. But see my edits to [[directed object]]. [[Urs Schreiber|Urs]]: I think we need directed homotopies to check if a ``constructed'' directed space is actually a directed object in the original definition: that original definition asks us to check if the internal hom $[I,X]$ is weakly equivalent to $X$. Well, I made up this definition because I think it is the right abstraction, but there is room of course to debate this. But if we accept it then we should try to define the internal hom of Grandis' directed spaces. There is an obvious solution which one should check the details of: namely a directed topological space should be one which singles out not only subsets of $hom(I,X)$ but subsets of $hom(I^{\times n}, X)$ for all $n$, closed under the obvious reparameterization and gluing. This would induce an obvious notion of directed homotopies and should induce in an obvious way an internal hom for directed topological spaces. I'd think. But I don't feel like investing much time into finalizing this idea right now\ldots{} [[Tim Porter]]: As I have now looked at Marco's book, there are results on exponentiable d-spaces.(p.59). I can give details if anyone is still interested. \hypertarget{references}{}\subsection*{{References}}\label{references} The above definition is from \begin{itemize}% \item [[Marco Grandis]], \emph{Directed homotopy theory, I. The fundamental category} (\href{http://arxiv.org/abs/math.AT/0111048}{arXiv}) \end{itemize} This has now developed into a book \begin{itemize}% \item [[Marco Grandis]], \emph{[[Directed Algebraic Topology]], Models of non-reversible worlds} , Cambridge University Press, 2009. \end{itemize} A discussion of reparameterization of directed paths in directed topological spaces is in \begin{itemize}% \item Ulrich Fahrenberg and Martin Raussen, \emph{Reparametrizations of Continuous Paths} (\href{http://arxiv.org/abs/0706.3560}{arXiv}, (\href{http://golem.ph.utexas.edu/category/2006/09/fahrenberg_and_raussen_on_cont.html}{blog})) \end{itemize} Further references are given in [[directed homotopy theory]]. \begin{itemize}% \item Emmanuel Haucourt, \href{https://doi.org/10.1016/j.entcs.2012.05.008}{\emph{Streams, d-Spaces and Their Fundamental Categories}, Electronic Notes in Theoretical Computer Science, Volume 283, 15 June 2012, Pages 111-151} \end{itemize} \hypertarget{discussion}{}\subsection*{{Discussion}}\label{discussion} \begin{itemize}% \item See also the discussion at the \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=84}{n-Forum}. \end{itemize} The above defined directed \emph{topological} spaces. My impression is that [[Eric Forgy|Eric]] was interested in more general concepts. But the above definition has a straightforward generalization away from topological spaces. The general strategy is really: start with a category with [[interval object]] and consider then the category whose objects are pairs $(X, d X)$ for $X$ an object and $d X$ a subobject of $[I,X]$, and whose morphisms are morphisms $X \to Y$ that take $d X$ to $d Y$. For instance, let's define \textbf{directed sets}: make the ordinary category [[Set]] a category with interval object by , say, taking the interval object to be the set $I := [n]$ of $n$ elements. A map from $I$ into any other set can be regarded as an $n$-step path in that set. Then pairs consisting of a set and a subset of all such maps model ``directed sets''. \emph{[[Eric Forgy|Eric]] says}: Yes, exactly :) That sounds like a good plan. By the way, what you say about $I := [n]$ reminds me a lot of simplicial sets. \emph{[[Eric Forgy|Eric]] says}: We have \emph{directed spaces} and we may soon have \emph{directed sets}. This makes me wonder if we should have a \textbf{directed category} [[internal category|internal to]] another category? This way \begin{itemize}% \item a directed space is a directed category in [[Top]] \item a directed set is a directed category in [[Set]] \item etc \end{itemize} Would that make sense? [[Urs Schreiber|Urs]]: Let's see, before getting into this idea of realizing a directed space as a space internal to something else or the like, I don't see what you want to mean by a ``directed category''. See, the point is that a category already \emph{is} supposed to be a combinatorial model for a directed space. Just as a groupoid is a combinatorial model for an undirected space. This is the very motivation for defining directed spaces: to fill in the question marks in \begin{itemize}% \item groupoid | space || category | ?? . \end{itemize} This is why a directed space is defined such that its ``thing of all paths in it'' is not, in general, a [[fundamental groupoid]] but a [[fundamental category]]. Methinks that for the application which you have in mind you want to be studying [[partial order|posets]] and these are special cases of categories and in particular naturally interpreted as combinatorial models for directed space, in exactly the way in which you are thinking of them as directed spaces! So it seems to me you don't actually need to be looking for what you seem to be looking for, since it is already quite easily there. But of course maybe I misunderstand what you are after. \emph{[[Eric Forgy|Eric]]}: I doubt that what I am looking for is new. If you could help put a name on it, that would be great. I'm not exactly sure what I mean by directed category either other than a ``category with a direction'' :| [[Urs Schreiber|Urs]]: but a category \emph{is} directed! Recall that underlying every category is a [[directed graph]] (it is a directed graph equipped with a composition operation). So I am still puzzled by what you are looking for, because a ``directed category'' would have underlying it a ``directed directed graph''. What's that supposed to be? And why do you want it? \emph{[[Eric Forgy|Eric]]}: Sorry for being so dense. We can delete this once I get a clue. But for now, I'm still confused. Maybe what I wanted to say is more along the line (but probably still not correct) ``A directed space has a fundamental category'' ``A directed set has a fundamental category'' ``A directed object has a fundamental category'' Ack! \emph{light bulb!} (those hurt sometimes) I think that is probably precisely why you defined [[directed object]]. Could we say (and be correct!) that ``a directed space is a directed object in Top''? ``a directed set is a directed object in Set''? If so, I think I am making some progress. [[Urs Schreiber|Urs]]: Yes, a directed space should be a directed object in the category of possibly directed topological spaces! (In [[Top]] itself there are no directed spaces. Every ordinary topological space is undirected). I think I listed that as a should-be example. To make it a proper example one will have to say a few more probabaly straightforward things about directed homotopies etc. But the idea is certainly this, yes, a directed space is a directed object in the category of possibly directed spaces. And as for categories: the generic category is a directed object in the category of categories. Unless it happens to be a groupoid. In which case it is an undirected object there. (All this with respect to the ``canonical'' choice of [[interval object]]. The notion of directedness depends on which interval object you choose to test with. For instance the point itself satisfies the axioms of an interval object. But using it of course everything will look undirected.) \emph{[[Eric Forgy|Eric]]}: Ugh. I didn't want a directed space to be a directed object in the category of directed spaces. That is boring :) A set is an object in the Set too, but it doesn't tell you anything. Hmm. It looks like what I wanted isn't going to work as is, i.e. a directed space is not a directed object in Top because there are no directed objects in Top apparently. [[Urs Schreiber|Urs]]: I think you do want that. Just don't let the terminology let mix you up. An ordinary space is already called a space. While from your perspective an ordinary space ought to be called an \emph{undirected space}. Then ``space'' could be assigned to mean ``not-necessarily but possibly directed space'' and then a directed space could be called a directed object in spaces. But convention is different. So a directed space is a directed object in the category of ``not necessarily but possibly drected spaces''. \emph{Toby}: Even here, I don't think that you're really using the terminology ideally. The proper term for what you're calling a ``not-necessarily but possibly directed space'' is just \emph{directed space}! Much like a non-associative algebra might happen to be associative, so a directed space might happen to be undirected. (In terms of Grandis's definition, any space $X$ defines a directed space where $d$ consists of only the constant paths.) [[Urs Schreiber|Urs]]: Right, Toby, I think that is my point. I was just trying to convince Eric that there is nothing wrong or cheating or boring about the fact that ``a directed space is a directed object in the category of directed spaces''. But maybe the the true issue is whether we want to speak of ``directed objects'' over at [[directed object]] or rather restrict to speaking about \emph{undirected objects}. Then every object would be a directed object, possibly with trivial direction information, while those objects which are propertly directed would be the \emph{not undirected objects}. I consider you as an authority on such issues of logical rigour. You should say how we should fix the terminology and we'll implement that. \emph{Toby}: I'll discuss this at [[directed object]]. [[!redirects directed space]] [[!redirects directed spaces]] [[!redirects d-space]] [[!redirects d-spaces]] [[!redirects directed space]] \end{document}