nLab
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Quipper
(
Quipper(rev # 5)

history
)
by
Urs Schreiber
at October 1, 2022 at 13:33:52
constructive mathematics
(
constructive mathematics(rev # 74)

history
)
by
Zoran Škoda
at October 1, 2022 at 13:18:33
Sandbox
(
Sandbox(rev # 2652)

history
)
by
Urs Schreiber
at October 1, 2022 at 11:22:04
Sandbox
(
Sandbox(rev # 2651)

history
)
by
Urs Schreiber
at October 1, 2022 at 09:46:37
wave function collapse
(
wave function collapse(rev # 13)

history
)
by
Urs Schreiber
at October 1, 2022 at 09:32:14
Sandbox
(
Sandbox(rev # 2650)

history
)
by
Urs Schreiber
at October 1, 2022 at 07:22:53
Painleve transcendent
(
Painleve transcendent(rev # 19)

history
)
by
David Roberts
at October 1, 2022 at 07:17:00
Painleve transcendent
(
Painleve transcendent(rev # 18)

history
)
by
Zoran Škoda
at September 30, 2022 at 17:16:43
homotopy coproduct
(
homotopy coproduct(rev # 3)

history
)
by
Luigi Alfonsi
at September 30, 2022 at 17:08:57
Tom de Jong
(
Tom de Jong(rev # 2)

history
)
by
Anonymous
at September 30, 2022 at 14:20:55
cardinal number
(
cardinal number(rev # 47)

history
)
by
Anonymous
at September 30, 2022 at 12:52:43
inaccessible cardinal
(
inaccessible cardinal(rev # 24)

history
)
by
Toby Bartels
at September 30, 2022 at 12:08:07
homotopy coproduct
(
homotopy coproduct(rev # 2)

history
)
by
Luigi Alfonsi
at September 30, 2022 at 07:09:07
quantum information
(
quantum information(rev # 46)

history
)
by
David Corfield
at September 30, 2022 at 06:45:59
directed topological space
(
directed topological space(rev # 63)

history
)
by
Christoph Dorn
at September 30, 2022 at 05:00:32
quantum information
(
quantum information(rev # 45)

history
)
by
Urs Schreiber
at September 30, 2022 at 03:31:08
anafunctor
(
anafunctor(rev # 110)

history
)
by
Tim Porter
at September 30, 2022 at 02:48:51
quantum information
(
quantum information(rev # 44)

history
)
by
Urs Schreiber
at September 30, 2022 at 00:18:48
AdSQCD correspondence
(
AdSQCD correspondence(rev # 173)

history
)
by
Urs Schreiber
at September 30, 2022 at 00:08:09
cubical path type
(
cubical path type(rev # 8)

history
)
by
Anonymous
at September 29, 2022 at 21:31:38
trace
(
trace(rev # 29)

history
)
by
mstone
?
at September 29, 2022 at 13:20:48
directed topological space
(
directed topological space(rev # 62)

history
)
by
Christoph Dorn
at September 29, 2022 at 13:04:34
Garrett Birkhoff
(
Garrett Birkhoff(rev # 2)

history
)
by
Urs Schreiber
at September 29, 2022 at 10:53:48
John von Neumann
(
John von Neumann(rev # 5)

history
)
by
Urs Schreiber
at September 29, 2022 at 10:53:25
quantum logic
(
quantum logic(rev # 43)

history
)
by
Urs Schreiber
at September 29, 2022 at 10:50:31
list of theses in category theory
(
list of theses in category theory(rev # 22)

history
)
by
varkor
?
at September 29, 2022 at 09:39:49
list of theses in category theory
(
list of theses in category theory(rev # 21)

history
)
by
Bryce Clarke
?
at September 29, 2022 at 09:07:30
center
(
center(rev # 27)

history
)
by
Anonymous
at September 29, 2022 at 08:53:15
wave function collapse
(
wave function collapse(rev # 12)

history
)
by
Urs Schreiber
at September 29, 2022 at 08:32:40
Joseph M. Renes
by
Urs Schreiber
at September 29, 2022 at 08:26:00
quantum information
(
quantum information(rev # 43)

history
)
by
Urs Schreiber
at September 29, 2022 at 08:24:25
Gerhart Lüders
by
Urs Schreiber
at September 29, 2022 at 08:18:00
quantum mechanics
(
quantum mechanics(rev # 79)

history
)
by
Urs Schreiber
at September 29, 2022 at 07:43:37
John von Neumann
(
John von Neumann(rev # 4)

history
)
by
Urs Schreiber
at September 29, 2022 at 07:40:44
quantum measurement
(
quantum measurement(rev # 11)

history
)
by
Urs Schreiber
at September 29, 2022 at 07:39:46
Sandbox
(
Sandbox(rev # 2649)

history
)
by
Urs Schreiber
at September 29, 2022 at 07:14:19
fixed point operator
(
fixed point operator(rev # 3)

history
)
by
Max S. New
at September 29, 2022 at 07:07:43
David Jaz Myers
(
David Jaz Myers(rev # 9)

history
)
by
Urs Schreiber
at September 29, 2022 at 06:19:52
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 26)

history
)
by
Urs Schreiber
at September 29, 2022 at 05:46:11
list of theses in category theory
(
list of theses in category theory(rev # 20)

history
)
by
Bryce Clarke
?
at September 29, 2022 at 05:42:23
Sandbox
(
Sandbox(rev # 2648)

history
)
by
Urs Schreiber
at September 29, 2022 at 05:37:36
identity type
(
identity type(rev # 83)

history
)
by
Mike Shulman
at September 28, 2022 at 23:51:35
objective type theory
by
Anonymous
at September 28, 2022 at 15:33:03
quintet construction
(
quintet construction(rev # 8)

history
)
by
Tim Campion
?
at September 28, 2022 at 15:26:56
identity type
(
identity type(rev # 82)

history
)
by
Anonymous
at September 28, 2022 at 15:24:50
etaconversion
(
etaconversion(rev # 13)

history
)
by
Anonymous
at September 28, 2022 at 15:06:31
Urs Schreiber
(
Urs Schreiber(rev # 94)

history
)
by
Urs Schreiber
at September 28, 2022 at 15:03:29
inaccessible cardinal
(
inaccessible cardinal(rev # 23)

history
)
by
Toby Bartels
at September 28, 2022 at 14:48:08
Manuel Rivera
(
Manuel Rivera(rev # 8)

history
)
by
Tim Porter
at September 28, 2022 at 13:44:19
ribbon category
(
ribbon category(rev # 11)

history
)
by
varkor
?
at September 28, 2022 at 13:16:39
smooth topos
(
smooth topos(rev # 18)

history
)
by
Anonymous
at September 28, 2022 at 12:10:23
productregular cardinal
by
Anonymous
at September 28, 2022 at 12:08:02
regular cardinal
(
regular cardinal(rev # 34)

history
)
by
Anonymous
at September 28, 2022 at 12:06:30
inaccessible cardinal
(
inaccessible cardinal(rev # 22)

history
)
by
Anonymous
at September 28, 2022 at 11:58:22
relative monad
(
relative monad(rev # 9)

history
)
by
Lobbia
?
at September 28, 2022 at 11:18:58
lax monoidal category
(
lax monoidal category(rev # 7)

history
)
by
varkor
?
at September 28, 2022 at 11:02:07
lax monoidal category
(
lax monoidal category(rev # 6)

history
)
by
Lobbia
?
at September 28, 2022 at 11:00:25
lax monoidal category
(
lax monoidal category(rev # 5)

history
)
by
varkor
?
at September 28, 2022 at 10:56:32
opposite category
(
opposite category(rev # 29)

history
)
by
varkor
?
at September 28, 2022 at 10:48:25
reverse monoidal category
(
reverse monoidal category(rev # 4)

history
)
by
varkor
?
at September 28, 2022 at 10:47:59
opposite 2category
(
opposite 2category(rev # 7)

history
)
by
varkor
?
at September 28, 2022 at 10:43:28
list of theses in category theory
(
list of theses in category theory(rev # 19)

history
)
by
Bryce Clarke
?
at September 28, 2022 at 09:30:48
necessity and possibility
(
necessity and possibility(rev # 24)

history
)
by
Urs Schreiber
at September 28, 2022 at 08:00:58
Sandbox
(
Sandbox(rev # 2647)

history
)
by
Urs Schreiber
at September 28, 2022 at 08:00:28
list of theses in category theory
(
list of theses in category theory(rev # 18)

history
)
by
varkor
?
at September 28, 2022 at 06:06:58
distributive law
(
distributive law(rev # 28)

history
)
by
varkor
?
at September 28, 2022 at 06:05:30
category of presheaves
(
category of presheaves(rev # 31)

history
)
by
varkor
?
at September 28, 2022 at 06:03:36
identity type
(
identity type(rev # 81)

history
)
by
Urs Schreiber
at September 28, 2022 at 05:26:46
Sandbox
(
Sandbox(rev # 2646)

history
)
by
Urs Schreiber
at September 28, 2022 at 05:22:17
list of theses in category theory
(
list of theses in category theory(rev # 17)

history
)
by
Bryce Clarke
?
at September 28, 2022 at 04:01:07
identity type
(
identity type(rev # 80)

history
)
by
Urs Schreiber
at September 28, 2022 at 03:58:12
Sandbox
(
Sandbox(rev # 2645)

history
)
by
Urs Schreiber
at September 28, 2022 at 03:57:11
identity type
(
identity type(rev # 79)

history
)
by
Urs Schreiber
at September 28, 2022 at 03:15:05
Sandbox
(
Sandbox(rev # 2644)

history
)
by
Urs Schreiber
at September 28, 2022 at 02:30:44
closed category
(
closed category(rev # 64)

history
)
by
varkor
?
at September 27, 2022 at 20:04:41
pseudomonoid
(
pseudomonoid(rev # 11)

history
)
by
varkor
?
at September 27, 2022 at 19:03:44
graded vector bundle
by
Dmitri Pavlov
at September 27, 2022 at 17:00:39
quantum teleportation
(
quantum teleportation(rev # 9)

history
)
by
Urs Schreiber
at September 27, 2022 at 13:37:29
closed category
(
closed category(rev # 63)

history
)
by
varkor
?
at September 27, 2022 at 13:04:46
Anders Kock
(
Anders Kock(rev # 8)

history
)
by
Zoran Škoda
at September 27, 2022 at 12:47:21
list of theses in category theory
(
list of theses in category theory(rev # 16)

history
)
by
Zoran Škoda
at September 27, 2022 at 12:39:41
list of theses in category theory
(
list of theses in category theory(rev # 15)

history
)
by
Zoran Škoda
at September 27, 2022 at 11:57:33
Herbert Edelsbrunner
(
Herbert Edelsbrunner(rev # 4)

history
)
by
Urs Schreiber
at September 27, 2022 at 10:15:02
relative category
(
relative category(rev # 13)

history
)
by
Hurkyl
?
at September 27, 2022 at 09:58:40
accessible category
(
accessible category(rev # 57)

history
)
by
Zoran Škoda
at September 27, 2022 at 08:01:04
identity type
(
identity type(rev # 78)

history
)
by
Urs Schreiber
at September 27, 2022 at 07:54:33
list of theses in category theory
(
list of theses in category theory(rev # 14)

history
)
by
Zoran Škoda
at September 27, 2022 at 07:48:29
identity type
(
identity type(rev # 77)

history
)
by
Urs Schreiber
at September 27, 2022 at 07:03:08
Bob Walters
(
Bob Walters(rev # 11)

history
)
by
varkor
?
at September 27, 2022 at 06:53:45
list of theses in category theory
(
list of theses in category theory(rev # 13)

history
)
by
varkor
?
at September 27, 2022 at 06:53:28
list of theses in category theory
(
list of theses in category theory(rev # 12)

history
)
by
Urs Schreiber
at September 27, 2022 at 06:41:21
list of theses in category theory
(
list of theses in category theory(rev # 11)

history
)
by
Zoran Škoda
at September 27, 2022 at 06:28:01
Sandbox
(
Sandbox(rev # 2643)

history
)
by
Urs Schreiber
at September 27, 2022 at 06:20:42
Alexander Odesskii
(
Alexander Odesskii(rev # 3)

history
)
by
Zoran Škoda
at September 27, 2022 at 06:15:11
identity type
(
identity type(rev # 76)

history
)
by
David Corfield
at September 27, 2022 at 06:11:01
identity type
(
identity type(rev # 75)

history
)
by
Urs Schreiber
at September 27, 2022 at 06:00:22
Sandbox
(
Sandbox(rev # 2642)

history
)
by
Urs Schreiber
at September 27, 2022 at 05:38:16
identity type
(
identity type(rev # 74)

history
)
by
Urs Schreiber
at September 27, 2022 at 05:00:09
list of theses in category theory
(
list of theses in category theory(rev # 10)

history
)
by
varkor
?
at September 27, 2022 at 04:42:05
cubical path type
(
cubical path type(rev # 7)

history
)
by
Urs Schreiber
at September 27, 2022 at 04:31:41
« Previous
1
2
3
4
5
6
7
8
9
10
Next »