dotfiles

My personal dotfiles

commit 860113719fac3ed497db4518fed4cbf67514e0df
parent 483689fdedeb951cb2b27f39f748403bc93504ba
Author: Pablo Emilio Escobar Gaviria <pablo-escobar@riseup.net>
Date:   Thu, 28 Jan 2021 12:45:46 -0300

Configured hostnames in NeoMutt and improved the LaTeX packages

Diffstat:
M.config/mutt/accounts/1-public.muttrc | 1+
M.local/share/texmf/tex/latex/functional.sty | 38+++++++++++++++++++++++++++++++-------
M.local/share/texmf/tex/latex/preamble.tex | 11++++++++---
M.local/share/texmf/tex/latex/xalgebra.sty | 14+++++++++++---
4 files changed, 51 insertions(+), 13 deletions(-)
diff --git a/.config/mutt/accounts/1-public.muttrc b/.config/mutt/accounts/1-public.muttrc
@@ -8,6 +8,7 @@ set folder = "/home/pablo/.local/share/mail/pablo-escobar@riseup.net"
 set header_cache = /home/pablo/.cache/mutt-wizard/pablo-escobar@riseup.net/headers
 set message_cachedir = /home/pablo/.cache/mutt-wizard/pablo-escobar@riseup.net/bodies
 set mbox_type = Maildir
+set hostname = riseup.net
 
 bind index,pager gg noop
 bind index,pager g  noop
diff --git a/.local/share/texmf/tex/latex/functional.sty b/.local/share/texmf/tex/latex/functional.sty
@@ -3,11 +3,21 @@
   [2020/09/10 1.0.0 Usefull definitions for Category Theory]
 
 \RequirePackage{amsmath}
+\RequirePackage{amssymb}
 
-\DeclareMathOperator{\Obj}{Obj} % The class of objects of a category
-\DeclareMathOperator{\Hom}{Hom} % The class of morphisms of a category
-\DeclareMathOperator{\End}{End} % Endomorphisms
-\DeclareMathOperator{\Aut}{Aut} % Automorphisms
+% Define symbols for categories
+\newcommand{\categoryname}[1]{\ensuremath{\mathbf{#1}}}
+\newcommand{\newcategory}[2]{\newcommand{#1}{\categoryname{#2}}}
+\newcommand{\renewcategory}[2]{\renewcommand{#1}{\categoryname{#2}}}
+
+% Generic stuff
+\DeclareMathOperator{\Obj}{Obj}     % The class of objects of a category
+\DeclareMathOperator{\Hom}{Hom}     % The class of morphisms of a category
+\DeclareMathOperator{\End}{End}     % Endomorphisms
+\DeclareMathOperator{\Aut}{Aut}     % Automorphisms
+\DeclareMathOperator{\coker}{coker} % Cokernel
+\newcommand{\normal}{\triangleleft} % A normal subobject in a pointed cathegory
+\newcommand{\mfrac}[2]{{{\Large{\sfrac{{#1}}{{#2}}}}}} % Quotient object
 
 % Function stuff
 \DeclareMathOperator{\dom}{dom}     % The domain of a morphism
@@ -15,10 +25,24 @@
 \DeclareMathOperator{\im}{im}       % The image of morphism
 \DeclareMathOperator{\id}{id}       % Identity function
 \newcommand{\To}{\Rightarrow}       % Natural transformation
+\newcommand{\ot}{\leftarrow}        % Reversed morphism
+\newcommand{\Ot}{\Leftarrow}        % Reversed natural transformation
 \newcommand{\fmapsto}[1]
   {\overset{#1}{\longmapsto}}       % Map declaration
 
-\newcommand{\subobject}{\le}        % A subobject of an object
-\newcommand{\normal}{\triangleleft} % A normal subobject in a pointed cathegory
-
+% Notable categories
+\newcategory{\Set}{Set}       % The category of sets
+\newcategory{\Grp}{Grp}       % The category of groups
+\newcategory{\Ab}{Ab}         % The category of abelian groups
+\newcategory{\Ring}{Ring}     % The category of rings
+\newcategory{\cRing}{cRing}   % The category of commutative rings
+\newcategory{\Top}{Top}       % The category of topological spaces
+\newcategory{\GrpTop}{GrpTop} % The category of topological groups
+\newcategory{\Cat}{Cat}       % The category of (small) categories
+% The category of vector spaces over a (parameterized) field
+\newcommand{\Vect}[1]
+  {\ensuremath{#1\operatorname{-}\!\categoryname{Vect}}}
+% The category of modules over a (parameterized) ring
+\newcommand{\Mod}[1]
+  {\ensuremath{#1\operatorname{-}\!\categoryname{Mod}}}
 \endinput
diff --git a/.local/share/texmf/tex/latex/preamble.tex b/.local/share/texmf/tex/latex/preamble.tex
@@ -9,12 +9,16 @@
 
 \documentclass[a4paper]{article}
 \usepackage[total={6in, 9in}]{geometry}
-\usepackage{amsmath, amssymb, amsthm, stmaryrd, mathrsfs, gensymb}
+\usepackage{amsmath, amssymb, amsthm, stmaryrd, mathrsfs, gensymb, dsfont}
 \usepackage{enumitem, xfrac, xcolor, cancel, multicol, tabularx, relsize}
 \usepackage{hyperref, cleveref, lipsum}
 \usepackage{xalgebra, functional, capitalgreekall}
 \usepackage{ytableau}
 \usepackage[exerciselabel=Exercício]{xexercise}
+\usepackage{pgfplots, tikz, tikz-cd}
+\usepackage{graphicx, wrapfig}
+\usepackage{xparse}
+\usepackage[normalem]{ulem}
 \usepackage[brazil]{babel}
 
 % Use \blacksquare for \qed
@@ -27,11 +31,13 @@
 \renewcommand{\mid}{\,\mathlarger{\mathlarger{\mathchar"326A}}\,}
 \renewcommand{\nmid}{\,\mathlarger{\mathlarger{\mathchar"352D}}\,}
 
-% Get propper \leq and \geq symbols
+% Get propper inequality symbols
 \renewcommand{\leq}{\leqslant}
 \renewcommand{\le}{\leqslant}
 \renewcommand{\geq}{\geqslant}
 \renewcommand{\ge}{\geqslant}
+\renewcommand{\preceq}{\preccurlyeq}
+\renewcommand{\succeq}{\succcurlyeq}
 
 % Configure the enumerate environment to use bold roman numerals
 \setenumerate[0]{label={\bfseries(\roman*)}}
@@ -66,7 +72,6 @@
 \newcommand{\strong}[1]{\textbf{#1}}
 
 % Differentials and derivatives
-\newcommand{\DD}{\mathrm{D}}
 \newcommand{\dd}{\mathrm{d}}
 \newcommand{\dx}{\dd x}
 \newcommand{\dy}{\dd y}
diff --git a/.local/share/texmf/tex/latex/xalgebra.sty b/.local/share/texmf/tex/latex/xalgebra.sty
@@ -1,8 +1,13 @@
 \NeedsTeXFormat{LaTeX2e}[1994/06/01]
 \ProvidesPackage{xalgebra}[2020/09/10 1.0.0 Usefull definitions for Algebra]
 
-\RequirePackage{amssymb} % For the standard sets
-\RequirePackage{amsmath} % For the \DeclareMathOperator
+\RequirePackage{amssymb}  % For the standard sets
+\RequirePackage{amsmath}  % For the \DeclareMathOperator
+\RequirePackage{mathrsfs} % For \mathscr
+\RequirePackage{xfrac}    % For \sfrac
+
+% Generic stuff
+\newcommand{\abs}[1]{\left|\nobreak#1\nobreak\right|} % Absolute values
 
 % Standard rings and fields
 \newcommand{\NN}{\mathbb{N}}   % Natural numbers
@@ -10,6 +15,8 @@
 \newcommand{\QQ}{\mathbb{Q}}   % Rational numbers
 \newcommand{\RR}{\mathbb{R}}   % Real numbers
 \newcommand{\CC}{\mathbb{C}}   % Complex numbers
+\newcommand{\KK}{\mathbb{K}}   % Generic field
+\newcommand{\FF}{\mathbb{F}}   % Generic (finite) field
 \newcommand{\HH}{\mathbb{H}}   % Quaternions
 \newcommand{\OO}{\mathbb{O}}   % Octonions
 \renewcommand{\SS}{\mathbb{S}} % Sedenions
@@ -18,12 +25,12 @@
 \newenvironment{system}
   {\left \{ \begin{aligned}}
   {\end{aligned} \right.}          % Linear system of equations
-\DeclareMathOperator{\vspan}{span} % Set span
 \DeclareMathOperator{\Tr}{Tr}      % Operator trace
 \DeclareMathOperator{\Id}{Id}      % Identity operator
 \DeclareMathOperator{\Bil}{Bil}    % The space of bilinear maps
 \DeclareMathOperator{\Mat}{Mat}    % Matrix algebra
 \DeclareMathOperator{\Sym}{Sym}    % Symetric product of vector-spaces
+\newcommand{\base}{\mathscr B}     % Vectorspace base
 \newcommand{\norm}[1]{\left\lVert\nobreak#1\nobreak\right\rVert} % Vector norm
 
 % Group Theory stuff
@@ -32,6 +39,7 @@
 \DeclareMathOperator{\sgn}{sgn}  % Permutation sign (parity)
 \DeclareMathOperator{\GL}{GL}    % General linear group
 \DeclareMathOperator{\SL}{SL}    % Simple linear group
+\DeclareMathOperator{\Gal}{Gal}  % Galois group
 
 % Ring Theory stuff
 \DeclareMathOperator{\Frac}{Frac}  % Field of fractions