main.tex 6.21 KB
Newer Older
Leonard Guetta's avatar
OUF    
Leonard Guetta committed
1
\documentclass[12pt,a4paper]{report}
2

3
\usepackage[dvipsnames]{xcolor}
Leonard Guetta's avatar
Leonard Guetta committed
4
\usepackage[unicode,psdextra,final]{hyperref}
5
6
7
8
9
10
\hypersetup{
  colorlinks=true,
  linkcolor=Purple,
  citecolor=cyan,  
}
%\usepackage{classicthesis}
11
\usepackage{mystyle}
12
13
14
\usepackage{times}
\usepackage{sectsty}
\allsectionsfont{\scshape}
Leonard Guetta's avatar
Leonard Guetta committed
15
\iffalse
Leonard Guetta's avatar
Leonard Guetta committed
16
17
18
19
20
%%% Watermark
\usepackage{draftwatermark}
\SetWatermarkText{DRAFT}
\SetWatermarkScale{2}
%%%
Leonard Guetta's avatar
Leonard Guetta committed
21
\fi
Leonard Guetta's avatar
Leonard Guetta committed
22

Leonard Guetta's avatar
Leonard Guetta committed
23
%%% For line numbering (used for proodreading purposes)
Leonard Guetta's avatar
OUF    
Leonard Guetta committed
24
25
26

%% \usepackage[pagewise,displaymath, mathlines]{lineno}
%% \linenumbers
Leonard Guetta's avatar
Leonard Guetta committed
27

28
29
\begin{document}

30
\begin{titlepage}
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
   \includegraphics[width=0.4\textwidth]{logo_UP.jpg}
    
       \vspace*{1cm}
   \raggedleft
   {
   \scshape{\textbf{Université de Paris}} \par}
 \vspace{0.25cm}
 {\large École de Sciences Mathématiques Paris Centre (ED 386)}
 
 {Institut de Recherche Fondamentale en Informatique (IRIF)}
 %{\large Institut de Recherche Fondamentale en Informatique (IRIF)}

 \vspace*{0.25cm}

 {\Large
   \scshape
   \textbf{Thèse de doctorat en Mathématiques}}

      {\large Dirigée par François Métayer \\
        et par Clemens Berger \par}

      \vspace*{1.25cm}
53
54
      \hrulefill
      
55
56
57
      \centering
        {\Huge \scshape \textbf{Homology of strict $\omega$-categories}\par}

58
59
60
        % \vspace{0.5cm}
        % \LARGE
        % Thesis Subtitle
61
62
63

        \hrulefill
        
64
        \vspace{0.75cm}
65

66
67
68
69
        {\Large
          
        \textbf{par Léonard Guetta}}

70
      
71
72
73
74



   \vfill 
75
   {\slshape Présentée et soutenue publiquement le 28 janvier 2021 \\
76
77
78
79
80
81
82
83
     devant un jury composé de : \par}
    \vspace{0.8cm}

 
    \begin{tabular}{ll}
      \textbf{M. Benoît Fresse} (Prof., Université de Lille) & Rapporteur \\
      \textbf{M. Richard Garner} (Senior Lecturer, University Maquarie) & Rapporteur \\
      \textbf{Mme Eugenia Cheng} (Prof., School of the Art Institute) & Examinatrice \\
84
      \textbf{M. Carlos Simpson} (DR CNRS, Université de Nice) & Examinateur \\
85
      \textbf{M. Samuel Mimram} (Prof., École Polytechnique) & Examinateur \\
86
      \textbf{M. Georges Maltsiniotis} (DR CNRS, Université de Paris) & Examinateur \\
87
88
89
90
91
      \textbf{M. François Métayer} (MCF, Université de Paris Nanterre) & Directeur de Thèse \\
      \textbf{M. Clemens Berger} (MCF, Université de Nice) & Co--directeur de Thèse \\
      \textbf{M. Dimitri Ara} (MCF, Université Aix-Marseille) & Membre invité 
      \end{tabular}
     
92
            
93
94
95
      \vspace{3cm}
      
      
96
     % \includegraphics[width=0.6\textwidth]{license.png}
Leonard Guetta's avatar
blabla    
Leonard Guetta committed
97
              %  \vspace*{-3cm}
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
    \end{titlepage}
    
