Ticket #9107: categories.tex

File categories.tex, 9.4 KB (added by nthiery, 7 years ago)
Line 
1% Generated by Sphinx.
2\def\sphinxdocclass{report}
3\documentclass[letterpaper,10pt,english]{sphinxmanual}
4\usepackage[utf8]{inputenc}
5\DeclareUnicodeCharacter{00A0}{\nobreakspace}
6\usepackage[T1]{fontenc}
7\usepackage{babel}
8\usepackage{times}
9\usepackage[Bjarne]{fncychap}
10\usepackage{longtable}
11\usepackage{sphinx}
12\usepackage{multirow}
13
14\usepackage{amsmath}
15\usepackage{amssymb}
16%\usepackage{enumitem} % For deeply nested itemize; see #9107
17%\setlistdepth{9}
18\RequirePackage{enumitem}
19\setlistdepth{9}
20
21\usepackage{textcomp}
22\DeclareUnicodeCharacter{01CE}{\capitalcaron a}
23\DeclareUnicodeCharacter{0428}{cyrillic Sha}
24\newcommand{\ZZ}{\Bold{Z}}
25\newcommand{\NN}{\Bold{N}}
26\newcommand{\RR}{\Bold{R}}
27\newcommand{\CC}{\Bold{C}}
28\newcommand{\QQ}{\Bold{Q}}
29\newcommand{\QQbar}{\overline{\QQ}}
30\newcommand{\GF}[1]{\Bold{F}_{#1}}
31\newcommand{\Zp}[1]{\ZZ_{#1}}
32\newcommand{\Qp}[1]{\QQ_{#1}}
33\newcommand{\Zmod}[1]{\ZZ/#1\ZZ}
34\newcommand{\CDF}{\Bold{C}}
35\newcommand{\CIF}{\Bold{C}}
36\newcommand{\CLF}{\Bold{C}}
37\newcommand{\RDF}{\Bold{R}}
38\newcommand{\RIF}{\Bold{I} \Bold{R}}
39\newcommand{\RLF}{\Bold{R}}
40\newcommand{\CFF}{\Bold{CFF}}
41\newcommand{\Bold}[1]{\mathbf{#1}}
42
43
44\title{Sage Reference Manual: Category Theory}
45\date{August 27, 2013}
46\release{5.12.beta1}
47\author{The Sage Development Team}
48\newcommand{\sphinxlogo}{}
49\renewcommand{\releasename}{Release}
50\makeindex
51
52\makeatletter
53\def\PYG@reset{\let\PYG@it=\relax \let\PYG@bf=\relax%
54    \let\PYG@ul=\relax \let\PYG@tc=\relax%
55    \let\PYG@bc=\relax \let\PYG@ff=\relax}
56\def\PYG@tok#1{\csname PYG@tok@#1\endcsname}
57\def\PYG@toks#1+{\ifx\relax#1\empty\else%
58    \PYG@tok{#1}\expandafter\PYG@toks\fi}
59\def\PYG@do#1{\PYG@bc{\PYG@tc{\PYG@ul{%
60    \PYG@it{\PYG@bf{\PYG@ff{#1}}}}}}}
61\def\PYG#1#2{\PYG@reset\PYG@toks#1+\relax+\PYG@do{#2}}
62
63\def\PYG@tok@gd{\def\PYG@tc##1{\textcolor[rgb]{0.63,0.00,0.00}{##1}}}
64\def\PYG@tok@gu{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.50,0.00,0.50}{##1}}}
65\def\PYG@tok@gt{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.25,0.82}{##1}}}
66\def\PYG@tok@gs{\let\PYG@bf=\textbf}
67\def\PYG@tok@gr{\def\PYG@tc##1{\textcolor[rgb]{1.00,0.00,0.00}{##1}}}
68\def\PYG@tok@cm{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.56}{##1}}}
69\def\PYG@tok@vg{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.38,0.84}{##1}}}
70\def\PYG@tok@m{\def\PYG@tc##1{\textcolor[rgb]{0.13,0.50,0.31}{##1}}}
71\def\PYG@tok@mh{\def\PYG@tc##1{\textcolor[rgb]{0.13,0.50,0.31}{##1}}}
72\def\PYG@tok@cs{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.56}{##1}}\def\PYG@bc##1{\colorbox[rgb]{1.00,0.94,0.94}{##1}}}
73\def\PYG@tok@ge{\let\PYG@it=\textit}
74\def\PYG@tok@vc{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.38,0.84}{##1}}}
75\def\PYG@tok@il{\def\PYG@tc##1{\textcolor[rgb]{0.13,0.50,0.31}{##1}}}
76\def\PYG@tok@go{\def\PYG@tc##1{\textcolor[rgb]{0.19,0.19,0.19}{##1}}}
77\def\PYG@tok@cp{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
78\def\PYG@tok@gi{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.63,0.00}{##1}}}
79\def\PYG@tok@gh{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
80\def\PYG@tok@ni{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.84,0.33,0.22}{##1}}}
81\def\PYG@tok@nl{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.13,0.44}{##1}}}
82\def\PYG@tok@nn{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.05,0.52,0.71}{##1}}}
83\def\PYG@tok@no{\def\PYG@tc##1{\textcolor[rgb]{0.38,0.68,0.84}{##1}}}
84\def\PYG@tok@na{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
85\def\PYG@tok@nb{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
86\def\PYG@tok@nc{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.05,0.52,0.71}{##1}}}
87\def\PYG@tok@nd{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.33,0.33,0.33}{##1}}}
88\def\PYG@tok@ne{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
89\def\PYG@tok@nf{\def\PYG@tc##1{\textcolor[rgb]{0.02,0.16,0.49}{##1}}}
90\def\PYG@tok@si{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.44,0.63,0.82}{##1}}}
91\def\PYG@tok@s2{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
92\def\PYG@tok@vi{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.38,0.84}{##1}}}
93\def\PYG@tok@nt{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.02,0.16,0.45}{##1}}}
94\def\PYG@tok@nv{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.38,0.84}{##1}}}
95\def\PYG@tok@s1{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
96\def\PYG@tok@gp{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.78,0.36,0.04}{##1}}}
97\def\PYG@tok@sh{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
98\def\PYG@tok@ow{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
99\def\PYG@tok@sx{\def\PYG@tc##1{\textcolor[rgb]{0.78,0.36,0.04}{##1}}}
100\def\PYG@tok@bp{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
101\def\PYG@tok@c1{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.56}{##1}}}
102\def\PYG@tok@kc{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
103\def\PYG@tok@c{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.56}{##1}}}
104\def\PYG@tok@mf{\def\PYG@tc##1{\textcolor[rgb]{0.13,0.50,0.31}{##1}}}
105\def\PYG@tok@err{\def\PYG@bc##1{\fcolorbox[rgb]{1.00,0.00,0.00}{1,1,1}{##1}}}
106\def\PYG@tok@kd{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
107\def\PYG@tok@ss{\def\PYG@tc##1{\textcolor[rgb]{0.32,0.47,0.09}{##1}}}
108\def\PYG@tok@sr{\def\PYG@tc##1{\textcolor[rgb]{0.14,0.33,0.53}{##1}}}
109\def\PYG@tok@mo{\def\PYG@tc##1{\textcolor[rgb]{0.13,0.50,0.31}{##1}}}
110\def\PYG@tok@mi{\def\PYG@tc##1{\textcolor[rgb]{0.13,0.50,0.31}{##1}}}
111\def\PYG@tok@kn{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
112\def\PYG@tok@o{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
113\def\PYG@tok@kr{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
114\def\PYG@tok@s{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
115\def\PYG@tok@kp{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
116\def\PYG@tok@w{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.73,0.73}{##1}}}
117\def\PYG@tok@kt{\def\PYG@tc##1{\textcolor[rgb]{0.56,0.13,0.00}{##1}}}
118\def\PYG@tok@sc{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
119\def\PYG@tok@sb{\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
120\def\PYG@tok@k{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.44,0.13}{##1}}}
121\def\PYG@tok@se{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
122\def\PYG@tok@sd{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.44,0.63}{##1}}}
123
124\def\PYGZbs{\char`\\}
125\def\PYGZus{\char`\_}
126\def\PYGZob{\char`\{}
127\def\PYGZcb{\char`\}}
128\def\PYGZca{\char`\^}
129% for compatibility with earlier versions
130\def\PYGZat{@}
131\def\PYGZlb{[}
132\def\PYGZrb{]}
133\makeatother
134
135\begin{document}
136
137\begin{fulllineitems}
138  \pysiglinewithargsret{\strong{class }\code{sage.categories.sets\_cat.}\bfcode{Sets}}{}{}
139  \begin{fulllineitems}
140    Bases:
141    \begin{fulllineitems}
142      \pysigline{\strong{class }\bfcode{ParentMethods}}~\index{Sets.WithRealizations.ParentMethods.Realizations (class in sage.categories.sets\_cat)}
143      \begin{fulllineitems}
144        \pysiglinewithargsret{\strong{class }\bfcode{Realizations}}{\emph{parent\_with\_realization}}{}
145        \begin{fulllineitems}
146          \pysiglinewithargsret{\bfcode{super\_categories}}{}{}
147          \begin{Verbatim}[commandchars=\\\{\}]
148            \PYG{g+gp}{sage: }\PYG{n}{A} \PYG{o}{=} \PYG{n}{Sets}\PYG{p}{(}\PYG{p}{)}\PYG{o}{.}\PYG{n}{WithRealizations}\PYG{p}{(}\PYG{p}{)}\PYG{o}{.}\PYG{n}{example}\PYG{p}{(}\PYG{p}{)}\PYG{p}{;} \PYG{n}{A}
149          \end{Verbatim}
150        \end{fulllineitems}
151      \end{fulllineitems}
152
153      \begin{fulllineitems}
154        \pysiglinewithargsret{\code{Sets.WithRealizations.ParentMethods.}\bfcode{facade\_for}}{}{}
155        \begin{Verbatim}[commandchars=\\\{\}]
156          \PYG{g+gp}{sage: }
157        \end{Verbatim}
158      \end{fulllineitems}
159      \begin{fulllineitems}
160        \pysiglinewithargsret{\code{Sets.WithRealizations.ParentMethods.}\bfcode{inject\_shorthands}}{\emph{verbose=True}}{}
161        \begin{Verbatim}[commandchars=\\\{\}]
162          \PYG{g+gp}{sage: }
163        \end{Verbatim}
164      \end{fulllineitems}
165      \begin{fulllineitems}
166        \pysiglinewithargsret{\code{Sets.WithRealizations.ParentMethods.}\bfcode{realizations}}{}{}
167        \begin{Verbatim}[commandchars=\\\{\}]
168          \PYG{g+gp}{sage: }
169        \end{Verbatim}
170      \end{fulllineitems}
171    \end{fulllineitems}
172
173    \begin{fulllineitems}
174      \pysiglinewithargsret{\code{Sets.WithRealizations.}\bfcode{example}}{\emph{base\_ring=None}, \emph{set=None}}{}
175      Returns an example of set with multiple realizations, as
176      \begin{Verbatim}[commandchars=\\\{\}]
177        \PYG{g+gp}{sage: }
178      \end{Verbatim}
179    \end{fulllineitems}
180
181    \begin{fulllineitems}
182      \pysiglinewithargsret{\code{Sets.WithRealizations.}\bfcode{extra\_super\_categories}}{}{}
183      A set with multiple realizations is a facade parent
184      \begin{Verbatim}[commandchars=\\\{\}]
185        \PYG{g+gp}{sage: }
186      \end{Verbatim}
187    \end{fulllineitems}
188  \end{fulllineitems}
189
190  \begin{fulllineitems}
191    \pysiglinewithargsret{\code{Sets.}\bfcode{example}}{\emph{choice=None}}{}
192    \begin{Verbatim}[commandchars=\\\{\}]
193      \PYG{g+gp}{sage: }\PYG{n}{Sets}\PYG{p}{(}\PYG{p}{)}\PYG{o}{.}\PYG{n}{example}\PYG{p}{(}\PYG{p}{)}
194    \end{Verbatim}
195  \end{fulllineitems}
196
197  \begin{fulllineitems}
198    \pysiglinewithargsret{\code{Sets.}\bfcode{super\_categories}}{}{}
199    \begin{Verbatim}[commandchars=\\\{\}]
200      \PYG{g+gp}{sage: }\PYG{n}{Sets}\PYG{p}{(}\PYG{p}{)}\PYG{o}{.}\PYG{n}{super\PYGZus{}categories}\PYG{p}{(}\PYG{p}{)}
201      \PYG{g+go}{[Category of sets with partial maps]}
202    \end{Verbatim}
203  \end{fulllineitems}
204\end{fulllineitems}
205
206\end{document}