/present/fig/

• ../
• cat-assoc.svg
• cat-assoc.tex
• cat-ident.svg
• cat-ident.tex
• convert.sh
• couniversal.svg
• couniversal.tex
• front.svg
• front.tex
• head.tex
• monad_data.svg
• monad_data.tex
• monad_data_adj.svg
• monad_data_adj.tex
• monad_data_pow.svg
• monad_data_pow.tex
• monad_unit.svg
• monad_unit.tex
• monad_unita_adj.svg
• monad_unita_adj.tex
• monad_unita_pow.svg
• monad_unita_pow.tex
• monad_unitb_pow.svg
• monad_unitb_pow.tex
• natural.svg
• natural.tex
• universal.svg
• universal.tex