|
|
|
Main Menu
|
|
Sections
Meta
Talkback
Downloads
Information
|
|
|
|
|
|
Viewing Preamble for
algebraic category of LMn -logic algebras |
|
[
back to 'algebraic category of LMn -logic algebras'
]
|
% this is the default PlanetPhysics preamble. as your knowledge
% define commands here
\usepackage{xypic}
\usepackage[mathscr]{eucal}
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym,color,enumerate}
\usepackage{xypic}
\usepackage[mathscr]{eucal}
\usepackage{setspace}
\xyoption{curve}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem*{notation}{Notation}
\newtheorem*{claim}{Claim}
\newtheorem{exe}{Example}[section]
\renewcommand{\thefootnote}{\ensuremath{\fnsymbol{footnote%%@
}}} \numberwithin{equation}{section}
\newcommand{\Ad}{{\rm Ad}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Cl}{{\rm Cl}}
\newcommand{\Co}{{\rm Co}}
\newcommand{\DES}{{\rm DES}}
\newcommand{\Diff}{{\rm Diff}}
\newcommand{\Dom}{{\rm Dom}}
\newcommand{\Hol}{{\rm Hol}}
\newcommand{\Mon}{{\rm Mon}}
\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\IM}{{\rm Im}}
\newcommand{\Is}{{\rm Is}}
\newcommand{\ID}{{\rm id}}
\newcommand{\GL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\U}{{\rm U}}
\newcommand{\A}{\mathcal A}
\newcommand{\Ce}{\mathcal C}
\newcommand{\D}{\mathcal D}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{\mathcal F}
\newcommand{\G}{\mathcal G}
\newcommand{\Q}{\mathcal Q}
\newcommand{\R}{\mathcal R}
\newcommand{\cS}{\mathcal S}
\newcommand{\cU}{\mathcal U}
\newcommand{\W}{\mathcal W}
\newcommand{\bA}{\mathbb{A}}
\newcommand{\bB}{\mathbb{B}}
\newcommand{\bC}{\mathbb{C}}
\newcommand{\bD}{\mathbb{D}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bG}{\mathbb{G}}
\newcommand{\bK}{\mathbb{K}}
\newcommand{\bM}{\mathbb{M}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bO}{\mathbb{O}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bV}{\mathbb{V}}
\newcommand{\bZ}{\mathbb{Z}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\vp}{\varphi}
\newcommand{\vep}{\varepsilon}
\newcommand{\diag}{{\rm diag}}
\newcommand{\grp}{{\mathbb G}}
\newcommand{\dgrp}{{\mathbb D}}
\newcommand{\desp}{{\mathbb D^{\rm{es}}}}
\newcommand{\Geod}{{\rm Geod}}
\newcommand{\geod}{{\rm geod}}
\newcommand{\hgr}{{\mathbb H}}
\newcommand{\mgr}{{\mathbb M}}
\newcommand{\ob}{{\rm Ob}}
\newcommand{\obg}{{\rm Ob(\mathbb G)}}
\newcommand{\obgp}{{\rm Ob(\mathbb G')}}
\newcommand{\obh}{{\rm Ob(\mathbb H)}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\ghomotop}{{\rho_2^{\square}}}
\newcommand{\gcalp}{{\mathbb G(\mathcal P)}}
\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\glob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}
\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}
\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\ga}{\gamma}
\newcommand{\Ga}{\Gamma}
\newcommand{\de}{\delta}
\newcommand{\del}{\partial}
\newcommand{\ka}{\kappa}
\newcommand{\si}{\sigma}
\newcommand{\ta}{\tau}
\def \C{\mathsf{C}}
\newcommand{\med}{\medbreak}
\newcommand{\medn}{\medbreak \noindent}
\newcommand{\bign}{\bigbreak \noindent}
%%N-Logic specific macros%%
\newcommand{\B}{{\mathcal B}}
\newcommand{\MV}{{\mathcal MV}}
\newcommand{\LM}{{\mathcal LM}_n}
\newcommand{\CLM}{{\mathcal CLM}_n}
\newcommand{\Post}{{\mathcal P}ost_n}
\newcommand{\Ra}{\Rightarrow}
\newcommand{\GMn}{$NMV_n$}
\newcommand{\LMn}{$LM_n$}
\newcommand{\NMVn}{NMV_n}
\newtheorem{defi}{Definition}
\newtheorem{prop}{Proposition}
\newtheorem{rem}{Remark}
\newtheorem{coro}{Corollary}
\newtheorem{lema}{Lemma}
\newcommand{\lmn}{LM_{n}}
\newcommand{\lmt}{LM_{\Th}}
\newcommand{\ov}{\overline}
\newcommand{\sm}{\smile}
\newcommand{\lmrn}{LMR_{n}}
\renewcommand{\t}{\times}
\newcommand{\eu}{\equiv_{1}}
\newcommand{\lu}{\leq_{1}}
\newcommand{\ez}{\equiv_{0}}
\newcommand{\lz}{\leq_{0}}
\newcommand{\Su}{S_{1}}
\newcommand{\Sd}{S_{2}}
\newcommand{\Si}{S_{i}}
\newcommand{\pri}{pr_{i}}
\newcommand{\pru}{pr_{1}}
\newcommand{\prd}{pr_{2}}
\newcommand{\pii}{\pi_{i}}
\newcommand{\piu}{\pi_{1}}
\newcommand{\pid}{\pi_{2}}
\newcommand{\unudoi}{\{1,2\}}
\newcommand{\Li}{L_{i}}
\newcommand{\Lu}{L_{1}}
\newcommand{\Ld}{L_{2}}
\newcommand{\ioi}{\iota_{i}}
\newcommand{\iou}{\iota_{1}}
\newcommand{\iod}{\iota_{2}}
\newcommand{\iii}{\iou\t\iod}
\newcommand{\K}{{\cal K}}
\newcommand{\sta}{\stackrel}
\newcommand{\fu}{f_{1}}
\newcommand{\fn}{f_{n}}
\newcommand{\fk}{f_{k}}
\newcommand{\e}{\eta}
\newcommand{\eps}{\epsilon}
\newcommand{\SLI}{S^{[I]}}
\newcommand{\CSLI}{C(S^{[I]})}
\newcommand{\CLI}{C(L)^{[I]}}
\newcommand{\mSI}{\models_{\SI}}
\newcommand{\mS}{\models_{\S}}
\newcommand{\tu}{t_{1}}
\newcommand{\tn}{t_{n}}
\newcommand{\tk}{t_{k}}
\renewcommand{\S}{\Sigma}
\newcommand{\s}{\sigma}
\newcommand{\Sn}{\Sigma_{n}}
\newcommand{\Sw}{\Sigma_{w}}
\newcommand{\wu}{w_{1}}
\newcommand{\wn}{w_{n}}
\newcommand{\wi}{w_{i}}
\newcommand{\wj}{w_{j}}
\newcommand{\yu}{y_{1}}
\newcommand{\yn}{y_{n}}
\newcommand{\yi}{y_{i}}
\newcommand{\yj}{y{j}}
\newcommand{\zu}{z_{1}}
\newcommand{\zn}{z_{n}}
\newcommand{\zk}{z_{k}}
\newcommand{\zi}{z_{i}}
\newcommand{\xu}{x_{1}}
\newcommand{\xn}{x_{n}}
\renewcommand{\xi}{x_{i}}
\newcommand{\xj}{x_{j}}
\newcommand{\wk}{w_{k}}
\newcommand{\xk}{x_{k}}
\newcommand{\yk}{y_{k}}
\newcommand{\su}{s_{1}}
\newcommand{\sn}{s_{n}}
\newcommand{\sj}{s_{j}}
\newcommand{\sk}{s_{k}}
\newcommand{\Imp}{\Rightarrow}
\newcommand{\SI}{\S_{I}}
\newcommand{\EI}{E_{I}}
\renewcommand{\phi}{\varphi}
\newcommand{\bw}{\bigwedge}
\newcommand{\bv}{\bigvee}
\newcommand{\w}{\wedge}
\renewcommand{\v}{\vee}
\renewcommand{\phi}{\varphi}
\newcommand{\phii}{\phi_{i}}
\newcommand{\phij}{\phi_{j}}
\newcommand{\phik}{\phi_{k}}
\newcommand{\phiu}{\phi_{1}}
\newcommand{\phin}{\phi_{n-1}}
\newcommand{\unen}{\{1,\ldots,n\}}
\newcommand{\ffu}{f_{1}}
\newcommand{\ffn}{f_{n}}
\newcommand{\ffi}{f_{i}}
\newcommand{\ffj}{f_{j}}
\newcommand{\ffk}{f_{k}}
\newcommand{\orc}{\forall}
\newcommand{\exi}{\exists}
\newcommand{\au}{a_{1}}
\newcommand{\an}{a_{n}}
\newcommand{\ai}{a_{i}}
\newcommand{\aj}{a_{j}}
\newcommand{\ak}{a_{k}}
\newcommand{\bu}{b_{1}}
\newcommand{\bn}{b_{n}}
\newcommand{\bi}{b_{i}}
\newcommand{\bj}{b_{j}}
\newcommand{\bk}{b_{k}}
\newcommand{\ra}{\rightarrow}
\renewcommand{\P}{{\cal P}}
\newcommand{\N}{{I\!\!N}}
\newcommand{\p}{\oplus}
\newcommand{\cd}{\odot}
\newcommand{\unmu}{\{1,\ldots,n-1\}}
\newcommand{\Ss}{S_{\sigma}}
\newcommand{\Th}{\Theta}
\newcommand{\ThS}{\Theta_{\S}}
\newcommand{\Luk}{ {\cal L}uk_{n} }
\newcommand{\Gen}{{\cal NMVA}_{n}}
\newcommand{\CGen}{{\cal NMVA}_{n}}
\newcommand{\GR}{{\cal NLGU}_{n}}
\newcommand{\gr}{NLGU_{n}}
\newcommand{\NMVN}{{\cal NMVA}_n}
\newcommand{\lra}{{\longrightarrow}}
\newcommand{\rat}{{\rightarrowtail}}
\newcommand{\oset}[1]{\overset {#1}{\ra}}
\newcommand{\osetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}
\newcommand{\labto}[1]{\overset{#1}{\lra}}
\newcommand{\midsq}[1]{\save\go[0,0];[1,1]:(0.5,0) \drop{#1}\restore}
%the following allows for longer arrows with long labels
%the first entry gives the additional length and the second gives the label
%e.g. \llabto{0.75}{\rm{long label}}
\newcommand{\llabto}[2]{\stackrel{#2}
{\rule[0.5ex]{#1 em}{0.05ex}\hspace{-0.4em}\longrightarrow}}
%the next gives two direction arrows at the top of a 2 x 2 matrix
\newcommand{\directs}[2]{\def\objectstyle{\scriptstyle} \objectmargin={0pt}
\xy (0,4)*+{}="a",(0,-2)*+{\rule{0em}{1.5ex}#2}="b",(7,4)*+{\;#1}="c" \ar@{->} "a";"b"
\ar @{->}"a";"c" \endxy }
%the next gives two direction arrows at the middle of a 2 x 2 matrix
\newcommand{\xdirects}[2]{\def\objectstyle{\scriptstyle} \objectmargin={0pt}
\xy (0,0)*+{}="a",(0,-6)*+{\rule{0em}{1.5ex}#2}="b",(7,0)*+{\;#1}="c" \ar@{->} "a";"b"
\ar @{->}"a";"c" \endxy }
%and this is smaller for a 1 x 1 matrix
\newcommand{\sdirects}[2]{\def\objectstyle{\scriptstyle} \objectmargin={0pt}
\xy (0,2.2)*+{}="a",(0,-2.5)*+{\rule{0em}{1.5ex}#2}="b",(7,2.2)*+{\;#1}="c" \ar@{->}
"a";"b" \ar @{->}"a";"c" \endxy }
% the following are codes for the identities and connections
\newcommand{\bl}{\mbox{\rule{0.08em}{1.7ex}\hspace{-0.00em}\rule{0.7em}{0.2ex}}}
\newcommand{\br}{\mbox{\rule{0.7em}{0.2ex}\hspace{-0.04em}\rule{0.08em}{1.7ex}}}
\newcommand{\tr}{\mbox{\rule[1.5ex]{0.7em}{0.2ex}\hspace{-0.03em}\rule{0.08em}{1.7ex}}}
\newcommand{\tl}{\mbox{\rule{0.08em}{1.7ex}\rule[1.54ex]{0.7em}{0.2ex}}}
\newcommand{\hh}{\mbox{\rule{0.7em}{0.2ex}\hspace{-0.7em}\rule[1.5ex]{0.70em}{0.2ex}}}
\newcommand{\vv}{\mbox{\rule{0.08em}{1.7ex}\hspace{0.6em}\rule{0.08em}{1.7ex}}}
\newcommand{\sq}{\mbox{\rule{0.08em}{1.7ex}\hspace{-0.00em}\rule{0.7em}{0.2ex}\hspace{-0.7em}\rule[1.54ex]{0.7em}{0.2ex}\hspace{-0.03em}\rule{0.08em}{1.7ex}}}
\newcommand{\tsq}{\mbox{\rule{0.04em}{1.55ex}\hspace{-0.00em}\rule{0.7em}{0.1ex}\hspace{-0.7em}\rule[1.5ex]{0.7em}{0.1ex}\hspace{-0.03em}\rule{0.04em}{1.55ex}}}
\newcommand{\tssq}{\mbox{\rule{0.04em}{1.55ex}\hspace{-0.00em}\rule{0.7em}{0.1ex}\hspace{-0.7em}\rule[1.5ex]{0.7em}{0.1ex}\hspace{-0.03em}\rule{0.04em}{1.55ex}\hspace{-0.43em}\rule[0.7ex]{0.1em}{0.2ex}}}
\newcommand{\quads}[4]{\left( #1 \hspace{1em}
\overset{\textstyle{#2}}{\underset{\textstyle{#4}} {\rule{0mm}{1mm}}} \hspace{1em} #3
\right)}
\def\bu{\bullet}
\def\prt{\partial}
\def\eps{\varepsilon}
\def\red{\textcolor{red}}
\def\blue{\textcolor{blue}}
\def\leq{\leqslant}
\def\geq{\geqslant}
\def\le{\leqslant}
\def\ge{\geqslant} |
|
|
|
|
