Commit 492695a6 authored by Leonard Guetta's avatar Leonard Guetta
Browse files

doucement mais surement

parent 52ab118b
\documentclass{beamer} \documentclass{beamer}
\usepackage[utf8]{inputenc} %\usepackage[utf8]{inputenc}
\usetheme{Madrid} \usetheme{Madrid}
\usecolortheme{beaver} \usecolortheme{beaver}
\title{Homology of strict $\omega$-categories} \title{Homology of strict $\omega$-categories}
%\subtitle{PhD defense} %\subtitle{PhD defense}
\author{Léonard Guetta} \author{Léonard Guetta}
\date{28 January 2021} \date{PhD defense, 28 January 2021}
\institute{IRIF - Université de Paris} \institute{IRIF - Université de Paris}
\begin{document} \begin{document}
\frame{\titlepage} \frame{\titlepage}
% \begin{frame}
% \frametitle{Table of Contents}
% \tableofcontents
% \end{frame}
%%% oo-categories as spaces
\begin{frame} \begin{frame}
\frametitle{Table of Contents} \frametitle{$\oo$\nbd{}categories as spaces}
\tableofcontents Starting point: Street's \emph{orientals}
\Or \colon \Psh{\Delta} \to \oo\Cat.
In pictures:
\Or_0 = \bullet,
\Or_1=\begin{tikzcd}[ampersand replacement=\&]
\bullet \ar[r] \&\bullet,
\begin{tikzcd}[ampersand replacement=\&]
\& \bullet \ar[rd]\& \\
\bullet \ar[ru]\ar[rr,""{name=A,above}]\&\&\bullet,
\begin{tikzcd}[ampersand replacement=\&]
\& \bullet \ar[rd]\& \\
\bullet\ar[ru] \ar[rd,""{name=B,above}] \ar[rr,""{name=A,above}]\& \& \bullet \ar[ld]\\
\& \bullet \&
\ar[from=A,to=1-2,Rightarrow, shorten <= 0.25em, shorten >= 0.25em]
\ar[from=B,to=2-3,Rightarrow, near start, shorten <= 1.1em, shorten >= 1.5em]
\begin{tikzcd}[ampersand replacement=\&]
\& \bullet \ar[rd] \ar[dd,""{name=B,right}] \& \\
\bullet\ar[ru] \ar[rd,""{name=A,above}] \& \& \bullet. \ar[ld]\\
\& \bullet \&
\ar[from=A,to=1-2,Rightarrow, near start, shorten <= 1em, shorten >= 1.5em]
\ar[from=B,to=2-3,Rightarrow, shorten <= 0.75em, shorten >=0.75em]
\end{frame} \end{frame}
\frametitle{$\oo$\nbd{}categories as spaces}
The \alert{nerve} of an $\oo$\nbd{}category $C$ is the simplicial
N_{\omega}(C) : \Delta^{\op} &\to \Set\\
[n] &\mapsto \Hom_{\omega\Cat}(\Or_n,C).
\end{document} \end{document}
%%% Local Variables: %%% Local Variables:
%%% mode: latex %%% mode: latex
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment