\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*{monotone function}

\hypertarget{monotone_functions}{}\section*{{Monotone functions}}\label{monotone_functions}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{explicit_definitions}{Explicit definitions}\dotfill \pageref*{explicit_definitions} \linebreak
\noindent\hyperlink{highlevel_explanation}{High-level explanation}\dotfill \pageref*{highlevel_explanation} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

A monotone function is a [[functor]] between [[preordered sets]].

\hypertarget{explicit_definitions}{}\subsection*{{Explicit definitions}}\label{explicit_definitions}

Let $S$ and $T$ be preordered sets, that is [[sets]] equipped with a [[reflexive relation|reflexive]] and [[transitive relation|transitive]] binary [[relation]] $\leq$. (By convention, the same symbol is used for both sets, even technically it is not the same relation.)

Then a [[function]] $f$ from $S$ to $T$ is \textbf{monotone (increasing)}, \textbf{isotone}, \textbf{weakly increasing}, or \textbf{order-preserving} if it preserves $\leq$:

\begin{displaymath}
x \leq y \;\Rightarrow\; f(x) \leq f(y)
\end{displaymath}
for all $x, y$ in $S$.

A \textbf{strictly increasing} function is a weakly increasing function that is also [[injective function|injective]], at least if $S$ and $T$ are [[partial order|partially ordered]]. Between arbitrary preordered sets, however, it is probably better to accept as strictly increasing any weakly increasing function that is weakly injective in that $x \leq y$ whenever $f(x) = f(y)$; such a function must be injective if $S$ is a partial order (since $y \leq x$ will also follow) but not necessarily in general.

\emph{[[Mike Shulman]]}: Is that really the right definition? I think of ``strictly increasing'' as meaning that $x \lt y$ implies $f(x) \lt f(y)$, which is equivalent to the above for linear orders but weaker for partial orders. But I don't have much experience with strictly increasing functions between non-linear orders, so maybe that is the right definition for partial orders.

However, I don't think it is the right definition for preorders; among other things, it's not invariant under equivalence of categories. It seems to me that what you really want to say is that it is [[pseudomonic functor|pseudomonic]] as a functor (whereas my weaker definition would become the statement that it is [[conservative functor|conservative]] as a functor.)

