nLab Latest Revisions

• simplicial type theory ( simplicial type theory(rev # 21) | history )
  by Anonymouse? at April 8, 2025 at 22:40:15
• axiom of cohesion ( axiom of cohesion(rev # 27) | history )
  by Anonymouse? at April 8, 2025 at 22:23:26
• Infinity-Grpd ( Infinity-Grpd(rev # 24) | history )
  by Anonymouse? at April 8, 2025 at 20:10:23
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 20:08:23
• infinity-groupoid ( infinity-groupoid(rev # 52) | history )
  by Anonymouse? at April 8, 2025 at 20:06:55
• dualizable object ( dualizable object(rev # 63) | history )
  by keglesnittet? at April 8, 2025 at 20:04:54
• triangulated category ( triangulated category(rev # 61) | history )
  by Tim Porter at April 8, 2025 at 19:33:57
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 1) | history )
  by Anonymouse? at April 8, 2025 at 19:27:15
• localization of an (infinity,1)-category ( localization of an (infinity,1)-category(rev # 21) | history )
  by Anonymouse? at April 8, 2025 at 19:26:17
• Andrew Hubery ( Andrew Hubery(rev # 3) | history )
  by Urs Schreiber at April 8, 2025 at 18:39:31
• triangulated category ( triangulated category(rev # 60) | history )
  by Urs Schreiber at April 8, 2025 at 18:38:47
• simplicial type theory ( simplicial type theory(rev # 20) | history )
  by Anonymouse? at April 8, 2025 at 18:29:16
• cohesive homotopy type theory ( cohesive homotopy type theory(rev # 52) | history )
  by Anonymouse? at April 8, 2025 at 18:23:07
• triangulated category ( triangulated category(rev # 59) | history )
  by Tim Porter at April 8, 2025 at 18:21:18
• Andrew Hubery ( Andrew Hubery(rev # 2) | history )
  by Tim Porter at April 8, 2025 at 18:09:45
• infinity-groupoid ( infinity-groupoid(rev # 51) | history )
  by Anonymouse? at April 8, 2025 at 17:59:56
• simplicial object in an (infinity,1)-category ( simplicial object in an (infinity,1)-category(rev # 15) | history )
  by Anonymouse? at April 8, 2025 at 17:59:13
• simplicial set ( simplicial set(rev # 90) | history )
  by Anonymouse? at April 8, 2025 at 17:58:51
• cubical set ( cubical set(rev # 87) | history )
  by Anonymouse? at April 8, 2025 at 17:51:10
• Phoa's principle ( Phoa's principle(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 17:46:04
• DistLat ( DistLat(rev # 10) | history )
  by Anonymouse? at April 8, 2025 at 17:37:22
• Heyting algebra ( Heyting algebra(rev # 62) | history )
  by Anonymouse? at April 8, 2025 at 17:34:40
• HeytAlg ( HeytAlg(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 17:33:37
• measurable cardinal ( measurable cardinal(rev # 14) | history )
  by Anonymouse? at April 8, 2025 at 16:50:49
• large cardinal ( large cardinal(rev # 19) | history )
  by Anonymouse? at April 8, 2025 at 16:49:54
• Vopěnka's principle ( Vopěnka's principle(rev # 22) | history )
  by Anonymouse? at April 8, 2025 at 16:47:18
• ZFC ( ZFC(rev # 46) | history )
  by Anonymouse? at April 8, 2025 at 16:47:07
• James Hanson ( James Hanson(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 16:46:55
• Lebesgue measure ( Lebesgue measure(rev # 16) | history )
  by Anonymouse? at April 8, 2025 at 16:46:49
• Cantor-Schroeder-Bernstein theorem ( Cantor-Schroeder-Bernstein theorem(rev # 44) | history )
  by Anonymouse? at April 8, 2025 at 16:33:20
• Priestley space ( Priestley space(rev # 3) | history )
  by Anonymouse? at April 8, 2025 at 16:31:49
• Sam van Gool
  by Anonymouse? at April 8, 2025 at 16:29:12
• Mai Gehrke
  by Anonymouse? at April 8, 2025 at 16:29:06
• Karin Cvetko-Vah
  by Anonymouse? at April 8, 2025 at 16:29:00
• Ganna Kudryavtseva
  by Anonymouse? at April 8, 2025 at 16:28:46
• Andrej Bauer ( Andrej Bauer(rev # 9) | history )
  by Anonymouse? at April 8, 2025 at 16:28:30
• coherent locale
  by Anonymouse? at April 8, 2025 at 16:02:15
• (infinity,1)-geometric morphism ( (infinity,1)-geometric morphism(rev # 4) | history )
  by Anonymouse? at April 8, 2025 at 15:57:26
• point of an (infinity,1)-topos
  by Anonymouse? at April 8, 2025 at 15:56:25
• point of a topos ( point of a topos(rev # 53) | history )
  by Anonymouse? at April 8, 2025 at 15:51:20
• point of a locale ( point of a locale(rev # 5) | history )
  by Anonymouse? at April 8, 2025 at 15:48:45
• coherent space ( coherent space(rev # 9) | history )
  by Anonymouse? at April 8, 2025 at 15:28:09
• Priestley space ( Priestley space(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 15:26:52
• coherent logic ( coherent logic(rev # 34) | history )
  by Anonymouse? at April 8, 2025 at 15:10:00
• sigma-locale ( sigma-locale(rev # 5) | history )
  by Anonymouse? at April 8, 2025 at 14:47:50
• Loc ( Loc(rev # 13) | history )
  by Anonymouse? at April 8, 2025 at 14:47:21
• locale ( locale(rev # 99) | history )
  by Anonymouse? at April 8, 2025 at 14:47:00
• distributive lattice ( distributive lattice(rev # 34) | history )
  by Anonymouse? at April 8, 2025 at 14:42:52
• coherent category ( coherent category(rev # 33) | history )
  by Anonymouse? at April 8, 2025 at 14:23:28
• Leech lattice ( Leech lattice(rev # 6) | history )
  by perezl.alonso at April 8, 2025 at 14:03:25
• Priestley space ( Priestley space(rev # 1) | history )
  by Anonymouse? at April 8, 2025 at 13:50:52
• coherent space ( coherent space(rev # 8) | history )
  by Anonymouse? at April 8, 2025 at 13:46:54
• locale ( locale(rev # 98) | history )
  by Anonymouse? at April 8, 2025 at 13:43:04
• completely prime filter ( completely prime filter(rev # 7) | history )
  by Anonymouse? at April 8, 2025 at 13:42:20
• distributive lattice ( distributive lattice(rev # 33) | history )
  by Anonymouse? at April 8, 2025 at 13:30:15
• point of a locale ( point of a locale(rev # 4) | history )
  by Anonymouse? at April 8, 2025 at 13:28:15
• stabilization ( stabilization(rev # 23) | history )
  by Marco? at April 8, 2025 at 13:14:13
• Stone duality ( Stone duality(rev # 33) | history )
  by Anonymouse? at April 8, 2025 at 13:07:40
• sigma-locale ( sigma-locale(rev # 4) | history )
  by Anonymouse? at April 8, 2025 at 13:01:15
• Frm ( Frm(rev # 6) | history )
  by Anonymouse? at April 8, 2025 at 13:00:15
• Loc ( Loc(rev # 12) | history )
  by Anonymouse? at April 8, 2025 at 12:56:52
• locale ( locale(rev # 97) | history )
  by Anonymouse? at April 8, 2025 at 12:56:06
• anti de Sitter group ( anti de Sitter group(rev # 9) | history )
  by cmcraes? at April 8, 2025 at 12:50:39
• distributive lattice ( distributive lattice(rev # 32) | history )
  by Anonymouse? at April 8, 2025 at 12:50:35
• DistLat ( DistLat(rev # 9) | history )
  by Anonymouse? at April 8, 2025 at 12:41:13
• flat distributive lattice
  by Anonymouse? at April 8, 2025 at 12:10:29
• simplicial type theory ( simplicial type theory(rev # 19) | history )
  by Anonymouse? at April 8, 2025 at 12:10:01
• Clifford group
  by Urs Schreiber at April 8, 2025 at 12:09:40
• weighted category ( weighted category(rev # 9) | history )
  by paoloperrone at April 8, 2025 at 12:08:06
• Pauli group ( Pauli group(rev # 4) | history )
  by Urs Schreiber at April 8, 2025 at 12:02:42
• Clifford algebra ( Clifford algebra(rev # 39) | history )
  by Urs Schreiber at April 8, 2025 at 11:58:38
• stabilizer code ( stabilizer code(rev # 6) | history )
  by Urs Schreiber at April 8, 2025 at 11:53:09
• Sandbox ( Sandbox(rev # 3629) | history )
  by Urs Schreiber at April 8, 2025 at 11:50:27
• Phoa's principle ( Phoa's principle(rev # 1) | history )
  by Anonymouse? at April 8, 2025 at 11:49:08
• distributive lattice ( distributive lattice(rev # 31) | history )
  by Anonymouse? at April 8, 2025 at 11:42:36
• quantum computation ( quantum computation(rev # 147) | history )
  by Urs Schreiber at April 8, 2025 at 11:30:09
• Pauli group ( Pauli group(rev # 3) | history )
  by Urs Schreiber at April 8, 2025 at 11:20:16
• Sandbox ( Sandbox(rev # 3628) | history )
  by Urs Schreiber at April 8, 2025 at 11:14:37
• stabilizer code ( stabilizer code(rev # 5) | history )
  by Urs Schreiber at April 8, 2025 at 11:05:49
• projective frame
  by Zoran Škoda at April 8, 2025 at 10:50:46
• Sandbox ( Sandbox(rev # 3627) | history )
  by Urs Schreiber at April 8, 2025 at 10:17:40
• complete quadrangle ( complete quadrangle(rev # 2) | history )
  by Zoran Škoda at April 8, 2025 at 09:41:44
• Tom de Jong ( Tom de Jong(rev # 8) | history )
  by Urs Schreiber at April 8, 2025 at 09:01:44
• Hanneke Wiersema ( Hanneke Wiersema(rev # 2) | history )
  by Urs Schreiber at April 8, 2025 at 08:59:09
• David Savitt ( David Savitt(rev # 3) | history )
  by Urs Schreiber at April 8, 2025 at 08:58:57
• Brandon Levin ( Brandon Levin(rev # 2) | history )
  by Urs Schreiber at April 8, 2025 at 08:58:38
• Heejong Lee ( Heejong Lee(rev # 2) | history )
  by Urs Schreiber at April 8, 2025 at 08:58:27
• Kalyani Kansal ( Kalyani Kansal(rev # 2) | history )
  by Urs Schreiber at April 8, 2025 at 08:58:14
• Anton Hilado ( Anton Hilado(rev # 4) | history )
  by Urs Schreiber at April 8, 2025 at 08:57:52
• Neelima Borade ( Neelima Borade(rev # 2) | history )
  by Urs Schreiber at April 8, 2025 at 08:56:46
• Rebecca Bellovin ( Rebecca Bellovin(rev # 2) | history )
  by Urs Schreiber at April 8, 2025 at 08:56:32
• Stone-Weierstrass theorem ( Stone-Weierstrass theorem(rev # 12) | history )
  by Urs Schreiber at April 8, 2025 at 08:54:24
• mapping cone ( mapping cone(rev # 49) | history )
  by Tim Porter at April 8, 2025 at 06:46:53
• pointed topological space ( pointed topological space(rev # 23) | history )
  by Urs Schreiber at April 8, 2025 at 05:48:44
• Calculus of fractions and homotopy theory ( Calculus of fractions and homotopy theory(rev # 12) | history )
  by Urs Schreiber at April 8, 2025 at 05:25:10
• dependent type theory with type variables ( dependent type theory with type variables(rev # 7) | history )
  by Anonymouse? at April 8, 2025 at 03:19:36
• Christian Sattler ( Christian Sattler(rev # 10) | history )
  by Anonymouse? at April 8, 2025 at 02:51:41
• Nicolai Kraus ( Nicolai Kraus(rev # 14) | history )
  by Anonymouse? at April 8, 2025 at 02:51:34
• fat Delta category ( fat Delta category(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 02:51:09
• Sandbox ( Sandbox(rev # 3626) | history )
  by Anonymouse? at April 8, 2025 at 02:48:39