Tensor-Hom adjunctions for modules

Explicit proof of some tensor-hom adjunctions for modules

Lie Group Examples

Examples of Lie groups

Haskell and Types to Category theory

Rewriting category theoretical structures in Haskell in category theory.

Monoid Results

Some interesting results in monoids.

Category theory: Universal property

Details about universal properties.

Putting git info onto shell prompt

Notes for self about git-prompt