nLab Author — Urs Schreiber

Overview

Urs Schreiber has contributed to 14184 nLab pages.

Most recent contributions

split support 06:59:14, November 28 2022
syntomic cohomology 05:26:53, November 28 2022
nondeterministic computation 18:12:50, November 27 2022
algorithm 18:09:18, November 27 2022
complexity theory 17:36:53, November 27 2022
NP 17:36:40, November 27 2022
Michael Sipser 17:25:37, November 27 2022
computation 17:25:09, November 27 2022
recursive function 17:23:13, November 27 2022
nondeterministic computation 17:18:27, November 27 2022
Gereon Quick 16:56:50, November 27 2022
differential cobordism cohomology 16:55:39, November 27 2022
recursive function 16:39:16, November 27 2022
recursion 16:28:33, November 27 2022
comma object 10:29:21, November 27 2022
comma category 10:27:58, November 27 2022
2-pullback 10:18:07, November 27 2022
proof theory 08:26:52, November 27 2022
termination 06:05:25, November 27 2022
Michele Pagani 06:05:02, November 27 2022
Lorenzo Tortora de Falco 06:03:46, November 27 2022
Matthew Emerton 05:59:03, November 27 2022
Toby Gee 05:58:39, November 27 2022
Emerton-Gee stack 05:55:09, November 27 2022
completely distributive category 05:50:56, November 27 2022
smash product 16:07:00, November 26 2022
necessity and possibility 12:35:11, November 26 2022
repeat-until-success computing 12:29:43, November 26 2022
nondeterministic computation 11:08:09, November 26 2022
function monad 11:07:47, November 26 2022

All pages contributed to