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.

Counting circular arrangements of objects

An exploration of counting using group theory.