nLab Latest Revisions

• sequentially complete space ( sequentially complete space(rev # 8) | history )
  by Ian Potter? at October 5, 2026 at 05:43:29
• Cauchy sequence ( Cauchy sequence(rev # 21) | history )
  by Ian Potter? at October 5, 2026 at 05:40:31
• automorphism infinity-group ( automorphism infinity-group(rev # 16) | history )
  by Urs Schreiber at October 5, 2026 at 05:34:20
• 2-crossed module ( 2-crossed module(rev # 27) | history )
  by Urs Schreiber at October 5, 2026 at 05:27:00
• Jorge Santos ( Jorge Santos(rev # 6) | history )
  by Urs Schreiber at October 5, 2026 at 05:22:20
• BMN matrix model ( BMN matrix model(rev # 49) | history )
  by Urs Schreiber at October 5, 2026 at 05:21:44
• premetric space (Gilbert) ( premetric space (Gilbert)(rev # 3) | history )
  by Ian Potter? at October 5, 2026 at 05:21:25
• premetric space ( premetric space(rev # 6) | history )
  by Ian Potter? at October 5, 2026 at 05:17:35
• premetric space (Richman) ( premetric space (Richman)(rev # 6) | history )
  by Urs Schreiber at October 5, 2026 at 05:10:49
• premetric space (Booij) ( premetric space (Booij)(rev # 17) | history )
  by Urs Schreiber at October 5, 2026 at 05:10:33
• premetric space ( premetric space(rev # 5) | history )
  by Urs Schreiber at October 5, 2026 at 05:10:05
• premetric space (Gilbert) ( premetric space (Gilbert)(rev # 2) | history )
  by Urs Schreiber at October 5, 2026 at 05:08:14
• premetric space ( premetric space(rev # 4) | history )
  by Ian Potter? at October 5, 2026 at 05:07:53
• premetric space (Booij) ( premetric space (Booij)(rev # 16) | history )
  by Ian Potter? at October 5, 2026 at 05:07:41
• Cauchy sequence ( Cauchy sequence(rev # 20) | history )
  by Ian Potter? at October 5, 2026 at 05:07:17
• premetric space (Booij) ( premetric space (Booij)(rev # 15) | history )
  by Urs Schreiber at October 5, 2026 at 05:04:29
• premetric space (Gilbert) ( premetric space (Gilbert)(rev # 1) | history )
  by Ian Potter? at October 5, 2026 at 05:02:02
• premetric space (Booij) ( premetric space (Booij)(rev # 14) | history )
  by Ian Potter? at October 5, 2026 at 04:45:33
• sequentially complete space ( sequentially complete space(rev # 7) | history )
  by Ian Potter? at October 5, 2026 at 04:37:19
• premetric space ( premetric space(rev # 3) | history )
  by Ian Potter? at October 5, 2026 at 04:23:36
• premetric space (Richman) ( premetric space (Richman)(rev # 5) | history )
  by Ian Potter? at October 5, 2026 at 04:09:21
• premetric space (Booij) ( premetric space (Booij)(rev # 13) | history )
  by Ian Potter? at October 5, 2026 at 04:07:12
• paracompact topological space ( paracompact topological space(rev # 77) | history )
  by Ben Eltschig? at October 5, 2026 at 04:00:47
• simplicial type theory ( simplicial type theory(rev # 64) | history )
  by Ian Potter? at October 5, 2026 at 03:53:44
• higher algebra ( higher algebra(rev # 34) | history )
  by Ian Potter? at October 5, 2026 at 03:53:29
• measurable space ( measurable space(rev # 67) | history )
  by kirk_sturtz? at October 4, 2026 at 23:48:53
• Sandbox ( Sandbox(rev # 4076) | history )
  by Urs Schreiber at October 4, 2026 at 15:55:47
• Weierstrass factorization theorem ( Weierstrass factorization theorem(rev # 4) | history )
  by William Taft? at October 4, 2026 at 15:40:10
• cyclic loop space ( cyclic loop space(rev # 20) | history )
  by Urs Schreiber at October 4, 2026 at 15:40:01
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 65) | history )
  by Urs Schreiber at October 4, 2026 at 09:22:09
• Brillouin zone ( Brillouin zone(rev # 3) | history )
  by Urs Schreiber at October 4, 2026 at 09:18:08
• category-theoretic approaches to probability theory ( category-theoretic approaches to probability theory(rev # 58) | history )
  by kirk_sturtz? at October 4, 2026 at 08:21:28
• table of probability monads ( table of probability monads(rev # 3) | history )
  by kirk_sturtz? at October 4, 2026 at 01:12:08
• flat functor ( flat functor(rev # 45) | history )
  by Jonas Frey at October 4, 2026 at 00:56:27
• Giry monad ( Giry monad(rev # 145) | history )
  by kirk_sturtz? at October 3, 2026 at 23:30:12
• Miguel L. Laplaza ( Miguel L. Laplaza(rev # 2) | history )
  by Dmitri Pavlov at October 3, 2026 at 21:06:33
• cyclic loop space ( cyclic loop space(rev # 19) | history )
  by Urs Schreiber at October 3, 2026 at 17:51:23
• Byungdo Park ( Byungdo Park(rev # 3) | history )
  by Urs Schreiber at October 3, 2026 at 17:15:22
• Corbett Redden ( Corbett Redden(rev # 6) | history )
  by Urs Schreiber at October 3, 2026 at 17:13:50
• Sandbox ( Sandbox(rev # 4075) | history )
  by Urs Schreiber at October 3, 2026 at 17:00:12
• equivariant ordinary differential cohomology ( equivariant ordinary differential cohomology(rev # 11) | history )
  by Urs Schreiber at October 3, 2026 at 16:50:44
• Sandbox2 ( Sandbox2(rev # 156) | history )
  by Christian? at October 3, 2026 at 13:19:37
• cyclic loop space ( cyclic loop space(rev # 18) | history )
  by Urs Schreiber at October 3, 2026 at 09:25:00
• Sandbox ( Sandbox(rev # 4074) | history )
  by Urs Schreiber at October 3, 2026 at 09:08:48
• surface ( surface(rev # 35) | history )
  by Urs Schreiber at October 3, 2026 at 08:54:36
• hom-object ( hom-object(rev # 18) | history )
  by Mister Monad? at October 3, 2026 at 07:59:30
• Applied Category Theory conference ( Applied Category Theory conference(rev # 4) | history )
  by Tobias Fritz at October 3, 2026 at 07:12:40
• monadic adjunction ( monadic adjunction(rev # 30) | history )
  by Urs Schreiber at October 3, 2026 at 06:45:29
• monadic adjunction ( monadic adjunction(rev # 29) | history )
  by Gnampfissimo? at October 3, 2026 at 05:22:57
• abstraction ( abstraction(rev # 27) | history )
  by deomorxsy? at October 3, 2026 at 03:43:38
• Giry monad ( Giry monad(rev # 144) | history )
  by kirk_sturtz? at October 3, 2026 at 00:32:52
• Weierstrass factorization theorem ( Weierstrass factorization theorem(rev # 3) | history )
  by William Taft? at October 2, 2026 at 18:52:11
• entire function ( entire function(rev # 7) | history )
  by William Taft? at October 2, 2026 at 17:49:52
• monadic adjunction ( monadic adjunction(rev # 28) | history )
  by Urs Schreiber at October 2, 2026 at 17:23:10
• Toposes, Triples, and Theories ( Toposes, Triples, and Theories(rev # 8) | history )
  by Urs Schreiber at October 2, 2026 at 17:21:44
• Weierstrass factorization theorem ( Weierstrass factorization theorem(rev # 2) | history )
  by Urs Schreiber at October 2, 2026 at 17:16:12
• Olaf Lechtenfeld ( Olaf Lechtenfeld(rev # 14) | history )
  by Urs Schreiber at October 2, 2026 at 16:57:00
• Nicolai map ( Nicolai map(rev # 11) | history )
  by Urs Schreiber at October 2, 2026 at 16:56:29
• monadic adjunction ( monadic adjunction(rev # 27) | history )
  by Gnampfissimo? at October 2, 2026 at 16:55:16
• type II geometry ( type II geometry(rev # 19) | history )
  by Urs Schreiber at October 2, 2026 at 16:54:06
• Wigner classification ( Wigner classification(rev # 14) | history )
  by Urs Schreiber at October 2, 2026 at 16:51:58
• D=11 N=1 supergravity ( D=11 N=1 supergravity(rev # 119) | history )
  by Urs Schreiber at October 2, 2026 at 16:50:00
• algebraically closed field ( algebraically closed field(rev # 33) | history )
  by William Taft? at October 2, 2026 at 16:30:37
• Weierstrass factorization theorem ( Weierstrass factorization theorem(rev # 1) | history )
  by William Taft? at October 2, 2026 at 16:30:12
• fundamental theorem of algebra ( fundamental theorem of algebra(rev # 79) | history )
  by William Taft? at October 2, 2026 at 16:23:32
• dual adjunction ( dual adjunction(rev # 9) | history )
  by Elías Guisado? at October 2, 2026 at 13:40:18
• mate ( mate(rev # 28) | history )
  by Elías Guisado? at October 2, 2026 at 13:25:50
• Category Theory in Context ( Category Theory in Context(rev # 8) | history )
  by Elías Guisado? at October 2, 2026 at 13:24:30
• double category ( double category(rev # 107) | history )
  by Elías Guisado? at October 2, 2026 at 13:18:25
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 64) | history )
  by Urs Schreiber at October 2, 2026 at 12:05:57
• Xiao-Liang Qi ( Xiao-Liang Qi(rev # 10) | history )
  by Urs Schreiber at October 2, 2026 at 12:05:32
• Bloch's theorem ( Bloch's theorem(rev # 16) | history )
  by Urs Schreiber at October 2, 2026 at 12:05:08
• David Vanderbilt ( David Vanderbilt(rev # 2) | history )
  by Urs Schreiber at October 2, 2026 at 11:20:06
• Bloch's theorem ( Bloch's theorem(rev # 15) | history )
  by Urs Schreiber at October 2, 2026 at 11:19:51
• Giry monad ( Giry monad(rev # 143) | history )
  by kirk_sturtz? at October 2, 2026 at 11:13:27
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 63) | history )
  by Urs Schreiber at October 2, 2026 at 10:20:49
• Bertrand Halperin ( Bertrand Halperin(rev # 11) | history )
  by Urs Schreiber at October 2, 2026 at 10:05:09
• observation of anyons in fractional quantum Hall systems -- references ( observation of anyons in fractional quantum Hall systems -- references(rev # 17) | history )
  by Urs Schreiber at October 2, 2026 at 10:04:40
• projector ( projector(rev # 4) | history )
  by Kasimir? at October 2, 2026 at 09:41:56
• bra-ket ( bra-ket(rev # 9) | history )
  by Can? at October 2, 2026 at 08:38:01
• quantum metric ( quantum metric(rev # 3) | history )
  by Urs Schreiber at October 1, 2026 at 16:45:39
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 62) | history )
  by Urs Schreiber at October 1, 2026 at 15:35:10
• Xiao-Liang Qi ( Xiao-Liang Qi(rev # 9) | history )
  by Urs Schreiber at October 1, 2026 at 15:33:42
• Bloch's theorem ( Bloch's theorem(rev # 14) | history )
  by Urs Schreiber at October 1, 2026 at 15:33:11
• quantum metric ( quantum metric(rev # 2) | history )
  by Urs Schreiber at October 1, 2026 at 15:10:13
• Qi Zhu ( Qi Zhu(rev # 10) | history )
  by Urs Schreiber at October 1, 2026 at 14:14:20
• big and little toposes ( big and little toposes(rev # 46) | history )
  by Urs Schreiber at October 1, 2026 at 14:13:49
• braid group statistics ( braid group statistics(rev # 77) | history )
  by Urs Schreiber at October 1, 2026 at 14:02:15
• quantum simulation ( quantum simulation(rev # 13) | history )
  by Urs Schreiber at October 1, 2026 at 13:59:48
• quantum simulation of anyons -- references ( quantum simulation of anyons -- references(rev # 1) | history )
  by Urs Schreiber at October 1, 2026 at 13:58:48
• Sandbox ( Sandbox(rev # 4073) | history )
  by Urs Schreiber at October 1, 2026 at 13:56:45
• topological quantum computation with anyons -- references ( topological quantum computation with anyons -- references(rev # 57) | history )
  by Urs Schreiber at October 1, 2026 at 13:55:01
• Mohsin Iqbal ( Mohsin Iqbal(rev # 2) | history )
  by Urs Schreiber at October 1, 2026 at 12:34:10
• coordinate-free spectrum ( coordinate-free spectrum(rev # 17) | history )
  by Urs Schreiber at October 1, 2026 at 07:07:01
• Handbook of Algebraic Topology ( Handbook of Algebraic Topology(rev # 17) | history )
  by Urs Schreiber at October 1, 2026 at 07:05:54
• coordinate-free spectrum ( coordinate-free spectrum(rev # 16) | history )
  by Urs Schreiber at October 1, 2026 at 05:17:28
• Modern foundations for stable homotopy theory ( Modern foundations for stable homotopy theory(rev # 6) | history )
  by Urs Schreiber at October 1, 2026 at 05:13:50
• IKKT matrix model ( IKKT matrix model(rev # 64) | history )
  by Urs Schreiber at October 1, 2026 at 04:56:42
• Giry monad ( Giry monad(rev # 142) | history )
  by kirk_sturtz? at October 1, 2026 at 00:21:41
• coordinate-free spectrum ( coordinate-free spectrum(rev # 15) | history )
  by deomorxsy? at September 30, 2026 at 20:52:44