Thomas Wilskow Thorbjørnsen

icon company University of Western Ontario icon location You may say Tomato-Tomatoe, but I say Thomato-Tomato.

Results 2 issues of Thomas Wilskow Thorbjørnsen

Z-module structure on abelian groups

7 comment

We want to make lm_carrier into an equivalence of categories. ### Pipeline: - [x] Turn lm_carrier : LeftModule R -> AbGroup into a functor - [ ] Define a canonical...

Equivalences of wild categories

4 comment

It doesn't look like the library has a notion of equivalences between wild categories. I might have just been looking in the wrong places, so please feel free to correct...