summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2013-02-28 19:28:12 (GMT)
committerDavid A. Madore <david+git@madore.org>2013-02-28 19:28:12 (GMT)
commit4178e21c15a5cafcb368d70bac44f4d4afa699f4 (patch)
tree47758a02fd28b2d77efc65c5056c34783192dad5
parentdab454d6594f533f1fcbe0c44f08b7865742625f (diff)
downloadgalois-4178e21c15a5cafcb368d70bac44f4d4afa699f4.zip
galois-4178e21c15a5cafcb368d70bac44f4d4afa699f4.tar.gz
galois-4178e21c15a5cafcb368d70bac44f4d4afa699f4.tar.bz2
Transformation en LuaTeX: gestion des caractères CJK, transformation de categories.tex
-rw-r--r--chapitres/categories.tex32
-rw-r--r--config/macros.tex83
-rw-r--r--config/preambule.tex8
3 files changed, 85 insertions, 38 deletions
diff --git a/chapitres/categories.tex b/chapitres/categories.tex
index dd9f328..9071c91 100644
--- a/chapitres/categories.tex
+++ b/chapitres/categories.tex
@@ -1,27 +1,9 @@
%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
-\documentclass[9pt]{../configuration/smfart}
-\input{../configuration/commun}
-\input{../configuration/smf}
-\input{../configuration/adresse}
-\input{../configuration/gadgets}
-\input{../configuration/francais}
-\input{../configuration/numerotation}
-\input{../configuration/formules}
-\input{../configuration/encoredesmacros}
-\usepackage{stmaryrd}
-\usepackage{wasysym}
-\usepackage{graphics}
-\usepackage[usenames,dvipsnames]{xcolor}
-\usepackage{tikz}
-\usetikzlibrary{matrix}
-\usetikzlibrary{calc}
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
\title{Catégories}
-\setcounter{tocdepth}{2}
-%\setcounter{secnumdepth}{2}
-%\newtheorem*{propsansnum}{Proposition}
-
\begin{document}
\maketitle
\tableofcontents
@@ -1621,7 +1603,7 @@ que pour toute donnée d'un objet $T$ de $\categ{C}$ et d'un morphisme
$t_i \colon T \to P_i$ pour chaque $i \in I$ il existe un unique $z
\colon T \to X$ vérifiant $t_i = p_i\circ z$ pour chaque $i$.
-\begin{exemple3}
+\begin{exemple2}
Dans la catégorie des ensembles, le produit d'une famille $(P_i)$
d'ensembles est le produit cartésien usuel $X = \prod_{i\in I} P_i$ :
les applications $s_i \colon X \to P_i$ dont il est muni étant les
@@ -1644,7 +1626,7 @@ sous-jacents des facteurs du produit (ou de la limite). (On
expliquera plus loin une raison pour laquelle, comme on vient de le
décrire, le foncteur d'oubli de ces catégories algébriques vers la
catégorie des ensembles préserve les limites.)
-\end{exemple3}
+\end{exemple2}
\subsubsection{Points fixes}
Lorsque la catégorie $\categ{I}$ a un unique objet $\bullet$ et que
@@ -1708,7 +1690,7 @@ où $f_i \circ t_{\astrosun}$ ne dépende pas de $i$, il existe un
unique $z\colon T\to X$ vérifiant $t_{\astrosun} = s_{\astrosun} \circ
z$.
-\begin{exemple3}
+\begin{exemple2}
Dans la catégorie des ensembles, l'égalisateur d'une famille
$f_i\colon P_{\astrosun} \to P_{\leftmoon}$ d'applications entre deux
mêmes ensembles n'est autre que le sous-ensemble $X$
@@ -1718,7 +1700,7 @@ X \to P_{\astrosun}$ étant alors simplement l'inclusion.
De nouveau, cette construction fonctionne encore dans diverses
catégories de structures algébriques : groupes, anneaux, etc.
-\end{exemple3}
+\end{exemple2}
\subsubsection{Produits fibrés}\label{limite-produit-fibre}
diff --git a/config/macros.tex b/config/macros.tex
index 2b69620..fb55872 100644
--- a/config/macros.tex
+++ b/config/macros.tex
@@ -4,17 +4,40 @@
%% Macros pour les formules
%%
-%% Opérateurs en caractères romains
-\DeclareMathOperator{\Hom}{Hom}
-\DeclareMathOperator{\Id}{Id}
-\DeclareMathOperator{\Ker}{Ker}
-\DeclareMathOperator{\Fix}{Fix}
-\DeclareMathOperator{\pgcd}{pgcd}
-\DeclareMathOperator{\car}{car}
-\DeclareMathOperator{\Frob}{Frob}
-
-\DeclareMathOperator{\Tr}{Tr}
-\DeclareMathOperator{\N}{N}
+%% Opérateurs en caractères romains, etc.
+
+% Macro pour définir un opérateur dans une police quelconque
+\newcommand\DeclareMathOperatorWithFont[3]{%
+\newcommand{#1}{\mathop{\kern0pt\relax#2{#3}}\nolimits}}
+
+\DeclareMathOperatorWithFont{\Hom}{\mathsf}{Hom}
+\DeclareMathOperatorWithFont{\End}{\mathsf}{End}
+\DeclareMathOperatorWithFont{\Isom}{\mathsf}{Isom}
+\DeclareMathOperatorWithFont{\Aut}{\mathsf}{Aut}
+\DeclareMathOperatorWithFont{\Int}{\mathsf}{Int}
+\DeclareMathOperatorWithFont{\Out}{\mathsf}{Out}
+
+\DeclareMathOperatorWithFont{\Id}{\mathrm}{Id}
+\DeclareMathOperatorWithFont{\Ker}{\mathrm}{Ker}
+\DeclareMathOperatorWithFont{\Fix}{\mathrm}{Fix}
+
+\DeclareMathOperatorWithFont{\pgcd}{\mathrm}{pgcd}
+\DeclareMathOperatorWithFont{\ppcm}{\mathrm}{ppcm}
+
+\DeclareMathOperatorWithFont{\prlim}{\mathrm}{lim}
+\DeclareMathOperatorWithFont{\colim}{\mathrm}{colim}
+
+\DeclareMathOperatorWithFont{\car}{\mathrm}{car}
+\DeclareMathOperatorWithFont{\Frob}{\mathrm}{Frob}
+
+\DeclareMathOperatorWithFont{\Tr}{\mathrm}{Tr}
+\DeclareMathOperatorWithFont{\N}{\mathrm}{N}
+
+\DeclareMathOperatorWithFont{\ob}{\mathsf}{Ob}
+
+\newcommand{\op}{^{\mathsf{op}}}
+\newcommand{\sep}{^{\mathrm{sép}}}
+\newcommand{\alg}{^{\mathrm{alg}}}
%% Ensembles usuels
\newcommand{\ZZ}{\mathbf{Z}}
@@ -27,10 +50,18 @@
\newcommand{\GG}{\mathbf{G}}
%% Divers
-\newcommand{\bo}{/} % barre oblique apparaissant dans A/k
+% Barre oblique apparaissant dans A/k
+\newcommand{\bo}{/}
+
+% Symbole de Legendre
\newcommand{\Legendre}[2]{\left(\frac{#1}{#2}\right)}
+% Police pour les catégories
+\newcommand{\categ}[1]{\mathtt{#1}}
+
+\newcommand{\Ens}{\categ{Ens}}
+
%% Tiret et trait d'union en mode maths
% Trouvé sur <URL: http://tug.org/pipermail/luatex/2010-October/002192.html >
@@ -47,6 +78,25 @@
\DeclareUnicodeMathSymbol{\tiret}{\mathord}{operators}{"2013}
\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
+%% Symboles divers
+\DeclareUnicodeMathSymbol{\boxempty}{\mathord}{operators}{"25A1}
+
+%% Caractères japonais
+% On définit la police IPA Mincho. L'argument range semble ne pas fonctionner !
+\setmathfont[range={"4E00-"9FFF},Script=CJK]{IPAMincho}
+% On sauve le nom LaTeX de famille de cette police
+\ExplSyntaxOn
+\let\saveIPAMinchoFamily\um_symfont_tl
+\ExplSyntaxOff
+% Maintenant on peut définir les caractères eux-mêmes
+\Umathcode`米="0"\the\csname sym\saveIPAMinchoFamily\endcsname"7C73
+\DeclareUnicodeMathSymbol{\yone}{\mathord}{\saveIPAMinchoFamily}{"7C73}
+\Umathcode`田="0"\the\csname sym\saveIPAMinchoFamily\endcsname"7530
+\DeclareUnicodeMathSymbol{\yoneDA}{\mathord}{\saveIPAMinchoFamily}{"7530}
+
+% Voir <URL: http://tex.stackexchange.com/questions/95304/spacing-changes-when-using-unicode-math-range-feature-why >
+\setmathfont[range={}]{XITS Math}
+
%% Fabrice n'aime pas les noms anglais
\let\chap\widehat
\let\sur\overline
@@ -67,6 +117,7 @@
% Ce qui suit définit l'environnement {définition2} comme exactement synonyme de {definition2}
\expandafter\expandafter\expandafter\let\expandafter\expandafter\csname définition2\endcsname\csname definition2\endcsname
\expandafter\expandafter\expandafter\let\expandafter\expandafter\csname enddéfinition2\endcsname\csname enddefinition2\endcsname
+\newtheorem{convention2}[subsubsection]{Convention}
\newtheorem{remarque2}[subsubsection]{Remarque}
\newtheorem{remarques2}[subsubsection]{Remarques}
\newtheorem{exemple2}[subsubsection]{Exemple}
@@ -78,6 +129,8 @@
\expandafter\let\csname démo\endcsname\proof
\expandafter\let\csname enddémo\endcsname\endproof
+\renewcommand{\contentsname}{Table des matières}
+
%%
%% Macros générales
%%
@@ -88,3 +141,9 @@
%% Commentaires
\newcommand\commentaire[1]{\textcolor{Magenta}{#1}}
\newcommand\XXX{\textcolor{Magenta}{(XXX)}}
+
+%%
+%% Paramétrages divers
+%%
+\setcounter{tocdepth}{2}
+
diff --git a/config/preambule.tex b/config/preambule.tex
index 976b34c..334f801 100644
--- a/config/preambule.tex
+++ b/config/preambule.tex
@@ -9,8 +9,14 @@
\newcommand\externaldocument[1]{\relax}
\usepackage[pagebackref,unicode]{hyperref}
\usepackage[usenames,dvipsnames]{xcolor}
+\usepackage{tikz}
\usepackage{fontspec}
-\usepackage[math-style=ISO,bold-style=upright]{unicode-math}
+\usepackage[math-style=ISO,bold-style=upright,sans-style=upright]{unicode-math}
+%%
+%% Bibliothèques TikZ
+%%
+\usetikzlibrary{matrix}
+\usetikzlibrary{calc}
%%
%% Polices
%%