nLab
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Gray tensor product
(
Gray tensor product(rev # 26)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 17:53:01
canonical model structure on 2-categories
(
canonical model structure on 2-categories(rev # 7)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 17:39:55
Stephen Lack
(
Stephen Lack(rev # 16)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 17:37:59
homotopy in a model category
(
homotopy in a model category(rev # 9)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 16:13:39
modification
(
modification(rev # 22)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 16:07:48
quiver (editor)
(
quiver (editor)(rev # 6)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 15:37:50
equivalence of categories
(
equivalence of categories(rev # 46)
|
history
)
by
varkor
at August 29, 2025 at 15:13:20
homotopy in a model category
(
homotopy in a model category(rev # 8)
|
history
)
by
bpaul
?
at August 29, 2025 at 14:45:26
homotopy in a model category
(
homotopy in a model category(rev # 7)
|
history
)
by
_boundless_recursion
?
at August 29, 2025 at 14:41:27
pseudonatural transformation
(
pseudonatural transformation(rev # 16)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 13:30:54
list of journals publishing homotopy theory and category theory
(
list of journals publishing homotopy theory and category theory(rev # 41)
|
history
)
by
Ivan
?
at August 29, 2025 at 10:38:53
pseudonatural transformation
(
pseudonatural transformation(rev # 15)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 09:29:15
A study in derived algebraic geometry
(
A study in derived algebraic geometry(rev # 10)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 08:51:09
Gray tensor product
(
Gray tensor product(rev # 25)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 08:50:23
Félix Loubaton
by
Urs Schreiber
at August 29, 2025 at 08:48:53
Jaco Ruit
(
Jaco Ruit(rev # 8)
|
history
)
by
Urs Schreiber
at August 29, 2025 at 08:45:45
Giry monad
(
Giry monad(rev # 92)
|
history
)
by
Kirk Sturtz
at August 29, 2025 at 04:26:53
A study in derived algebraic geometry
(
A study in derived algebraic geometry(rev # 9)
|
history
)
by
David Roberts
?
at August 29, 2025 at 04:16:39
Giry monad
(
Giry monad(rev # 91)
|
history
)
by
Kirk Sturtz
at August 29, 2025 at 03:46:13
Bruno Bentzen
(
Bruno Bentzen(rev # 6)
|
history
)
by
Bruno Bentzen
at August 29, 2025 at 01:56:07
intuitionistic mathematics
(
intuitionistic mathematics(rev # 40)
|
history
)
by
Bruno Bentzen
at August 29, 2025 at 01:54:36
absolutely dense functor
(
absolutely dense functor(rev # 8)
|
history
)
by
Dmitri Pavlov
at August 28, 2025 at 15:45:26
locally connected topos
(
locally connected topos(rev # 25)
|
history
)
by
qschroed
?
at August 28, 2025 at 13:34:15
absolutely dense functor
(
absolutely dense functor(rev # 7)
|
history
)
by
varkor
at August 28, 2025 at 09:40:30
module over a monad
(
module over a monad(rev # 40)
|
history
)
by
varkor
at August 28, 2025 at 09:07:32
weak morphism classifier
(
weak morphism classifier(rev # 3)
|
history
)
by
varkor
at August 28, 2025 at 08:54:40
geometric Langlands correspondence
(
geometric Langlands correspondence(rev # 63)
|
history
)
by
David Corfield
at August 28, 2025 at 07:33:58
pseudofunctor
(
pseudofunctor(rev # 33)
|
history
)
by
varkor
at August 28, 2025 at 07:21:02
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 464)
|
history
)
by
Urs Schreiber
at August 27, 2025 at 18:14:27
E-infinity-ring
(
E-infinity-ring(rev # 34)
|
history
)
by
Joshua Mundinger
?
at August 27, 2025 at 17:08:48
Hopf algebroid
(
Hopf algebroid(rev # 48)
|
history
)
by
qschroed
?
at August 27, 2025 at 11:48:24
quantum anomalous Hall effect
(
quantum anomalous Hall effect(rev # 27)
|
history
)
by
Urs Schreiber
at August 27, 2025 at 11:17:07
topological vector bundle
(
topological vector bundle(rev # 49)
|
history
)
by
Qin Yuxuan
?
at August 27, 2025 at 09:07:08
Grothendieck fibration
(
Grothendieck fibration(rev # 124)
|
history
)
by
nayan
?
at August 26, 2025 at 18:35:16
Grothendieck fibration
(
Grothendieck fibration(rev # 123)
|
history
)
by
nayan
?
at August 26, 2025 at 18:35:10
Evan Patterson
(
Evan Patterson(rev # 3)
|
history
)
by
Urs Schreiber
at August 26, 2025 at 16:51:49
Evan Patterson
(
Evan Patterson(rev # 2)
|
history
)
by
David Corfield
at August 26, 2025 at 13:24:09
doctrine
(
doctrine(rev # 22)
|
history
)
by
David Corfield
at August 26, 2025 at 13:23:34
Dehn-Nielsen-Baer theorem
(
Dehn-Nielsen-Baer theorem(rev # 2)
|
history
)
by
Urs Schreiber
at August 26, 2025 at 09:43:47
topological G-space
(
topological G-space(rev # 50)
|
history
)
by
Urs Schreiber
at August 26, 2025 at 08:29:34
Bondi-Metzner-Sachs group
(
Bondi-Metzner-Sachs group(rev # 6)
|
history
)
by
Urs Schreiber
at August 26, 2025 at 06:26:58
Grothendieck fibration
(
Grothendieck fibration(rev # 122)
|
history
)
by
Axel Boldt
?
at August 26, 2025 at 00:44:12
fundamental groupoid
(
fundamental groupoid(rev # 45)
|
history
)
by
Axel Boldt
?
at August 25, 2025 at 23:56:38
fundamental 2-groupoid
(
fundamental 2-groupoid(rev # 2)
|
history
)
by
Axel Boldt
?
at August 25, 2025 at 22:54:04
equivariant K-theory
(
equivariant K-theory(rev # 73)
|
history
)
by
perezl.alonso
at August 25, 2025 at 20:27:09
differential K-theory
(
differential K-theory(rev # 49)
|
history
)
by
perezl.alonso
at August 25, 2025 at 20:03:36
John Ratcliffe
(
John Ratcliffe(rev # 3)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 17:27:01
Peter Scott
by
Urs Schreiber
at August 25, 2025 at 14:22:08
Seifert fibration
(
Seifert fibration(rev # 18)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 14:20:56
geometrization conjecture
(
geometrization conjecture(rev # 7)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 14:16:06
orbifold
(
orbifold(rev # 119)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 14:13:39
3-manifold
(
3-manifold(rev # 34)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 14:12:17
Dehn-Nielsen-Baer theorem
(
Dehn-Nielsen-Baer theorem(rev # 1)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:37:47
Jakob Nielsen
(
Jakob Nielsen(rev # 4)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:31:47
Nielsen invariant
(
Nielsen invariant(rev # 2)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:31:08
mapping class group
(
mapping class group(rev # 43)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:24:26
Max Dehn
(
Max Dehn(rev # 2)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:24:01
Hansjörg Geiges
(
Hansjörg Geiges(rev # 3)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:22:44
surface
(
surface(rev # 32)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:20:04
John Stillwell
(
John Stillwell(rev # 2)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:17:40
Sandbox
(
Sandbox(rev # 3749)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 13:04:27
Dehn surgery
(
Dehn surgery(rev # 8)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 12:58:51
Dehn twist
(
Dehn twist(rev # 4)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 12:58:21
Sandbox
(
Sandbox(rev # 3748)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 12:02:26
mapping class group
(
mapping class group(rev # 42)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 11:49:26
Artan Sheshmani
(
Artan Sheshmani(rev # 4)
|
history
)
by
Annonymous
?
at August 25, 2025 at 10:06:38
3-manifold
(
3-manifold(rev # 33)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 09:11:03
phase space
(
phase space(rev # 77)
|
history
)
by
Hayley Watson
?
at August 25, 2025 at 08:55:54
mapping class group
(
mapping class group(rev # 41)
|
history
)
by
Urs Schreiber
at August 25, 2025 at 08:06:55
Lagrangian density
(
Lagrangian density(rev # 23)
|
history
)
by
Hayley Watson
?
at August 25, 2025 at 07:50:43
Hamiltonian
(
Hamiltonian(rev # 27)
|
history
)
by
Hayley Watson
?
at August 25, 2025 at 07:40:12
Artan Sheshmani
(
Artan Sheshmani(rev # 3)
|
history
)
by
Annonymous
?
at August 24, 2025 at 19:43:53
effects of foundations on core mathematics
(
effects of foundations on core mathematics(rev # 26)
|
history
)
by
Jonas Frey
at August 24, 2025 at 16:09:12
parabolic geometry
(
parabolic geometry(rev # 19)
|
history
)
by
An
?
at August 24, 2025 at 10:57:05
Nima Rasekh
(
Nima Rasekh(rev # 13)
|
history
)
by
Urs Schreiber
at August 24, 2025 at 10:44:52
two-dimensional category theory
(
two-dimensional category theory(rev # 2)
|
history
)
by
Urs Schreiber
at August 24, 2025 at 10:34:38
2-limit
(
2-limit(rev # 2)
|
history
)
by
Urs Schreiber
at August 24, 2025 at 10:33:42
simplicial type theory
(
simplicial type theory(rev # 56)
|
history
)
by
Robert Johnson
?
at August 24, 2025 at 10:32:09
strict 2-limit
(
strict 2-limit(rev # 20)
|
history
)
by
varkor
at August 24, 2025 at 09:14:22
two-dimensional category theory
(
two-dimensional category theory(rev # 1)
|
history
)
by
varkor
at August 24, 2025 at 09:10:44
2-limit
(
2-limit(rev # 1)
|
history
)
by
varkor
at August 24, 2025 at 09:08:35
bicategorical limit
(
bicategorical limit(rev # 64)
|
history
)
by
varkor
at August 24, 2025 at 09:08:19
busy beaver function
(
busy beaver function(rev # 5)
|
history
)
by
David Roberts
at August 24, 2025 at 05:11:05
dense functor
(
dense functor(rev # 36)
|
history
)
by
Dmitri Pavlov
at August 24, 2025 at 02:04:00
busy beaver function
(
busy beaver function(rev # 4)
|
history
)
by
Dmitri Pavlov
at August 24, 2025 at 01:14:31
infinity-Chern-Weil theory introduction
(
infinity-Chern-Weil theory introduction(rev # 123)
|
history
)
by
Jesus Lopez
?
at August 24, 2025 at 00:03:34
dense functor
(
dense functor(rev # 35)
|
history
)
by
Dmitri Pavlov
at August 23, 2025 at 20:40:25
Jon Beck
(
Jon Beck(rev # 13)
|
history
)
by
Urs Schreiber
at August 23, 2025 at 19:23:13
monadicity theorem
(
monadicity theorem(rev # 62)
|
history
)
by
Urs Schreiber
at August 23, 2025 at 19:22:43
pre-net
(
pre-net(rev # 4)
|
history
)
by
Mike Shulman
at August 23, 2025 at 18:34:01
Fox derivative
(
Fox derivative(rev # 26)
|
history
)
by
Urs Schreiber
at August 23, 2025 at 17:36:02
Borsuk's shape theory
(
Borsuk's shape theory(rev # 10)
|
history
)
by
Todd Trimble
at August 23, 2025 at 15:47:27
augmented algebra
(
augmented algebra(rev # 7)
|
history
)
by
Urs Schreiber
at August 23, 2025 at 15:18:37
Fox derivative
(
Fox derivative(rev # 25)
|
history
)
by
Urs Schreiber
at August 23, 2025 at 15:17:11
left Fox derivative > history
(
left Fox derivative > history(rev # 2)
|
history
)
by
Urs Schreiber
at August 23, 2025 at 15:12:45
real number
(
real number(rev # 98)
|
history
)
by
p
?
at August 23, 2025 at 13:48:15
constructive mathematics
(
constructive mathematics(rev # 100)
|
history
)
by
p
?
at August 23, 2025 at 13:46:53
Cauchy real number
(
Cauchy real number(rev # 51)
|
history
)
by
p
?
at August 23, 2025 at 13:46:09
analytic LPO
(
analytic LPO(rev # 16)
|
history
)
by
p
?
at August 23, 2025 at 13:45:19
irrational number
(
irrational number(rev # 20)
|
history
)
by
p
?
at August 23, 2025 at 13:42:50
« Previous
1
2
3
4
5
6
7
8
9
10
Next »