nLab Latest Revisions

• Whitehead tower ( Whitehead tower(rev # 37) | history )
  by Jin? at January 3, 2025 at 20:05:06
• H-space ( H-space(rev # 55) | history )
  by Jesus Lopez? at January 3, 2025 at 18:00:19
• Thomas Streicher ( Thomas Streicher(rev # 13) | history )
  by Urs Schreiber at January 3, 2025 at 14:05:55
• bicrossed product ( bicrossed product(rev # 7) | history )
  by David Corfield at January 3, 2025 at 13:59:07
• cohomotopy ( cohomotopy(rev # 112) | history )
  by Urs Schreiber at January 3, 2025 at 12:47:12
• Sandbox ( Sandbox(rev # 3502) | history )
  by Urs Schreiber at January 3, 2025 at 12:45:34
• adjacency matrix ( adjacency matrix(rev # 2) | history )
  by Tomas? at January 3, 2025 at 12:39:55
• Aleksandar Mikovic ( Aleksandar Mikovic(rev # 5) | history )
  by Urs Schreiber at January 3, 2025 at 11:30:31
• piecewise flat spacetime ( piecewise flat spacetime(rev # 17) | history )
  by Urs Schreiber at January 3, 2025 at 11:29:58
• Connes-Lott-Chamseddine-Barrett model ( Connes-Lott-Chamseddine-Barrett model(rev # 22) | history )
  by Urs Schreiber at January 3, 2025 at 11:17:48
• Sadok Kallel ( Sadok Kallel(rev # 11) | history )
  by Urs Schreiber at January 3, 2025 at 10:34:48
• cohomotopy ( cohomotopy(rev # 111) | history )
  by Urs Schreiber at January 3, 2025 at 10:34:27
• true proposition ( true proposition(rev # 18) | history )
  by Valeria de Paiva at January 3, 2025 at 02:33:20
• truth value ( truth value(rev # 25) | history )
  by Valeria de Paiva at January 3, 2025 at 02:32:29
• proposition ( proposition(rev # 25) | history )
  by Valeria de Paiva at January 3, 2025 at 02:31:33
• axiom ( axiom(rev # 17) | history )
  by Valeria de Paiva at January 3, 2025 at 02:30:51
• Hilbert's program ( Hilbert's program(rev # 3) | history )
  by Valeria de Paiva at January 3, 2025 at 02:29:52
• proof ( proof(rev # 40) | history )
  by Valeria de Paiva at January 3, 2025 at 02:28:17
• proof theory ( proof theory(rev # 11) | history )
  by Valeria de Paiva at January 3, 2025 at 02:27:33
• foundation of mathematics ( foundation of mathematics(rev # 116) | history )
  by Valeria de Paiva at January 3, 2025 at 02:25:44
• irreflexive symmetric relation ( irreflexive symmetric relation(rev # 11) | history )
  by Anonymouse? at January 3, 2025 at 02:22:52
• Curry's paradox ( Curry's paradox(rev # 5) | history )
  by Valeria de Paiva at January 3, 2025 at 02:21:29
• axiom of full comprehension ( axiom of full comprehension(rev # 7) | history )
  by Valeria de Paiva at January 3, 2025 at 02:19:19
• antithesis partial order
  by Anonymouse? at January 3, 2025 at 02:08:54
• ordered Kock field ( ordered Kock field(rev # 7) | history )
  by Anonymouse? at January 3, 2025 at 02:07:35
• antithesis interpretation ( antithesis interpretation(rev # 8) | history )
  by Anonymouse? at January 3, 2025 at 01:30:42
• partial order ( partial order(rev # 66) | history )
  by Anonymouse? at January 3, 2025 at 01:29:33
• zero-dimensional ring ( zero-dimensional ring(rev # 2) | history )
  by Anonymouse? at January 3, 2025 at 01:19:36
• von Neumann regular ring ( von Neumann regular ring(rev # 23) | history )
  by Anonymouse? at January 3, 2025 at 00:56:39
• zero-dimensional ring ( zero-dimensional ring(rev # 1) | history )
  by Anonymouse? at January 3, 2025 at 00:41:36
• Artinian local ring ( Artinian local ring(rev # 16) | history )
  by Anonymouse? at January 3, 2025 at 00:37:12
• prefield ring ( prefield ring(rev # 22) | history )
  by Anonymouse? at January 2, 2025 at 23:56:55
• ring ( ring(rev # 99) | history )
  by Anonymouse? at January 2, 2025 at 23:47:05
• Dan Margalit ( Dan Margalit(rev # 3) | history )
  by Urs Schreiber at January 2, 2025 at 23:09:38
• Benson Farb ( Benson Farb(rev # 3) | history )
  by Urs Schreiber at January 2, 2025 at 23:07:25
• mapping class group ( mapping class group(rev # 21) | history )
  by Urs Schreiber at January 2, 2025 at 23:06:40
• integer ( integer(rev # 43) | history )
  by Anonymouse? at January 2, 2025 at 23:02:00
• trivial ring ( trivial ring(rev # 8) | history )
  by Anonymouse? at January 2, 2025 at 22:59:18
• tight apartness ring ( tight apartness ring(rev # 2) | history )
  by Anonymouse? at January 2, 2025 at 22:57:48
• Gwénaël Massuyeau
  by Urs Schreiber at January 2, 2025 at 22:54:37
• braid group ( braid group(rev # 71) | history )
  by Urs Schreiber at January 2, 2025 at 22:49:17
• tight apartness ring ( tight apartness ring(rev # 1) | history )
  by Anonymouse? at January 2, 2025 at 22:21:56
• normed ring ( normed ring(rev # 19) | history )
  by Anonymouse? at January 2, 2025 at 22:20:55
• totally ordered ring ( totally ordered ring(rev # 7) | history )
  by Anonymouse? at January 2, 2025 at 22:20:45
• pseudo-ordered ring ( pseudo-ordered ring(rev # 8) | history )
  by Anonymouse? at January 2, 2025 at 22:20:34
• integral domain ( integral domain(rev # 31) | history )
  by Anonymouse? at January 2, 2025 at 22:20:17
• Heyting field ( Heyting field(rev # 9) | history )
  by Anonymouse? at January 2, 2025 at 22:20:04
• apartness ring ( apartness ring(rev # 5) | history )
  by Anonymouse? at January 2, 2025 at 22:17:44
• Heisenberg group ( Heisenberg group(rev # 23) | history )
  by Urs Schreiber at January 2, 2025 at 22:06:45
• one-point compactification ( one-point compactification(rev # 52) | history )
  by Urs Schreiber at January 2, 2025 at 18:21:18
• end compactification ( end compactification(rev # 7) | history )
  by Urs Schreiber at January 2, 2025 at 17:43:29
• mapping class group ( mapping class group(rev # 20) | history )
  by Urs Schreiber at January 2, 2025 at 16:49:33
• braid group ( braid group(rev # 70) | history )
  by Urs Schreiber at January 2, 2025 at 16:47:59
• axiom of foundation ( axiom of foundation(rev # 23) | history )
  by Valeria de Paiva at January 2, 2025 at 16:26:09
• axiom of extensionality ( axiom of extensionality(rev # 23) | history )
  by Valeria de Paiva at January 2, 2025 at 16:23:49
• Eva Miranda
  by Urs Schreiber at January 2, 2025 at 15:19:53
• polarization ( polarization(rev # 25) | history )
  by Urs Schreiber at January 2, 2025 at 15:19:02
• Bohr-Sommerfeld leaf ( Bohr-Sommerfeld leaf(rev # 10) | history )
  by Urs Schreiber at January 2, 2025 at 15:10:55
• geometric quantization ( geometric quantization(rev # 126) | history )
  by Urs Schreiber at January 2, 2025 at 15:10:32
• anomalous magnetic moment ( anomalous magnetic moment(rev # 46) | history )
  by Urs Schreiber at January 2, 2025 at 15:00:10
• inequality ring ( inequality ring(rev # 2) | history )
  by Anonymouse? at January 2, 2025 at 14:48:12
• ring ( ring(rev # 98) | history )
  by Anonymouse? at January 2, 2025 at 14:46:44
• apartness ring ( apartness ring(rev # 4) | history )
  by Anonymouse? at January 2, 2025 at 14:43:27
• Heisenberg group ( Heisenberg group(rev # 22) | history )
  by Urs Schreiber at January 2, 2025 at 12:47:30
• quantum operator (in geometric quantization) ( quantum operator (in geometric quantization)(rev # 6) | history )
  by Urs Schreiber at January 2, 2025 at 11:34:51
• geometric quantization ( geometric quantization(rev # 125) | history )
  by Urs Schreiber at January 2, 2025 at 11:33:51
• inequality ring ( inequality ring(rev # 1) | history )
  by Anonymouse? at January 2, 2025 at 08:54:11
• apartness ring ( apartness ring(rev # 3) | history )
  by Anonymouse? at January 2, 2025 at 08:43:29
• antithesis interpretation ( antithesis interpretation(rev # 7) | history )
  by Anonymouse? at January 2, 2025 at 08:32:40
• dagger category ( dagger category(rev # 83) | history )
  by Urs Schreiber at January 2, 2025 at 08:02:57
• complete Segal space ( complete Segal space(rev # 53) | history )
  by Urs Schreiber at January 2, 2025 at 08:01:48
• Segal space ( Segal space(rev # 23) | history )
  by Urs Schreiber at January 2, 2025 at 08:01:18
• infinity-group ( infinity-group(rev # 38) | history )
  by Urs Schreiber at January 2, 2025 at 08:00:16
• (infinity,0)-category ( (infinity,0)-category(rev # 13) | history )
  by Urs Schreiber at January 2, 2025 at 07:59:44
• Julie Bergner ( Julie Bergner(rev # 12) | history )
  by Urs Schreiber at January 2, 2025 at 07:58:44
• residually discrete local ring ( residually discrete local ring(rev # 3) | history )
  by Anonymouse? at January 2, 2025 at 07:41:36
• apartness ring ( apartness ring(rev # 2) | history )
  by Anonymouse? at January 2, 2025 at 07:38:55
• apartness ring ( apartness ring(rev # 1) | history )
  by Anonymouse? at January 2, 2025 at 05:35:09
• normed ring ( normed ring(rev # 18) | history )
  by Anonymouse? at January 2, 2025 at 05:33:10
• strictly weakly ordered ring ( strictly weakly ordered ring(rev # 10) | history )
  by Anonymouse? at January 2, 2025 at 05:25:33
• approximate integral domain ( approximate integral domain(rev # 12) | history )
  by Anonymouse? at January 2, 2025 at 05:23:01
• antisubalgebra ( antisubalgebra(rev # 14) | history )
  by Anonymouse? at January 2, 2025 at 05:17:10
• residually discrete local ring ( residually discrete local ring(rev # 2) | history )
  by Anonymouse? at January 2, 2025 at 05:08:42
• strongly extensional function ( strongly extensional function(rev # 5) | history )
  by Anonymouse? at January 2, 2025 at 04:44:05
• local ring ( local ring(rev # 49) | history )
  by Anonymouse? at January 2, 2025 at 04:38:01
• ring ( ring(rev # 97) | history )
  by Anonymouse? at January 2, 2025 at 04:33:45
• dagger category ( dagger category(rev # 82) | history )
  by Anonymouse? at January 2, 2025 at 04:08:13
• residually discrete local ring ( residually discrete local ring(rev # 1) | history )
  by Anonymouse? at January 2, 2025 at 04:05:13
• constructive mathematics ( constructive mathematics(rev # 95) | history )
  by Anonymouse? at January 2, 2025 at 03:25:53
• local ring ( local ring(rev # 48) | history )
  by Anonymouse? at January 2, 2025 at 03:20:29
• nilradical ( nilradical(rev # 17) | history )
  by Anonymouse? at January 2, 2025 at 03:02:23
• von Neumann regular ring ( von Neumann regular ring(rev # 22) | history )
  by Anonymouse? at January 2, 2025 at 02:42:28
• groupoid object in an (infinity,1)-category ( groupoid object in an (infinity,1)-category(rev # 55) | history )
  by Dmitri Pavlov at January 2, 2025 at 02:41:30
• dagger category ( dagger category(rev # 81) | history )
  by Dmitri Pavlov at January 2, 2025 at 02:41:24
• von Neumann regular ring ( von Neumann regular ring(rev # 21) | history )
  by Todd Trimble at January 2, 2025 at 01:50:03
• von Neumann regular ring ( von Neumann regular ring(rev # 20) | history )
  by Todd Trimble at January 1, 2025 at 23:23:59
• von Neumann regular ring ( von Neumann regular ring(rev # 19) | history )
  by Todd Trimble at January 1, 2025 at 21:53:38
• Sandbox ( Sandbox(rev # 3501) | history )
  by Urs Schreiber at January 1, 2025 at 19:21:29
• Marc Rieffel ( Marc Rieffel(rev # 8) | history )
  by Urs Schreiber at January 1, 2025 at 18:42:22
• noncommutative torus ( noncommutative torus(rev # 9) | history )
  by Urs Schreiber at January 1, 2025 at 18:42:09