nLab
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

topological cyclic homology
(
topological cyclic homology(rev # 23)

history
)
by
Rutherford
?
at February 21, 2024 at 07:34:52
dimension
(
dimension(rev # 22)

history
)
by
Rutherford
?
at February 21, 2024 at 07:32:16
homotopy limit
(
homotopy limit(rev # 110)

history
)
by
Dr.Wilson
?
at February 21, 2024 at 07:26:23
Nicola Gambino
(
Nicola Gambino(rev # 10)

history
)
by
Dr.Wilson
?
at February 21, 2024 at 07:24:43
first uncountable ordinal
(
first uncountable ordinal(rev # 7)

history
)
by
test
?
at February 21, 2024 at 07:21:04
integer
(
integer(rev # 40)

history
)
by
Anonymouse
?
at February 21, 2024 at 06:56:03
ordered integral domain
(
ordered integral domain(rev # 7)

history
)
by
Anonymouse
?
at February 21, 2024 at 06:55:30
Hermann Grassmann
(
Hermann Grassmann(rev # 9)

history
)
by
Anonymouse
?
at February 21, 2024 at 06:54:29
first uncountable ordinal
(
first uncountable ordinal(rev # 6)

history
)
by
Rutherford Hellen
?
at February 21, 2024 at 06:50:42
Richard Dedekind
(
Richard Dedekind(rev # 4)

history
)
by
Anonymouse
?
at February 21, 2024 at 06:20:10
Gustav Lejeune Dirichlet
by
Anonymouse
?
at February 21, 2024 at 06:19:57
field
(
field(rev # 72)

history
)
by
Anonymouse
?
at February 21, 2024 at 06:19:40
E. Hastings Moore
by
Anonymouse
?
at February 21, 2024 at 06:11:39
Heinrich Weber
(
Heinrich Weber(rev # 3)

history
)
by
Anonymouse
?
at February 21, 2024 at 05:57:45
balanced monoidal category
(
balanced monoidal category(rev # 9)

history
)
by
Urs Schreiber
at February 21, 2024 at 05:25:13
balanced monoidal category
(
balanced monoidal category(rev # 8)

history
)
by
Urs Schreiber
at February 21, 2024 at 04:39:35
open problems in homotopy type theory
(
open problems in homotopy type theory(rev # 27)

history
)
by
Ali Caglayan
at February 21, 2024 at 03:55:59
balanced monoidal category
(
balanced monoidal category(rev # 7)

history
)
by
Noah Snyder
at February 21, 2024 at 01:52:00
book homotopy type theory > history
(
book homotopy type theory > history(rev # 4)

history
)
by
Mike Shulman
at February 20, 2024 at 22:14:35
Book HoTT
(
Book HoTT(rev # 7)

history
)
by
Mike Shulman
at February 20, 2024 at 22:14:17
open problems in homotopy type theory
(
open problems in homotopy type theory(rev # 26)

history
)
by
Anonymouse
?
at February 20, 2024 at 19:49:52
set truncation
(
set truncation(rev # 9)

history
)
by
Anonymouse
?
at February 20, 2024 at 19:04:09
joint and marginal probability
(
joint and marginal probability(rev # 7)

history
)
by
paoloperrone
at February 20, 2024 at 18:46:22
WeilPetersson metric
(
WeilPetersson metric(rev # 2)

history
)
by
Samuel Adrian Antz
at February 20, 2024 at 18:24:19
Kolmogorov extension theorem
(
Kolmogorov extension theorem(rev # 8)

history
)
by
paoloperrone
at February 20, 2024 at 17:57:23
joint and marginal probability
(
joint and marginal probability(rev # 6)

history
)
by
paoloperrone
at February 20, 2024 at 17:57:06
monads of probability, measures, and valuations
(
monads of probability, measures, and valuations(rev # 40)

history
)
by
paoloperrone
at February 20, 2024 at 17:54:17
law of a random variable
(
law of a random variable(rev # 3)

history
)
by
paoloperrone
at February 20, 2024 at 17:43:27
D'AuriaFre formulation of supergravity
(
D'AuriaFre formulation of supergravity(rev # 100)

history
)
by
Urs Schreiber
at February 20, 2024 at 17:39:58
random variable
(
random variable(rev # 10)

history
)
by
paoloperrone
at February 20, 2024 at 17:39:11
joint and marginal probability
(
joint and marginal probability(rev # 5)

history
)
by
paoloperrone
at February 20, 2024 at 17:21:50
Markov category
(
Markov category(rev # 53)

history
)
by
paoloperrone
at February 20, 2024 at 17:16:28
first uncountable ordinal
(
first uncountable ordinal(rev # 5)

history
)
by
Urs Schreiber
at February 20, 2024 at 16:59:13
first uncountable ordinal
(
first uncountable ordinal(rev # 4)

history
)
by
Rosselyn Evies
?
at February 20, 2024 at 16:43:25
stochastic dependence and independence
(
stochastic dependence and independence(rev # 3)

history
)
by
paoloperrone
at February 20, 2024 at 16:01:52
Tarski universe
(
Tarski universe(rev # 43)

history
)
by
Anonymouse
?
at February 20, 2024 at 14:47:05
type of propositions
(
type of propositions(rev # 39)

history
)
by
Anonymouse
?
at February 20, 2024 at 14:46:35
pointed type
(
pointed type(rev # 9)

history
)
by
Anonymouse
?
at February 20, 2024 at 14:46:17
univalence axiom
(
univalence axiom(rev # 104)

history
)
by
Anonymouse
?
at February 20, 2024 at 14:46:05
univalence axiom
(
univalence axiom(rev # 103)

history
)
by
Anonymouse
?
at February 20, 2024 at 14:05:48
nconnected type
(
nconnected type(rev # 3)

history
)
by
Urs Schreiber
at February 20, 2024 at 13:02:32
ntruncation modality
(
ntruncation modality(rev # 18)

history
)
by
Urs Schreiber
at February 20, 2024 at 12:44:33
superCartan geometry
(
superCartan geometry(rev # 50)

history
)
by
Urs Schreiber
at February 20, 2024 at 11:03:46
Markov category
(
Markov category(rev # 52)

history
)
by
paoloperrone
at February 20, 2024 at 10:33:09
Yuval Ne'eman
by
Urs Schreiber
at February 20, 2024 at 09:45:01
flavour (particle physics)
(
flavour (particle physics)(rev # 37)

history
)
by
Urs Schreiber
at February 20, 2024 at 09:43:44
Tullio Regge
(
Tullio Regge(rev # 4)

history
)
by
Urs Schreiber
at February 20, 2024 at 09:37:50
D'AuriaFre formulation of supergravity
(
D'AuriaFre formulation of supergravity(rev # 99)

history
)
by
Urs Schreiber
at February 20, 2024 at 09:35:29
Sandbox
(
Sandbox(rev # 3277)

history
)
by
Anonymous
at February 20, 2024 at 09:21:06
Lucrezia Ravera
(
Lucrezia Ravera(rev # 7)

history
)
by
Urs Schreiber
at February 20, 2024 at 09:12:50
De Morgan Heyting algebra
(
De Morgan Heyting algebra(rev # 11)

history
)
by
Anonymouse
?
at February 20, 2024 at 05:53:07
axiom K (type theory)
(
axiom K (type theory)(rev # 31)

history
)
by
Anonymouse
?
at February 20, 2024 at 05:48:20
Lucrezia Ravera
(
Lucrezia Ravera(rev # 6)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:39:21
identity type
(
identity type(rev # 115)

history
)
by
Anonymouse
?
at February 20, 2024 at 05:38:29
superCartan geometry
(
superCartan geometry(rev # 49)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:38:08
nconnected type
(
nconnected type(rev # 2)

history
)
by
Anonymouse
?
at February 20, 2024 at 05:35:47
string scattering amplitude
(
string scattering amplitude(rev # 36)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:27:39
picture changing operator
(
picture changing operator(rev # 8)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:26:27
string theory
(
string theory(rev # 119)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:24:27
Mario Trigiante
(
Mario Trigiante(rev # 2)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:00:57
Lucrezia Ravera
(
Lucrezia Ravera(rev # 5)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:00:34
Pietro Antonio Grassi
(
Pietro Antonio Grassi(rev # 13)

history
)
by
Urs Schreiber
at February 20, 2024 at 05:00:07
Riccardo D'Auria
(
Riccardo D'Auria(rev # 9)

history
)
by
Urs Schreiber
at February 20, 2024 at 04:59:38
C. A. Cremonini
(
C. A. Cremonini(rev # 5)

history
)
by
Urs Schreiber
at February 20, 2024 at 04:59:12
Laura Andrianopoli
(
Laura Andrianopoli(rev # 6)

history
)
by
Urs Schreiber
at February 20, 2024 at 04:58:43
selfdual higher gauge theory
(
selfdual higher gauge theory(rev # 68)

history
)
by
Urs Schreiber
at February 20, 2024 at 04:57:02
sequential spectrum type
(
sequential spectrum type(rev # 8)

history
)
by
Anonymouse
?
at February 20, 2024 at 04:42:57
regular hyperdoctrine
(
regular hyperdoctrine(rev # 5)

history
)
by
Mike Shulman
at February 19, 2024 at 22:43:15
string theory
(
string theory(rev # 118)

history
)
by
perezl.alonso
at February 19, 2024 at 19:53:38
Sandbox
(
Sandbox(rev # 3276)

history
)
by
Anonymous
at February 19, 2024 at 19:47:10
topological cyclic homology
(
topological cyclic homology(rev # 22)

history
)
by
Sophus Willumsgaard
?
at February 19, 2024 at 19:08:22
FreundRubin compactification
(
FreundRubin compactification(rev # 18)

history
)
by
Urs Schreiber
at February 19, 2024 at 17:33:08
D'AuriaFre formulation of supergravity
(
D'AuriaFre formulation of supergravity(rev # 98)

history
)
by
Urs Schreiber
at February 19, 2024 at 17:32:46
representability determines functoriality
(
representability determines functoriality(rev # 12)

history
)
by
Urs Schreiber
at February 19, 2024 at 17:05:25
Sandbox
(
Sandbox(rev # 3275)

history
)
by
Anonymous
at February 19, 2024 at 16:13:14
representability determines functoriality
(
representability determines functoriality(rev # 11)

history
)
by
Bartosz Milewski
?
at February 19, 2024 at 16:09:54
AdSCFT in condensed matter physics
(
AdSCFT in condensed matter physics(rev # 45)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:53:55
MTheory and Mathematics
(
MTheory and Mathematics(rev # 97)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:53:01
graphene
(
graphene(rev # 19)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:45:53
Bianca Cerchiai
(
Bianca Cerchiai(rev # 7)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:43:14
Laura Andrianopoli
(
Laura Andrianopoli(rev # 5)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:42:01
Riccardo D'Auria
(
Riccardo D'Auria(rev # 8)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:41:33
Mario Trigiante
(
Mario Trigiante(rev # 1)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:41:09
magic supergravity
(
magic supergravity(rev # 5)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:18:57
Alessio Marrani
(
Alessio Marrani(rev # 7)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:18:26
MTheory and Mathematics
(
MTheory and Mathematics(rev # 96)

history
)
by
Urs Schreiber
at February 19, 2024 at 15:04:59
Corina Keller
(
Corina Keller(rev # 3)

history
)
by
Calaque Damien
?
at February 19, 2024 at 12:59:46
intermediate value theorem
(
intermediate value theorem(rev # 23)

history
)
by
Luna Strah
?
at February 19, 2024 at 12:40:51
quantum field theory
(
quantum field theory(rev # 55)

history
)
by
Urs Schreiber
at February 19, 2024 at 12:19:51
D=11 N=1 supergravity
(
D=11 N=1 supergravity(rev # 80)

history
)
by
Urs Schreiber
at February 19, 2024 at 12:07:55
supergravity
(
supergravity(rev # 92)

history
)
by
Urs Schreiber
at February 19, 2024 at 11:06:35
Ergin Sezgin
(
Ergin Sezgin(rev # 15)

history
)
by
Urs Schreiber
at February 19, 2024 at 11:05:43
Abdus Salam
(
Abdus Salam(rev # 5)

history
)
by
Urs Schreiber
at February 19, 2024 at 11:05:19
Michael Duff
(
Michael Duff(rev # 30)

history
)
by
Urs Schreiber
at February 19, 2024 at 10:44:43
Steven Weinberg
(
Steven Weinberg(rev # 13)

history
)
by
Urs Schreiber
at February 19, 2024 at 10:21:32
quantum field theory
(
quantum field theory(rev # 54)

history
)
by
Urs Schreiber
at February 19, 2024 at 10:19:53
supersymmetry
(
supersymmetry(rev # 104)

history
)
by
Urs Schreiber
at February 19, 2024 at 10:15:50
supersymmetry
(
supersymmetry(rev # 103)

history
)
by
Urs Schreiber
at February 19, 2024 at 10:14:05
Joël Scherk
(
Joël Scherk(rev # 5)

history
)
by
Urs Schreiber
at February 19, 2024 at 09:59:27
D=4 supergravity
(
D=4 supergravity(rev # 43)

history
)
by
Urs Schreiber
at February 19, 2024 at 09:55:56
« Previous
1
2
3
4
5
6
7
8
9
10
Next »