\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*{algebraic weak factorization system}

[[!redirects natural weak factorization system]]

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{factorization_systems}{}\paragraph*{{Factorization systems}}\label{factorization_systems}

[[!include factorization systems - contents]]

\hypertarget{category_theory}{}\paragraph*{{Category theory}}\label{category_theory}

[[!include category theory - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{basic_idea}{Basic idea}\dotfill \pageref*{basic_idea} \linebreak
\noindent\hyperlink{preliminaries}{Preliminaries}\dotfill \pageref*{preliminaries} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{interesting_features}{Interesting features}\dotfill \pageref*{interesting_features} \linebreak
\noindent\hyperlink{small_object_argument}{Small object argument}\dotfill \pageref*{small_object_argument} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{basic_idea}{}\subsection*{{Basic idea}}\label{basic_idea}

\textbf{Algebraic weak factorization systems} (AWFS) are algebraizations of [[weak factorization system]]s (WFS). The elements in the left and right classes of morphisms are replaced by coalgebras and algebras, respectively, for a certain [[comonad]] and [[monad]] on the [[arrow category]]. This comonad and monad also determine the functorial factorization and give natural coalgebra and algebra structures to the left and right factors.

Algebraic weak factorization systems were originally called \textbf{natural weak factorization systems} by Grandis and Tholen.

\hypertarget{preliminaries}{}\subsection*{{Preliminaries}}\label{preliminaries}

Recall a \textbf{functorial factorization} on a category $K$ is a functor $E : K$ $\rightarrow$ $K$ that is a section to the composition functor $d_1$, induced by the inclusion functor $d^1 : 2 \rightarrow 3$ between the ordinal categories.

Explicitly, $E$ factors a morphism $(u,v) : f \Rightarrow g$ in $K^{2}$ as

\begin{displaymath}
\itexarray{
    \cdot &\stackrel{u}{\to}& \cdot
    \\
    \downarrow^f
    &&
    \downarrow^g
    \\
   \cdot &\stackrel{v}{\to}& \cdot    
  } \itexarray{ & & } \stackrel{E}{\mapsto} \itexarray{ &&}
  \itexarray{
    \cdot &\stackrel{u}{\to}& \cdot
    \\
    \downarrow^{Lf}
    &&
    \downarrow_{Lg}
    \\
    \cdot  & \stackrel{E(u,v)}{\to} & \cdot 
   \\ \downarrow^{Rf} && \downarrow_{Rg} \\
   \cdot &\stackrel{v}{\to}& \cdot    
  }
\end{displaymath}
There are two other injective functors $d^0, d^2 : 2 \rightarrow 3$ whose image misses the object that appears as their superscript. When we compose $E$ with $d_2$ and $d_0$, we obtain endofunctors of $K^{2}$, which we call $L$ and $R$.

There are obvious natural transformations $1 \Rightarrow R$ and $L \Rightarrow 1$ whose components are given by the data of the functorial factorization $E$. We say $L$ and $R$ are \textbf{pointed} endofunctors, with these natural transformations in mind.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

A AWFS on a category $K$ consists of a pair $(L,R)$ where $L$ is a comonad and $R$ is a monad, whose underlying pointed endofunctors arise from a functorial factorization $E$. Some authors (Garner) also require that the canonical natural transformation $L R \Rightarrow R L$, whose domain and codomain components are given by the comultiplication and multiplication maps, is a distributive law of the comonad over the monad. This amounts to the requirement that a pentagon involving the comultiplication and multiplication maps commutes.

We refer to the $L$-coalgebras as the \textbf{left class} of the AWFS and the $R$-algebras as the \textbf{right class}. When we forget the algebra structures, we obtain classes of maps in $K$. The retract closures of these classes form a WFS called the \textbf{underlying WFS} of this AWFS.

Given a lifting problem

\begin{displaymath}
\itexarray{
    \cdot &\stackrel{u}{\to}& \cdot
    \\
    \downarrow^f
    &&
    \downarrow^g
    \\
   \cdot &\stackrel{v}{\to}& \cdot    
  }
\end{displaymath}
where $f$ is a $L$-coalgebra and $g$ is an $R$-algebra, the functorial factorization, coalgebra, and algebra structures can be combined to define a solution, which proves that the left class has the left lifting property with respect to the right class. We leave the details as an exercise.

\hypertarget{interesting_features}{}\subsection*{{Interesting features}}\label{interesting_features}

\begin{itemize}%
\item The right class of a AWFS is closed under any limits that exist in $K^{2}$, because the forgetful functor to the underlying category of arrows creates all limits which exist. Note that it does not follow that the right class of the underlying WFS is closed under limits in the arrow category, because first, it is possible that some elements of the right class will not have an $R$-algebra structure, and second, not every map in the arrow category between $R$-algebras is necessarily an $R$-algebra map.


\item Algebras for the monad of an AWFS can be composed canonically, as can the coalgebras for the comonad. The composition law for the algebras uses the comultiplication natural transformation, and dually for the coalgebras.


\item A AWFS $(L,R)$ on $K$ induces a levelwise AWFS on any diagram category $K^A$. Note that its underlying WFS will not be similarly ``levelwise''. (Indeed, a WFS does not typically induce a levelwise WFS on a diagram category.)


\item An AWFS can be detected as a [[functorial factorization]] that extends to a [[monad]] over $cod$ with a [[composition law for factorizations]].



\end{itemize}
\hypertarget{small_object_argument}{}\subsection*{{Small object argument}}\label{small_object_argument}

The [[algebraic small object argument]], an enhancement of the [[small object argument]] due to Richard Garner, produces \textbf{cofibrantly generated} AWFS by adapting the construction of a [[free monad]] on an endofunctor. Importantly, Garner's small object argument allows the generators to be a small category over the arrow category $K^{[2]}$, rather than simply a set of arrows. As a result, there are WFS which are not cofibrantly generated in the classical sense, but which can be exhibited as the underlying WFS of a cofibrantly generated AWFS.

Every AWFS on a [[locally presentable category]] generated by such a small category of maps is in particular an [[accessible weak factorization system]], and every accessible WFS admits an algebraic enhancement generated by the algebraic small object argument. However, not every accessible AWFS is \emph{itself} generated by the algebraic small object argument, unless we enhance it further to take a [[double category]] of generators; see \hyperlink{BourkeGarnerI}{Bourke and Garner}.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[algebraic model category]]
\item [[accessible model category]]
\item [[accessible weak factorization system]]

\end{itemize}
[[!include algebraic model structures - table]]

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item [[Marco Grandis]] and [[Walter Tholen]], \emph{Natural weak factorization systems}, Arch. Math. (Brno) 42(4) (2006) 397--408. MR2283020 (2008b:18006), Zbl 1164.18300.


\item [[Richard Garner]], \emph{Understanding the small object argument}, \href{http://arxiv.org/abs/0712.0724}{arXiv}.


\item [[Emily Riehl]], \emph{Algebraic model structures}, (\href{http://arxiv.org/abs/0910.2733}{arXiv:0910.2733}).


\item [[Thomas Athorne]], \emph{The coalgebraic structure of cell complexes}, \href{http://www.tac.mta.ca/tac/volumes/26/11/26-11abs.html}{TAC}


\item [[Tobias Barthel]] and [[Emily Riehl]], \emph{On the construction of functorial factorizations for model categories}, Algebr. Geom. Topol. Volume 13, Number 2 (2013), 1089-1124, \href{https://projecteuclid.org/euclid.agt/1513715550}{projecteuclid}, \href{https://arxiv.org/abs/1204.5427}{arxiv}


\item [[John Bourke]] and [[Richard Garner]], \emph{Algebraic weak factorisation systems I: accessible AWFS}, \href{http://arxiv.org/abs/1412.6559}{arXiv}.


\item [[John Bourke]] and [[Richard Garner]], \emph{Algebraic weak factorisation systems II: categories of weak maps}, \href{http://arxiv.org/abs/1412.6560}{arXiv}.


\item J. Rosicky, \emph{Accessible model categories}, \href{https://arxiv.org/abs/1503.05010}{arxiv}


\item [[Emily Riehl]], \emph{Made-to-Order Weak Factorization Systems}, \href{https://doi.org/10.1007/978-3-319-21284-5_17}{doi}, \href{http://www.math.jhu.edu/~eriehl/made-to-order.pdf}{pdf}


\item [[Ignacio Lopez Franco]], \emph{Cofibrantly generated lax orthogonal factorisation systems}, \href{https://arxiv.org/abs/1510.07131}{arxiv}



\end{itemize}
[[!redirects natural weak factorisation system]] [[!redirects natural weak factorisation systems]] [[!redirects natural weak factorization system]] [[!redirects natural weak factorization systems]] [[!redirects algebraic weak factorisation system]] [[!redirects algebraic weak factorisation systems]] [[!redirects algebraic weak factorization systems]] [[!redirects NWFS]] [[!redirects nwfs]] [[!redirects AWFS]] [[!redirects awfs]] [[!redirects algebraic wfs]] [[!redirects algebraic WFS]]



\end{document}