\emph{Toby}: This is the definition in \emph{[[HAF]]} (Section 3.17), which defines it for posets (and is a smart enough book that it wouldn't blindly extend a definition from a special case). Although I don't have a reference, I'm pretty sure that this also used in analysis and topology when thinking about convergence and nets, where they may be prosets. However, I think that you have a good point about preordered sets, so I've changed the wording above. (I'll also try to confirm how covergence theorists define `strictly increasing' functions between directed prosets.)

It occurs to me that, in the absence of the axiom of choice, one ought to accept even anafunctors between prosets as morphisms, even though these may not be representable as strict functions at all. I'll save that for another day, however.

[[Mike Shulman]]: Of course, the definition you gave above isn't the same as pseudomonic unless $T$ is a partial order; in general you want to say $x\leq y$ whenever $f(x) \cong f(y)$. The version with $=$ is still not invariant under equivalence of $T$.

I don't know a whole lot about convergence and nets, but I don't remember seeing strictly increasing functions used there; I look forward to seeing what you find. Does HAF use the poset version for any application that makes clear why this is a good definition? Of course, monomorphisms of posets may quite naturally something to be interested in, but the question is why they should be called ``strictly increasing.''

A function $f$ is \textbf{monotone decreasing}, \textbf{antitone}, \textbf{weakly decreasing}, or \textbf{order-reversing} if it reverses $\leq$:

\begin{displaymath}
x \leq y \;\Rightarrow\; f(y) \leq f(x)
\end{displaymath}
for all $x, y$ in $S$.

A \textbf{strictly decreasing} function is a weakly decreasing function that is also (weakly) injective.

Sometimes the term `monotone' or `isotone' (but rarely both) is used for function from $S$ to itself such that

\begin{displaymath}
x \leq f(x)
\end{displaymath}
for all $x$ in $S$.

Is there a widely accepted term for this? I've seen both of these, I think, but the other meaning seems to be more common for both. ---[[Toby Bartels|Toby]]

\hypertarget{highlevel_explanation}{}\subsection*{{High-level explanation}}\label{highlevel_explanation}

As a preordered set is the same thing as a [[category]] in which any two [[parallel morphisms]] are equal, so a monotone function is simply a [[functor]] between such categories. An antitone function is a [[contravariant functor]]. That `monotone' may be used for both matches that `functor' may be used for both covariant and contravariant functors.

Strictly increasing (and strictly decreasing) functions are particularly important between [[linearly ordered sets]], where are the most natural kind of morphism. Between partially ordered sets in general (and between preordered sets using the stricter definition), the strictly increasing functions are simply the [[monomorphisms]] (if weakly increasing functions are taken as the morphisms). If we use the weaker definition between preordered sets, then the strictly increasing functions correspond to [[pseudomonic functors]], which is an appropriate sort of [[higher category theory|higher]] monomorphism; this is one reason for preferring that definition.

The alternative sort of monotone function on a single proset $S$ is rather different; we mention it here largely because of the potential terminological confusion, but it might as well have its own article if we find a nice name for it. As a functor, it is a functor for which every object is an [[algebra for a functor|algebra]]; the condition is part of the requirements of a [[Moore closure]] (a [[monad]] on $S$).

[[!redirects monotone]] [[!redirects monotone function]] [[!redirects monotone functions]] [[!redirects monotone map]] [[!redirects monotone maps]] [[!redirects monotone mapping]] [[!redirects monotone mappings]] [[!redirects monotonic]] [[!redirects monotonic function]] [[!redirects monotonic functions]] [[!redirects monotonic map]] [[!redirects monotonic maps]] [[!redirects monotonic mapping]] [[!redirects monotonic mappings]] [[!redirects monotone-increasing]] [[!redirects monotone increasing]] [[!redirects monotone-increasing function]] [[!redirects monotone-increasing functions]] [[!redirects monotone increasing function]] [[!redirects monotone increasing functions]] [[!redirects increasing function]] [[!redirects increasing functions]] [[!redirects weakly increasing function]] [[!redirects weakly increasing functions]] [[!redirects weakly-increasing function]] [[!redirects weakly-increasing functions]] [[!redirects isotone function]] [[!redirects isotone functions]] [[!redirects order-preserving function]] [[!redirects order-preserving functions]] [[!redirects order preserving function]] [[!redirects order preserving functions]]

[[!redirects monotone-decreasing]] [[!redirects monotone decreasing]] [[!redirects monotone-decreasing function]] [[!redirects monotone-decreasing functions]] [[!redirects monotone decreasing function]] [[!redirects monotone decreasing functions]] [[!redirects decreasing function]] [[!redirects decreasing functions]] [[!redirects weakly decreasing function]] [[!redirects weakly decreasing functions]] [[!redirects weakly-decreasing function]] [[!redirects weakly-decreasing functions]] [[!redirects antitone function]] [[!redirects antitone functions]] [[!redirects order-reversing function]] [[!redirects order-reversing functions]] [[!redirects order reversing function]] [[!redirects order reversing functions]]

[[!redirects strictly increasing function]] [[!redirects strictly increasing functions]] [[!redirects strictly-increasing function]] [[!redirects strictly-increasing functions]] [[!redirects strictly decreasing function]] [[!redirects strictly decreasing functions]] [[!redirects strictly-decreasing function]] [[!redirects strictly-decreasing functions]] [[!redirects strictly order-preserving function]] [[!redirects strictly order-preserving functions]] [[!redirects strict order-preserving function]] [[!redirects strict order-preserving functions]]



\end{document}