\selectlanguage{french}
\begin{abstract}
Dans cette thèse, on compare l'homologie \og classique \fg{} d'une
$\oo$\nbd{}catégorie (définie comme l'homologie de son nerf de Street) avec
son homologie polygraphique. Plus précisément, on prouve que les deux
homologies ne coïncident pas en général et qualifions d'\emph{homologiquement
  cohérente} les $\oo$\nbd{}catégories particulières pour lesquelles l'homologie
polygraphique coïncide effectivement avec l'homologie du nerf. Le but poursuivi
est de trouver des critères abstraits et concrets permettant de détecter les
$\oo$\nbd{}catégories homologiquement cohérentes. Par exemple, on démontre que
toutes les (petites) catégories, que l'on considère comme des
$\oo$\nbd{}catégories strictes dont toutes les cellules au-delà de la dimension
$1$ sont des unités, sont homologiquement cohérente. On introduit également la
notion de $2$\nbd{}catégorie \emph{sans bulles} et on conjecture qu'une
$2$\nbd{}catégorie cofibrante est homologiquement cohérente si et seulement si
elle est sans bulles. On démontre également des résultats importants concernant
les $\oo$\nbd{}catégories strictes qui sont libres sur un polygraphique, comme
le fait que si $F : C \to D$ est un $\oo$\nbd{}foncteur discret de Conduché et
si $D$ est libre sur un polygraphe alors $C$ l'est aussi. Dans son ensemble,
cette thèse établit un cadre général dans lequel étudier l'homologie des
$\oo$\nbd{}catégories en faisant appels à des outils d'algèbre homotopique
abstraite, tels que la théorie des catégorie de modèles de Quillen ou la théorie
des dérivateurs de Grothendieck.
Leonard Guetta's avatar
Leonard Guetta committed
124
125
126
127
128

\bigskip

\noindent\textbf{Mots-clés : } Catégories supérieures, $\oo$\nbd{}catégories, homologie,
théorie de l'homotopie, polygraphes.
129
130
131
132
\end{abstract}
\selectlanguage{english}
\begin{abstract}
  In this dissertation, we compare the ``classical''
Leonard Guetta's avatar
Leonard Guetta committed
133
  homology of an $\oo$\nbd{}category (defined as the homology of its Street
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
  nerve) with its polygraphic homology. More precisely, we prove that both
  homologies generally do not coincide and call \emph{homologically coherent} the
  particular strict $\oo$\nbd{}categories for which polygraphic homology and
  homology of the nerve do coincide. The goal pursued is to find abstract
  and concrete criteria to detect homologically coherent $\oo$\nbd{}categories. For
  example, we prove that all (small) categories, considered as strict
  $\oo$\nbd{}categories with unit cells above dimension $1$, are homologically
  coherent. We also introduce the notion of \emph{bubble-free} $2$\nbd{}category
  and conjecture that a cofibrant $2$\nbd{}category is homologically
  coherent if and only if it is bubble-free.
  We also prove important results concerning free strict
  $\oo$\nbd{}categories on polygraphs (also known as computads), such as the
  fact that if $F : C \to D$ is a discrete Conduché $\oo$\nbd{}functor and $D$
  is a free strict $\oo$\nbd{}category on a polygraph, then so is $C$.
  Overall, this thesis achieves to build a general framework in which to study the
  homology of strict $\oo$\nbd{}categories using tools of abstract homotopical
  algebra such as Quillen's theory of model categories or Grothendieck's theory
  of derivators.
Leonard Guetta's avatar
Leonard Guetta committed
152
153
154
155
156
157
  
\bigskip

\noindent\textbf{Keywords : } Higher categories, $\oo$\nbd{}categories, homology,
homotopy theory, polygraphs.
  
158
  \end{abstract}
Leonard Guetta's avatar
Leonard Guetta committed
159

Leonard Guetta's avatar
Leonard Guetta committed
160
161
\tableofcontents

162
163
164
165
166
167
168
169
170
%\include{remerciements}
\include{introduction}
\include{introduction_fr}
\include{omegacat}
\include{homtheo}
\include{hmtpy}
\include{hmlgy}
\include{contractible}
\include{2cat}
Leonard Guetta's avatar
Leonard Guetta committed
171
172

\addcontentsline{toc}{chapter}{Bibliography}
Leonard Guetta's avatar
Leonard Guetta committed
173
\bibliographystyle{alpha}
Leonard Guetta's avatar
Leonard Guetta committed
174
\bibliography{memoire}
175
\end{document}
Leonard Guetta's avatar
Leonard Guetta committed
176
177
178
179
180

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: