dotfiles

My personal dotfiles

commit 93a19217a56f27fad8bc6540f96a6241e148a65e
parent d726f7e39244d8ed3fc6b1befab51e5c50486912
Author: Pablo <pablo-escobar@riseup.net>
Date:   Sat, 20 Mar 2021 15:01:50 +0000

Added some LaTeX macros

Diffstat:
D.config/cabal/config | 190-------------------------------------------------------------------------------
M.config/fish/config.fish | 4++--
M.local/bin/exports.sh | 4++--
M.local/share/configs.list | 1-
M.local/share/texmf/tex/latex/functional.sty | 19++++++++++++++-----
M.local/share/texmf/tex/latex/preamble-common.tex | 2++
M.local/share/texmf/tex/latex/xgeometry.sty | 12++++++++++++
7 files changed, 32 insertions(+), 200 deletions(-)
diff --git a/.config/cabal/config b/.config/cabal/config
@@ -1,190 +0,0 @@
--- This is the configuration file for the 'cabal' command line tool.
-
--- The available configuration options are listed below.
--- Some of them have default values listed.
-
--- Lines (like this one) beginning with '--' are comments.
--- Be careful with spaces and indentation because they are
--- used to indicate layout for nested sections.
-
--- Cabal library version: 1.24.2.0
--- cabal-install version: 1.24.0.2
-
-
-repository hackage.haskell.org
-  url: http://hackage.haskell.org/
-  -- secure: False
-  -- root-keys:
-  -- key-threshold:
-
--- default-user-config:
--- require-sandbox: False
--- ignore-sandbox: False
--- ignore-expiry: False
--- http-transport:
-remote-repo-cache: /home/pablo/.cache/cabal/packages
--- local-repo:
-logs-dir: /home/pablo/.cache/cabal/logs
-world-file: /home/pablo/.config/cabal/world
--- verbose: 1
--- compiler: ghc
--- with-compiler:
--- with-hc-pkg:
--- program-prefix: 
--- program-suffix: 
--- library-vanilla: True
--- library-profiling:
--- shared:
--- executable-dynamic: False
--- profiling:
--- executable-profiling:
--- profiling-detail:
--- library-profiling-detail:
--- optimization: True
--- debug-info: False
--- library-for-ghci:
--- split-objs: False
--- executable-stripping: True
--- library-stripping: True
--- configure-option:
--- user-install: True
--- package-db:
--- flags:
--- extra-include-dirs:
--- extra-lib-dirs:
--- extra-framework-dirs:
-extra-prog-path: /home/pablo/.share/cabal/bin
--- tests: False
--- coverage: False
--- library-coverage:
--- allow-newer: False
--- exact-configuration: False
--- benchmarks: False
--- relocatable: False
--- cabal-lib-version:
--- constraint:
--- preference:
--- solver: choose
--- documentation: False
--- doc-index-file: $datadir/doc/$arch-$os-$compiler/index.html
--- max-backjumps: 2000
--- reorder-goals: False
--- shadow-installed-packages: False
--- strong-flags: False
--- reinstall: False
--- avoid-reinstalls: False
--- force-reinstalls: False
--- upgrade-dependencies: False
--- root-cmd:
--- symlink-bindir:
-build-summary: /home/pablo/.cache/cabal/logs/build.log
--- build-log:
-remote-build-reporting: anonymous
--- report-planning-failure: False
--- one-shot: False
--- run-tests:
-jobs: $ncpus
--- offline: False
--- username:
--- password:
--- password-command:
--- builddir:
-
-haddock
-  -- keep-temp-files: False
-  -- hoogle: False
-  -- html: False
-  -- html-location:
-  -- executables: False
-  -- tests: False
-  -- benchmarks: False
-  -- all:
-  -- internal: False
-  -- css:
-  -- hyperlink-source: False
-  -- hscolour-css:
-  -- contents-location:
-
-install-dirs user
-  prefix: /home/pablo/.local/share/cabal
-  -- bindir: $prefix/bin
-  -- libdir: $prefix/lib
-  -- libsubdir: $abi/$libname
-  -- dynlibdir: $libdir/$abi
-  -- libexecdir: $prefix/libexec
-  -- datadir: $prefix/share
-  -- datasubdir: $abi/$pkgid
-  -- docdir: $datadir/doc/$abi/$pkgid
-  -- htmldir: $docdir/html
-  -- haddockdir: $htmldir
-  -- sysconfdir: $prefix/etc
-
-install-dirs global
-  -- prefix: /usr/local
-  -- bindir: $prefix/bin
-  -- libdir: $prefix/lib
-  -- libsubdir: $abi/$libname
-  -- dynlibdir: $libdir/$abi
-  -- libexecdir: $prefix/libexec
-  -- datadir: $prefix/share
-  -- datasubdir: $abi/$pkgid
-  -- docdir: $datadir/doc/$abi/$pkgid
-  -- htmldir: $docdir/html
-  -- haddockdir: $htmldir
-  -- sysconfdir: $prefix/etc
-
-program-locations
-  -- alex-location:
-  -- ar-location:
-  -- c2hs-location:
-  -- cpphs-location:
-  -- gcc-location:
-  -- ghc-location:
-  -- ghc-pkg-location:
-  -- ghcjs-location:
-  -- ghcjs-pkg-location:
-  -- greencard-location:
-  -- haddock-location:
-  -- happy-location:
-  -- haskell-suite-location:
-  -- haskell-suite-pkg-location:
-  -- hmake-location:
-  -- hpc-location:
-  -- hsc2hs-location:
-  -- hscolour-location:
-  -- jhc-location:
-  -- ld-location:
-  -- lhc-location:
-  -- lhc-pkg-location:
-  -- pkg-config-location:
-  -- strip-location:
-  -- tar-location:
-  -- uhc-location:
-
-program-default-options
-  -- alex-options:
-  -- ar-options:
-  -- c2hs-options:
-  -- cpphs-options:
-  -- gcc-options:
-  -- ghc-options:
-  -- ghc-pkg-options:
-  -- ghcjs-options:
-  -- ghcjs-pkg-options:
-  -- greencard-options:
-  -- haddock-options:
-  -- happy-options:
-  -- haskell-suite-options:
-  -- haskell-suite-pkg-options:
-  -- hmake-options:
-  -- hpc-options:
-  -- hsc2hs-options:
-  -- hscolour-options:
-  -- jhc-options:
-  -- ld-options:
-  -- lhc-options:
-  -- lhc-pkg-options:
-  -- pkg-config-options:
-  -- strip-options:
-  -- tar-options:
-  -- uhc-options:
diff --git a/.config/fish/config.fish b/.config/fish/config.fish
@@ -26,7 +26,7 @@ set PATH "/usr/local/sbin" \
          "$CARGO_HOME/bin" \
          "$GOPATH/bin" \
          "$DENO_INSTALL/bin" \
