nLab Latest Revisions

• Mizar ( Mizar(rev # 8) | history )
  by type theorist? at June 13, 2025 at 22:30:25
• Gallina specification language ( Gallina specification language(rev # 4) | history )
  by type theorist? at June 13, 2025 at 22:28:47
• Haskell ( Haskell(rev # 28) | history )
  by type theorist? at June 13, 2025 at 22:28:32
• Lean ( Lean(rev # 23) | history )
  by type theorist? at June 13, 2025 at 22:25:44
• UniMath project ( UniMath project(rev # 10) | history )
  by type theorist? at June 13, 2025 at 22:24:29
• list of mathematics software ( list of mathematics software(rev # 19) | history )
  by type theorist? at June 13, 2025 at 22:20:21
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 26) | history )
  by type theorist? at June 13, 2025 at 22:19:17
• programming language ( programming language(rev # 27) | history )
  by type theorist? at June 13, 2025 at 22:18:08
• record type ( record type(rev # 8) | history )
  by type theorist? at June 13, 2025 at 22:17:08
• Automath ( Automath(rev # 8) | history )
  by type theorist? at June 13, 2025 at 22:12:53
• proof assistants and formalization projects -- list ( proof assistants and formalization projects -- list(rev # 9) | history )
  by type theorist? at June 13, 2025 at 22:11:30
• Agda ( Agda(rev # 42) | history )
  by type theorist? at June 13, 2025 at 22:10:38
• propositional resizing ( propositional resizing(rev # 28) | history )
  by Karl Schoenbaum? at June 13, 2025 at 22:07:35
• Yvonne Choquet-Bruhat ( Yvonne Choquet-Bruhat(rev # 5) | history )
  by Urs Schreiber at June 13, 2025 at 20:56:07
• propositional impredicativity ( propositional impredicativity(rev # 2) | history )
  by Karl Schoenbaum? at June 13, 2025 at 19:02:11
• taboo ( taboo(rev # 17) | history )
  by Karl Schoenbaum? at June 13, 2025 at 18:53:59
• predicative mathematics ( predicative mathematics(rev # 41) | history )
  by Karl Schoenbaum? at June 13, 2025 at 18:47:23
• continuous algebra ( continuous algebra(rev # 4) | history )
  by varkor at June 13, 2025 at 18:40:36
• impredicative dependent type theory ( impredicative dependent type theory(rev # 5) | history )
  by Karl Schoenbaum? at June 13, 2025 at 18:06:10
• impredicative universe ( impredicative universe(rev # 2) | history )
  by Karl Schoenbaum? at June 13, 2025 at 17:40:06
• orbifold K-theory ( orbifold K-theory(rev # 16) | history )
  by Urs Schreiber at June 13, 2025 at 17:17:10
• type of propositions ( type of propositions(rev # 55) | history )
  by Karl Schoenbaum? at June 13, 2025 at 17:03:19
• propositional impredicativity ( propositional impredicativity(rev # 1) | history )
  by Karl Schoenbaum? at June 13, 2025 at 17:02:59
• propositional resizing ( propositional resizing(rev # 27) | history )
  by Karl Schoenbaum? at June 13, 2025 at 16:52:58
• measurable Gelfand duality ( measurable Gelfand duality(rev # 4) | history )
  by paoloperrone at June 13, 2025 at 16:34:12
• Tarski universe ( Tarski universe(rev # 49) | history )
  by Karl Schoenbaum? at June 13, 2025 at 16:33:04
• propositional resizing ( propositional resizing(rev # 26) | history )
  by Karl Schoenbaum? at June 13, 2025 at 16:22:24
• Loomis-Sikorski duality ( Loomis-Sikorski duality(rev # 8) | history )
  by paoloperrone at June 13, 2025 at 16:06:21
• zero-one measure ( zero-one measure(rev # 12) | history )
  by paoloperrone at June 13, 2025 at 16:05:19
• sober measurable space ( sober measurable space(rev # 10) | history )
  by paoloperrone at June 13, 2025 at 16:04:41
• strict category ( strict category(rev # 27) | history )
  by Urs Schreiber at June 13, 2025 at 16:03:07
• strict category ( strict category(rev # 26) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:46:47
• Daniel Gratzer ( Daniel Gratzer(rev # 15) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:42:10
• Anders Mörtberg ( Anders Mörtberg(rev # 11) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:41:51
• Håkon Robbestad Gylterud ( Håkon Robbestad Gylterud(rev # 5) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:41:32
• Elisabeth Stenholm ( Elisabeth Stenholm(rev # 7) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:38:41
• Niccolò Veltri ( Niccolò Veltri(rev # 2) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:17:27
• axiom of extensionality ( axiom of extensionality(rev # 24) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:17:05
• axiom of pairing ( axiom of pairing(rev # 11) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:16:52
• extensional relation ( extensional relation(rev # 29) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:15:51
• constructive set theory ( constructive set theory(rev # 10) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:15:39
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 41) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:14:52
• set theory ( set theory(rev # 64) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:14:37
• M-type ( M-type(rev # 7) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:13:20
• axiom of foundation ( axiom of foundation(rev # 24) | history )
  by Karl Schoenbaum? at June 13, 2025 at 15:12:56
• pairing structure ( pairing structure(rev # 9) | history )
  by Karl Schoenbaum? at June 13, 2025 at 14:57:21
• Sandbox ( Sandbox(rev # 3710) | history )
  by Karl Schoenbaum? at June 13, 2025 at 14:42:46
• writing in the nLab ( writing in the nLab(rev # 14) | history )
  by Tom Buchanan? at June 13, 2025 at 13:56:17
• Franka Waaldijk ( Franka Waaldijk(rev # 9) | history )
  by fwaaldijk? at June 13, 2025 at 13:37:19
• partition of unity ( partition of unity(rev # 42) | history )
  by fwaaldijk? at June 13, 2025 at 13:35:29
• located subspace ( located subspace(rev # 10) | history )
  by fwaaldijk? at June 13, 2025 at 13:34:28
• fan theorem ( fan theorem(rev # 33) | history )
  by fwaaldijk? at June 13, 2025 at 13:32:43
• continuous map ( continuous map(rev # 36) | history )
  by fwaaldijk? at June 13, 2025 at 13:30:08
• constructive mathematics ( constructive mathematics(rev # 98) | history )
  by fwaaldijk? at June 13, 2025 at 13:28:03
• compactum ( compactum(rev # 31) | history )
  by fwaaldijk? at June 13, 2025 at 13:25:11
• apartness space ( apartness space(rev # 15) | history )
  by fwaaldijk? at June 13, 2025 at 13:22:31
• measurable Gelfand duality ( measurable Gelfand duality(rev # 3) | history )
  by paoloperrone at June 13, 2025 at 13:21:41
• skeleton ( skeleton(rev # 4) | history )
  by Urs Schreiber at June 13, 2025 at 13:21:21
• Bishop's constructive mathematics ( Bishop's constructive mathematics(rev # 14) | history )
  by fwaaldijk? at June 13, 2025 at 13:20:59
• Church-Turing thesis ( Church-Turing thesis(rev # 8) | history )
  by fwaaldijk? at June 13, 2025 at 13:16:00
• computable physics ( computable physics(rev # 22) | history )
  by fwaaldijk? at June 13, 2025 at 13:11:57
• intuitionistic mathematics ( intuitionistic mathematics(rev # 38) | history )
  by fwaaldijk? at June 13, 2025 at 13:09:19
• apartness relation ( apartness relation(rev # 65) | history )
  by fwaaldijk? at June 13, 2025 at 13:00:03
• Boolean semiring (Chajda & Kotrle) ( Boolean semiring (Chajda & Kotrle)(rev # 4) | history )
  by p? at June 13, 2025 at 12:59:10
• skeleton ( skeleton(rev # 3) | history )
  by p? at June 13, 2025 at 12:28:16
• skeleton ( skeleton(rev # 2) | history )
  by p? at June 13, 2025 at 11:57:26
• additively idempotent semiring ( additively idempotent semiring(rev # 15) | history )
  by p? at June 13, 2025 at 11:46:17
• band ( band(rev # 14) | history )
  by p? at June 13, 2025 at 11:30:54
• Tom Blyth
  by p? at June 13, 2025 at 11:28:31
• apartness relation ( apartness relation(rev # 64) | history )
  by fwaaldijk? at June 13, 2025 at 11:28:12
• Donald McAlister
  by p? at June 13, 2025 at 11:24:36
• skeletal category ( skeletal category(rev # 45) | history )
  by p? at June 13, 2025 at 11:12:58
• skeleton ( skeleton(rev # 1) | history )
  by p? at June 13, 2025 at 10:50:11
• simplicial skeleton ( simplicial skeleton(rev # 45) | history )
  by p? at June 13, 2025 at 10:47:46
• logic ( logic(rev # 73) | history )
  by Jonathan Osser? at June 13, 2025 at 10:36:41
• Emily Riehl ( Emily Riehl(rev # 45) | history )
  by Urs Schreiber at June 13, 2025 at 10:08:51
• category theory ( category theory(rev # 292) | history )
  by Urs Schreiber at June 13, 2025 at 10:08:22
• over category ( over category(rev # 56) | history )
  by Urs Schreiber at June 13, 2025 at 10:07:55
• under category ( under category(rev # 28) | history )
  by Urs Schreiber at June 13, 2025 at 10:07:28
• Category Theory in Context ( Category Theory in Context(rev # 6) | history )
  by Urs Schreiber at June 13, 2025 at 10:06:26
• connected colimit ( connected colimit(rev # 3) | history )
  by Urs Schreiber at June 13, 2025 at 09:53:41
• residuated idempotent semiring ( residuated idempotent semiring(rev # 4) | history )
  by Urs Schreiber at June 13, 2025 at 08:22:09
• measurable Gelfand duality ( measurable Gelfand duality(rev # 2) | history )
  by paoloperrone at June 13, 2025 at 07:56:31
• quantum gravity ( quantum gravity(rev # 76) | history )
  by Urs Schreiber at June 13, 2025 at 07:47:47
• entanglement ( entanglement(rev # 41) | history )
  by Urs Schreiber at June 13, 2025 at 07:46:51
• holographic entanglement entropy ( holographic entanglement entropy(rev # 90) | history )
  by Urs Schreiber at June 13, 2025 at 07:45:11
• prime ideal ( prime ideal(rev # 12) | history )
  by Tomas? at June 13, 2025 at 07:42:46
• Tadashi Takayanagi ( Tadashi Takayanagi(rev # 7) | history )
  by Urs Schreiber at June 13, 2025 at 07:39:28
• Mark Van Raamsdonk ( Mark Van Raamsdonk(rev # 14) | history )
  by Urs Schreiber at June 13, 2025 at 07:37:47
• Brian Swingle ( Brian Swingle(rev # 5) | history )
  by Urs Schreiber at June 13, 2025 at 07:33:00
• Renate Loll ( Renate Loll(rev # 2) | history )
  by Urs Schreiber at June 13, 2025 at 07:25:02
• Jan Ambjørn ( Jan Ambjørn(rev # 2) | history )
  by Urs Schreiber at June 13, 2025 at 07:24:44
• piecewise flat spacetime ( piecewise flat spacetime(rev # 21) | history )
  by Urs Schreiber at June 13, 2025 at 07:24:24
• Loomis-Sikorski duality ( Loomis-Sikorski duality(rev # 7) | history )
  by paoloperrone at June 13, 2025 at 07:23:58
• Handbook of Quantum Gravity ( Handbook of Quantum Gravity(rev # 41) | history )
  by Urs Schreiber at June 13, 2025 at 07:16:24
• causet ( causet(rev # 24) | history )
  by Urs Schreiber at June 13, 2025 at 07:15:59
• Steve Carlip ( Steve Carlip(rev # 8) | history )
  by Urs Schreiber at June 13, 2025 at 07:04:04
• Bernard S. Kay ( Bernard S. Kay(rev # 2) | history )
  by Urs Schreiber at June 13, 2025 at 06:22:58
• AQFT on curved spacetimes ( AQFT on curved spacetimes(rev # 31) | history )
  by Urs Schreiber at June 13, 2025 at 06:22:19
• semilattice ( semilattice(rev # 24) | history )
  by p? at June 13, 2025 at 06:09:50