blob: cd50ca4b5f5e2a7b7b6d6191aaf681374b00b347 (
plain)
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
133
134
135
136
137
138
139
140
141
|
% \iffalse meta-comment
%
% Copyright (C) 2018 - 2021 by ChairX
%
% This file may be distributed and/or modified under the
% conditions of the LaTeX Project Public License, either
% version 1.3 of this license or (at your option) any later
% version. The latest version of this license is in:
%
% http://www.latex-project.org/lppl.txt
%
% and version 1.3 or later is part of all distributions of
% LaTeX version 2005/12/01 or later.
%
% This file contains the implementation of all category theory related macros .
%
% Macros have to be described by (delete the first %)
% %\begin{macro}{\macro}
% % Description of the implementation.
% % \begin{macrocode}
%\newcommand{\macro}[] {}
% % \end{macrocode}
% %\end{macro}
%
% The implementation and description will appear in the implementation
% part of the documentation. Use \subsubsection{} etc. for structuring.
%
% The documentation of the macros defined here has to be written in
% chairxmathCategoryDoc.dtx
%\fi
%
% First we check of macros should be included:
% \begin{macrocode}
\if@loadmath
% \end{macrocode}
%
% \subsubsection{General Category Theory}
% General stuff for categories.
%
% \begin{macro}{\category}
% \begin{macrocode}
\newcommand{\category}[1]{\ch@irxcategoryfont{#1}}
% \end{macrocode}
%\end{macro}
%
% \begin{macro}{\categoryname}
% \begin{macrocode}
\newcommand{\categoryname}[1]{\ch@irxcategorynamefont{#1}}
% \end{macrocode}
%\end{macro}
%
% \begin{macro}{\functor}
% \begin{macrocode}
\newcommand{\functor}[1]{\ch@irxfunctorfont{#1}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\groupoid}
% \begin{macrocode}
\newcommand{\groupoid}[1]{\ch@irxgroupoidfont{#1}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\source}
% \begin{macrocode}
\newcommand{\source}{\ch@irxoperatorfont{source}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\target}
% \begin{macrocode}
\newcommand{\target}{\ch@irxoperatorfont{target}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\unit}
% \begin{macrocode}
\newcommand{\unit}{\ch@irxoperatorfont{unit}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\opp}
% \begin{macrocode}
\newcommand{\opp}{\ch@irxscriptfont{opp}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\asso}
% \begin{macrocode}
\newcommand{\asso}{\ch@irxoperatorfont{asso}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\Hom}
% \begin{macrocode}
\newcommand{\Hom}{\operatorname{\ch@irxoperatorfont{Hom}}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\End}
% \begin{macrocode}
\newcommand{\End}{\operatorname{\ch@irxoperatorfont{End}}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\Aut}
% \begin{macrocode}
\newcommand{\Aut}{\operatorname{\ch@irxoperatorfont{Aut}}}
\WithSuffix\newcommand\Aut*{\decorate[^*]{\textrm{-}\Aut}{}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\Iso}
% \begin{macrocode}
\newcommand{\Iso}{\operatorname{\ch@irxoperatorfont{Iso}}}
\WithSuffix\newcommand\Iso*{\decorate[^*]{\textrm{-}\Iso}{}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\Obj}
% \begin{macrocode}
\newcommand{\Obj}{\operatorname{\ch@irxoperatorfont{Obj}}}
% \end{macrocode}
%\end{macro}
%
%\begin{macro}{\Morph}
% \begin{macrocode}
\newcommand{\Morph}{\operatorname{\ch@irxoperatorfont{Morph}}}
% \end{macrocode}
%\end{macro}
%
% \subsubsection{Colimits}
%
%\begin{macro}{\colim}
% \begin{macrocode}
\newcommand{\colim}{\operatorname*{{colim}}}
% \end{macrocode}
%\end{macro}
% \begin{macrocode}
\fi
% \end{macrocode}
|