-         "$HOME/.local/share/cabal/bin" \
+         "$HOME/.cabal/bin" \
          "/usr/local/wabt/bin" \
          "$XDG_DATA_HOME/gap-4.11.0" \
          "$XDG_DATA_HOME/emsdk" \
@@ -43,7 +43,7 @@ set MANPATH "/usr/share/man" \
             "/usr/local/man" \
             "$XDG_DATA_HOME/man" \
             "$XDG_DATA_HOME/fzf/man" \
-            "$XDG_DATA_HOME/cabal/share/man"
+            "$HOME/.cabal/man"
 
 # Abbreviations
 abbr vim     'nvim'
diff --git a/.local/bin/exports.sh b/.local/bin/exports.sh
@@ -36,8 +36,8 @@ export DEBIAN_DISABLE_RUBYGEMS_INTEGRATION="true"
 export GOPATH="$XDG_DATA_HOME/go"
 
 # Haskell
-export CABAL_CONFIG="$XDG_CONFIG_HOME/cabal/config"
-export STACK_ROOT="$XDG_DATA_HOME/stack"
+# export CABAL_CONFIG="$XDG_CONFIG_HOME/cabal/config"
+# export STACK_ROOT="$XDG_DATA_HOME/stack"
 
 # Racket
 export PLTUSERHOME="$XDG_DATA_HOME/racket"
diff --git a/.local/share/configs.list b/.local/share/configs.list
@@ -18,5 +18,4 @@
 /home/pablo/.config/ranger/scope.sh
 /home/pablo/.config/tmux/tmux.conf
 /home/pablo/.config/zathura
