nLab Author — Urs Schreiber

Overview

Urs Schreiber has contributed to 13988 nLab pages.

Most recent contributions

internal category 14:05:07, October 04 2022
profunctor 14:04:16, October 04 2022
Jean Bénabou 13:52:12, October 04 2022
weakly globular n-fold category 11:37:39, October 04 2022
internal category 11:30:36, October 04 2022
supergeometry 05:21:07, October 04 2022
quantum logic 04:44:27, October 04 2022
Mark Losik 04:25:26, October 04 2022
quantum circuits via dependent linear types 04:22:10, October 04 2022
Sandbox 04:14:33, October 04 2022
bunched logic 04:06:52, October 04 2022
Mitchell Riley 04:06:46, October 04 2022
quantum circuits via dependent linear types 03:29:12, October 04 2022
bunched logic 03:15:45, October 04 2022
dependent linear type theory 03:13:50, October 04 2022
asymptotic safety 00:35:12, October 04 2022
quantum circuits via dependent linear types 14:44:37, October 03 2022
self-dual object 14:12:31, October 03 2022
transpose matrix 14:12:08, October 03 2022
Peter Selinger 14:02:20, October 03 2022
inner product space 14:00:18, October 03 2022
dualizable object 13:58:43, October 03 2022
quantum circuits via dependent linear types 13:17:16, October 03 2022
quantum circuits via dependent linear types 12:12:08, October 03 2022
Sandbox 12:08:07, October 03 2022
n-category 11:41:18, October 03 2022
Simona Paoli 11:30:27, October 03 2022
weakly globular n-fold category 11:29:02, October 03 2022
n-fold complete Segal space 11:22:25, October 03 2022
quantum circuits via dependent linear types 10:29:00, October 03 2022

All pages contributed to