nLab Author — Sam Staton

Redirected from "strongly normalizing".

Overview

Sam Staton has contributed to 77 nLab pages.

Most recent contributions

distributive law 11:59:07, February 22 2026
FinStoch 17:58:39, December 24 2025
midpoint algebra 17:07:34, December 24 2025
midpoint algebra 15:59:22, December 24 2025
FinStoch 14:49:38, December 24 2025
FinStoch 12:44:10, December 24 2025
symmetric midpoint algebra 12:36:01, December 24 2025
midpoint algebra 12:33:46, December 24 2025
conservative cocompletion 08:45:12, July 23 2025
conservative cocompletion 07:22:36, July 23 2025
conservative cocompletion 17:10:31, July 22 2025
conservative cocompletion 10:33:14, July 22 2025
conservative cocompletion 19:53:51, July 17 2025
Fermat theory 10:12:43, July 14 2025
relative monad 18:38:26, July 13 2025
Markov category 18:33:24, July 13 2025
Markov category 16:52:14, July 13 2025
parameterized monad 19:36:27, March 26 2025
parameterized monad 17:17:49, March 26 2025
two-variable adjunction 16:16:42, March 26 2025
partial equivalence relation 15:54:19, March 26 2025
category of PERs 15:53:39, March 26 2025
concrete sheaf 11:32:28, September 24 2024
strong dinatural transformation 16:34:39, July 25 2024
2-functor 06:36:47, April 20 2024
events of interest for the working category theorist 20:51:36, March 11 2024
Markov category 16:37:21, December 23 2023
pi-calculus 08:58:56, December 19 2023
convex powerset of distributions monad 21:17:52, December 04 2023
decorated cospan 09:19:41, December 03 2023

All pages contributed to