\begin{filecontents*}[overwrite]{\jobname.xmpdata}
\Title{A uniform equivariant model for cubical type thoery}
\Author{Dennis Frieberg}
\Language{en-US}
\Subject{see title}
\Keywords{keyword}
\end{filecontents*}
\documentclass[DIV=calc,fontsize=12pt,draft=true]{scrartcl}
\usepackage[a-2b,mathxmp]{pdfx}[2018/12/22]
%\usepackage{pdfmanagement-testphase}
%\DeclareDocumentMetadata{
%	pdfversion=1.7
%}
\usepackage{microtype}
\usepackage{amsthm}    %theorems
\usepackage{mathtools} %coloneqq and other stuff
\usepackage{amssymb}
%\usepackage[colon=literal]{unicode-math-luatex} %unicode in mathmode does conflict amssymb maybe sometimes use this line if you want
% that : behaves like \colon
\usepackage{fontspec} % for changing text fonts (we roll default right now, so no use)
\usepackage{unicode-math} %also loads fontspec
\setmathfont{STIXTwoMath-Regular.otf}
\setmainfont{STIXTwoText}[Extension=.otf, UprightFont = *-Regular, BoldFont = *-SemiBold, ItalicFont = *-Italic, BoldItalicFont = *-SemiBoldItalic]
\addtokomafont{disposition}{\rmfamily}
% \usepackage{imakeidx} %make index possible
% \makeindex[columns=3, title=Alphabetical Index]
\usepackage{graphicx}
\usepackage{dsfont}
\usepackage{hyperref}
\usepackage{tikz}
\usetikzlibrary{cd}
\usetikzlibrary{decorations.pathreplacing}
\usepackage{faktor}
\usepackage{polyglossia}
\setdefaultlanguage[variant=us]{english}
\usepackage[style=alphabetic]{biblatex}
\usepackage{ebproof}
\usepackage{xspace}
\usepackage[obeyDraft]{todonotes}
\usepackage{subfiles}
\usepackage[plain]{fancyref}
\usepackage[capitalise]{cleveref}
% \usepackage{mathabx}

\usepackage{pdftexcmds} % pdftex primitves for lualatex
\makeatletter % make the primitives available for svg
\let\pdfstrcmp\pdf@strcmp
\let\pdffilemoddate\pdf@filemoddate
\makeatother
\usepackage{svg}

