nLab Author — Martti Karvonen

Overview

Martti Karvonen has contributed to 4 nLab pages.

Most recent contributions

counterexamples in category theory 18:13:56, March 14 2021
Lawvere theory 20:34:45, December 23 2020
Higman's embedding theorem 20:30:56, December 23 2020
Boone conjecture 23:27:26, December 22 2020
Boone conjecture 21:29:56, December 22 2020

All pages contributed to