1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
\documentclass[12pt, a4paper, final]{amsart}
\setlength{\emergencystretch}{2em}
\usepackage[utf8]{inputenc}
\usepackage[backend=biber]{biblatex}
\addbibresource{licmalinka.bib}
\usepackage[T1]{fontenc}
\usepackage{mathtools}
\usepackage[activate={true,nocompatibility},final,tracking=true,kerning=true,spacing=true,stretch=10,shrink=10]{microtype}
\microtypecontext{spacing=nonfrench}
% \usepackage[utf8]{inputenc}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{XCharter}
\usepackage[charter, expert, greekuppercase=italicized, greekfamily=didot]{mathdesign}
\usepackage{mathtools}
\usepackage{enumitem}
\usepackage{tikz-cd}
\usepackage{tikz}
\usetikzlibrary{arrows,arrows.meta}
\tikzcdset{arrow style=tikz, diagrams={>=latex}}
\usepackage{etoolbox}
\usepackage{xcolor}
\definecolor{green}{RGB}{0,127,0}
\definecolor{redd}{RGB}{191,0,0}
\definecolor{red}{RGB}{105,89,205}
\usepackage[colorlinks=true]{hyperref}
\usepackage[notref, notcite]{showkeys}
\usepackage[cmtip,arrow]{xy}
\usepackage{subfiles}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Stab}{Stab}
\DeclareMathOperator{\st}{st}
\DeclareMathOperator{\Flim}{Flim}
\DeclareMathOperator{\Int}{{Int}}
\DeclareMathOperator{\rng}{{rng}}
\DeclareMathOperator{\dom}{{dom}}
\newcommand{\cupdot}{\mathbin{\mathaccent\cdot\cup}}
\newcommand{\cC}{\mathcal C}
\newcommand{\cD}{\mathcal D}
\newcommand{\cV}{\mathcal{V}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cH}{\mathcal{H}}
\newcommand{\bN}{\mathbb N}
\newcommand{\bR}{\mathbb R}
\newcommand{\bZ}{\mathbb Z}
\newcommand{\bQ}{\mathbb Q}
\newcommand{\bK}{\mathcal K}
\newcommand{\FrAut}{\Pi}
\newcommand{\FrGr}{\Gamma}
\DeclareMathOperator{\im}{{Im}}
\DeclareMathOperator{\id}{{id}}
\DeclareMathOperator{\lin}{{Lin}}
\DeclareMathOperator{\Th}{{Th}}
\DeclareMathOperator{\Obj}{{Obj}}
\DeclareMathOperator{\Cospan}{{Cospan}}
\DeclareMathOperator{\Pushout}{{Pushout}}
\DeclareMathOperator{\Mor}{{Mor}}
\newtheorem{theorem}{Theorem}
\numberwithin{theorem}{section}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{question}[theorem]{Question}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem*{theorem2}{Theorem}
\newtheorem*{claim2}{Claim}
\newtheorem*{corollary2}{Corollary}
\newtheorem*{question2}{Question}
\newtheorem*{conjecture2}{Conjecture}
\newtheorem{clm}{Claim} \newtheorem*{clm*}{Claim}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem*{definition2}{Definition}
\newtheorem{example}[theorem]{Example}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem*{remark2}{Remark}
\AtEndEnvironment{proof}{\setcounter{clm}{0}}
\newenvironment{clmproof}[1][\proofname]{\proof[#1]\renewcommand{\qedsymbol}{$\square$(claim)}}{\endproof}
\newcommand{\xqed}[1]{% \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
\quad\hbox{\ensuremath{#1}}}
\title{Tytuł}
\author{Franciszek Malinka}
\begin{document}
\begin{abstract}
Abstract
\end{abstract}
\section{Introduction}
\subfile{sections/introduction}
\section{Preliminaries}
\subfile{sections/preliminaries}
\section{Fraïssé classes}
\subfile{sections/fraisse_classes}
\section{Conjugacy classes in automorphism groups}
\subfile{sections/conj_classes}
\printbibliography
\end{document}
|