-/home/pablo/.config/cabal/config
 /home/pablo/.config/aspell
diff --git a/.local/share/texmf/tex/latex/functional.sty b/.local/share/texmf/tex/latex/functional.sty
@@ -3,9 +3,10 @@
   [2020/09/10 1.0.0 Usefull definitions for Category Theory]
 
 \RequirePackage{amssymb}
-\RequirePackage{amsmath} % For the \DeclareMathOperator
-\RequirePackage{xfrac}   % For \sfrac
-\RequirePackage{relsize} % For \mathlarger
+\RequirePackage{amsmath}   % For the \DeclareMathOperator
+\RequirePackage{extarrows} % For \xlongrightarrow
+\RequirePackage{xfrac}     % For \sfrac
+\RequirePackage{relsize}   % For \mathlarger
 
 % Define symbols for categories
 \newcommand{\categoryname}[1]{\ensuremath{\mathbf{#1}}}
@@ -19,6 +20,9 @@
 \DeclareMathOperator{\Aut}{Aut}     % Automorphisms
 \DeclareMathOperator{\coker}{coker} % Cokernel
 \newcommand{\normal}{\triangleleft} % A normal subobject in a pointed cathegory
+\newcommand{\op}{\mathrm{op}}       % Dual category
+\newcommand{\isoto}
+  {\xlongrightarrow{\sim}}          % Isomorphism arrow
 \newcommand{\mfrac}[2]
   {\mathlarger{\sfrac{#1}{#2}}}     % Quotient object
 
@@ -36,17 +40,22 @@
 % Notable categories
 \newcategory{\Set}{Set}       % The category of sets
 \newcategory{\Grp}{Grp}       % The category of groups
+\newcategory{\FinGrp}{FinGrp} % The category of finite abelian groups
 \newcategory{\Ab}{Ab}         % The category of abelian groups
+\newcategory{\FinAb}{FinAb}   % The category of finite 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{\LCGpr}{LCGpr}   % The category of locally compact groups
 \newcategory{\LCAb}{LCAb}     % The category of locally compact abelian groups
-\newcategory{\Rep}{Rep}       % The category of representations of an object
-\newcategory{\Cat}{Cat}       % The category of (small) categories
+\newcategory{\CompAb}{CompAb} % The category of compact abelian groups
 \newcategory{\LieGrp}{LieGrp} % The category of Lie groups
 \newcategory{\LieAlg}{LieAlg} % The category of Lie algebras
+\newcategory{\Rep}{Rep}       % The category of representations of an object
+\newcategory{\FinRep}{FinRep} % The category of finite-dimensional 
+                              % representations of an object
+\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}}}
diff --git a/.local/share/texmf/tex/latex/preamble-common.tex b/.local/share/texmf/tex/latex/preamble-common.tex
@@ -13,6 +13,8 @@
 % Pablo (C) 2020
 
 \usepackage{amsmath, amssymb, amsthm, stmaryrd, mathrsfs, gensymb, dsfont}
+\usepackage{mathtools}
+\usepackage[scr=esstix,cal=boondox]{mathalfa}
 \usepackage{enumitem, xfrac, xcolor, cancel, multicol, tabularx, relsize}
 \usepackage{hyperref, csquotes}
 \usepackage{xalgebra, xgeometry, functional, capitalgreekall}
diff --git a/.local/share/texmf/tex/latex/xgeometry.sty b/.local/share/texmf/tex/latex/xgeometry.sty
@@ -43,6 +43,18 @@ geometry and Lie groups/algebras]
 \DeclareMathOperator{\Ad}{Ad}
 \DeclareMathOperator{\ad}{ad}
 
+% Double Hat! (for Pontryagin duals of Pontryagin duals)
+\makeatletter
+\newcommand{\doublehat}[1]{% 
+\begingroup%
+  \let\macc@kerna\z@%
+  \let\macc@kernb\z@%
+  \let\macc@nucleus\@empty%
+  \widehat{\raisebox{.5ex}{\vphantom{\ensuremath{#1}}}\smash{\widehat{#1}}}%
+\endgroup%
+}
+\makeatother
+
 % Tikz pictures
 \tikzset{
   manifold/.pic = {