\DeclareFontFamily{U}{min}{}
\DeclareFontShape{U}{min}{m}{n}{<-> udmj30}{}
\newcommand\Yo{\!\text{\usefont{U}{min}{m}{n}\symbol{'207}}\!}

\newcommand*{\printline}{\number\inputlineno\xspace}
\NewCommandCopy\oldtodo\todo
\renewcommand{\todo}[2][]{\oldtodo[#1]{\printline #2}}

\addbibresource{resource.bib}

\theoremstyle{definition}
\swapnumbers
\newtheorem{theorem}{Theorem}[subsection]
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{observation}[theorem]{Observation}
\newtheorem{notation}[theorem]{Notation}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

\newcommand*{\fancyrefthmlabelprefix}{thm}
\newcommand*{\fancyreflemlabelprefix}{lem}
\newcommand*{\fancyrefcorlabelprefix}{cor}
\newcommand*{\fancyrefproplabelprefix}{prop}
\newcommand*{\fancyrefexlabelprefix}{ex}
\newcommand*{\fancyrefremlabelprefix}{rem}
\newcommand*{\fancyrefdeflabelprefix}{def}

% This is a dirty hack, we should go via \fref...name commands intstead
\frefformat{plain}{\fancyrefthmlabelprefix}{theorem #1}
\Frefformat{plain}{\fancyrefthmlabelprefix}{Theorem #1}
\frefformat{plain}{\fancyreflemlabelprefix}{lemma #1}
\Frefformat{plain}{\fancyreflemlabelprefix}{Lemma #1}
\frefformat{plain}{\fancyrefcorlabelprefix}{corollary #1}
\Frefformat{plain}{\fancyrefcorlabelprefix}{Corollary #1}
\frefformat{plain}{\fancyrefproplabelprefix}{proposition #1}
\Frefformat{plain}{\fancyrefproplabelprefix}{Proposition #1}
\frefformat{plain}{\fancyrefexlabelprefix}{example #1}
\Frefformat{plain}{\fancyrefexlabelprefix}{Example #1}
\frefformat{plain}{\fancyrefremlabelprefix}{remark #1}
\Frefformat{plain}{\fancyrefremlabelprefix}{Remark #1}
\frefformat{plain}{\fancyrefdeflabelprefix}{definition #1}
\Frefformat{plain}{\fancyrefdeflabelprefix}{Definition #1}


\newenvironment{eqcd*}[1][]{\begin{equation*}\begin{tikzcd}[#1]}{\end{tikzcd}\end{equation*}\ignorespacesafterend}
\newenvironment{eqcd}[1][]{\begin{equation}\begin{tikzcd}[#1]}{\end{tikzcd}\end{equation}\ignorespacesafterend}
\DeclareMathOperator{\Ty}{Ty}
\DeclareMathOperator{\Tm}{Tm}
\DeclareMathOperator{\Obj}{Obj}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\TFib}{TFib}
\newcommand*{\Fib}{\ensuremath{\mathrm{Fib}}\xspace}
\newcommand*{\∂}{\mathop{∂}}
%\DeclareMathOperator{\colim}{colim}
\newcommand*{\colim}{\mathop{\mathrm{colim}}\limits}
%\DeclareMathOperator{\Yo}{\mathbf{y}}
\newcommand*{\Fam}{\mathcal{F}\mathrm{am}}
\newcommand*{\Id}{\textsf{Id}}
\newcommand*{\id}{\textsf{id}}
\newcommand*{\Cat}[1]{\ensuremath{\mathcal{#1}}\xspace}
\newcommand*{\A}{\Cat{A}}
\newcommand*{\B}{\Cat{B}}
\newcommand*{\C}{\Cat{C}}
\newcommand*{\D}{\Cat{D}}
\newcommand*{\E}{\Cat{E}}
\newcommand*{\F}{\Cat{F}}
\newcommand*{\I}{\ensuremath{\mathds{I}}\xspace}
\newcommand*{\J}{\Cat{J}}
\renewcommand*{\L}{\ensuremath{\mathcal{L}}\xspace} % wfs not cat
\newcommand*{\R}{\ensuremath{\mathcal{R}}\xspace} % wfs not cat
\newcommand*{\T}{\ensuremath{\mathrm{T}}\xspace}
\newcommand*{\TCF}{\ensuremath{\mathrm{TC}}\xspace}
\newcommand*{\FF}{\ensuremath{\mathrm{F}}\xspace}
\newcommand*{\TFF}{\ensuremath{\mathrm{TF}}\xspace}
\newcommand*{\CF}{\ensumermath{\mathrm{CF}}\xspace}
\newcommand*{\Ct}{\ensuremath{\mathcal{C}_t}\xspace}
\newcommand*{\U}{\ensuremath{\mathcal{U}_κ}\xspace}
\newcommand*{\Ud}{\ensumermath{\dot{\mathcal{U}}_κ}\xspace}
\newcommand*{\V}{\ensuremath{\mathcal{V}_κ}\xspace}
\newcommand*{\Vd}{\ensuremath{\dot{\mathcal{V}}_κ}\xspace}

\newcommand*{\Hom}{\mathrm{Hom}}
\newcommand*{\Ho}{\mathrm{Ho}}

\newcommand*{\type}{\, \mathsf{type}}
\newcommand*{\cofib}{\, \mathsf{cofib}}
\newcommand*{\formula}{\, \mathsf{formula}}
\newcommand*{\face}{\, \mathsf{face}}
\newcommand*{\mfill}{\mathsf{fill}}
\newcommand*{\comp}{\mathsf{comp}}
\newcommand*{\Path}[3]{\mathsf{Path}\,#1\,#2\,#3}
\newcommand*{\p}{\textrm{p}}
\newcommand*{\Set}{\ensuremath{\mathbf{Set}}\xspace}

\newcommand*{\skl}{\mathrm{skl}}
\newcommand*{\op}{\mathsf{op}}
\renewcommand*{\d}{\mathsf{d}}
\renewcommand*{\i}{\textsf{i}}
\renewcommand*{\t}{\mathsf{t}}
\newcommand*{\⊗}{\mathbin{\widehat{⊗}}}
\newcommand*{\×}{\mathbin{\widehat{×}}}
\newcommand*{\at}{\mathbin{\widehat{@}}}
\newcommand*{\□}{\ensuremath{\widehat{□}}\xspace}
\newcommand*{\Δ}{\ensuremath{\widehat{Δ}}\xspace}
\newcommand*{\dCube}{\ensuremath{□_{∧∨}}\xspace}
\newcommand*{\dcSet}{\ensuremath{\widehat{\dCube}}\xspace}
\newcommand*{\FL}{\ensuremath{\textbf{FL}}\xspace}
\newcommand*{\M}{\Cat{M}}
\newcommand*{\arr}[1]{#1^{→}}
\newcommand*{\FinSetOp}{\ensuremath{{\mathbf{FinSet}\rlap{\raisebox{0.75ex}{\rotatebox{90}{*}}}\raisebox{-0.3ex}{\rotatebox{90}{*}}}^\mathsf{op}}\xspace}
\newcommand*{\FinSet}{\ensuremath{{\mathbf{FinSet}\rlap{\raisebox{0.75ex}{\rotatebox{90}{*}}}\raisebox{-0.3ex}{\rotatebox{90}{*}}}}\xspace}
% \newcommand*{\Yo}{\mathbf{y}}
% 
\newcommand*{\pb}{\arrow[dr,phantom,very near start, "\lrcorner"]}
\newcommand*{\pu}{\arrow[dr,phantom,very near end, "\ulcorner"]}
\newcommand*{\Ob}[1][0.66em]{\begin{tikzpicture}[y=#1,x=#1]
	\draw[line join=round] (0,1) -- (0,0) -- (1,0) -- (1,1);
\end{tikzpicture}
}


% \AtBeginDocument{\DeclareMathSymbol{→}{\mathbin}{symbols}{"21}} % I don't know why this does not work
\title{A uniform equivariant model for cubical Type Theory}
\author{Dennis Frieberg}
\date{\today}
\begin{document}
	\maketitle  
	\tableofcontents
	\newpage
	\subfile{Preliminaries/Preliminaries}
	\subfile{main/Mainpart}
	\listoftodos
	% \printindex
	\printbibliography

\end{document}
