nLab
Latest Revisions

• modal type theory ( modal type theory(rev # 44) | history )
  by Urs Schreiber at March 18, 2019 at 13:05:27
• synthetic differential topology ( synthetic differential topology(rev # 7) | history )
  by Urs Schreiber at March 18, 2019 at 12:59:20
• logical topology ( logical topology(rev # 3) | history )
  by Urs Schreiber at March 18, 2019 at 12:58:24
• Poincaré–Hopf theorem ( Poincaré–Hopf theorem(rev # 4) | history )
  by Urs Schreiber at March 18, 2019 at 12:17:27
• index ( index(rev # 19) | history )
  by Urs Schreiber at March 18, 2019 at 12:12:28
• Gauss-Bonnet theorem ( Gauss-Bonnet theorem(rev # 6) | history )
  by Urs Schreiber at March 18, 2019 at 12:05:10
• Hopf degree theorem ( Hopf degree theorem(rev # 23) | history )
  by Urs Schreiber at March 18, 2019 at 11:07:00
• Hopf invariant ( Hopf invariant(rev # 10) | history )
  by Urs Schreiber at March 18, 2019 at 09:45:29
• fiber bundles in physics ( fiber bundles in physics(rev # 14) | history )
  by Urs Schreiber at March 18, 2019 at 09:31:19
• A. P. Balachandran ( A. P. Balachandran(rev # 2) | history )
  by Urs Schreiber at March 18, 2019 at 09:30:24
• Hopf fibration ( Hopf fibration(rev # 19) | history )
  by Urs Schreiber at March 18, 2019 at 09:29:15
• cotopology ( cotopology(rev # 17) | history )
  by Daniel Luckhardt at March 18, 2019 at 09:26:36
• Poincaré–Hopf theorem ( Poincaré–Hopf theorem(rev # 3) | history )
  by Urs Schreiber at March 18, 2019 at 08:59:25
• cohomotopy ( cohomotopy(rev # 28) | history )
  by Urs Schreiber at March 18, 2019 at 01:15:05
• empty 170 ( empty 170(rev # 4) | history )
  by Urs Schreiber at March 17, 2019 at 23:18:25
• Peter Arndt ( Peter Arndt(rev # 3) | history )
  by Urs Schreiber at March 17, 2019 at 23:10:10
• modal type theory ( modal type theory(rev # 43) | history )
  by Urs Schreiber at March 17, 2019 at 23:07:55
• Awodey's proposal ( Awodey's proposal(rev # 6) | history )
  by Urs Schreiber at March 17, 2019 at 23:06:50
• Snaith theorem ( Snaith theorem(rev # 27) | history )
  by Urs Schreiber at March 17, 2019 at 23:04:47
• cohesive homotopy type theory ( cohesive homotopy type theory(rev # 30) | history )
  by Urs Schreiber at March 17, 2019 at 22:06:46
• motivic homotopy theory ( motivic homotopy theory(rev # 53) | history )
  by Urs Schreiber at March 17, 2019 at 21:54:53
• About ( About(rev # 39) | history )
  by Richard Williamson at March 17, 2019 at 21:21:42
• empty 170 ( empty 170(rev # 3) | history )
  by fj? at March 17, 2019 at 20:28:39
• HomePage ( HomePage(rev # 270) | history )
  by Richard Williamson at March 17, 2019 at 20:21:43
• empty 170 ( empty 170(rev # 2) | history )
  by fj? at March 17, 2019 at 18:08:19
• empty 170 ( empty 170(rev # 1) | history )
  by fj? at March 17, 2019 at 17:29:55
• Sandbox ( Sandbox(rev # 1797) | history )
  by fj? at March 17, 2019 at 17:27:34
• HomePage ( HomePage(rev # 269) | history )
  by Richard Williamson at March 17, 2019 at 15:40:37
• HomePage ( HomePage(rev # 268) | history )
  by Richard Williamson at March 17, 2019 at 14:45:14
• About ( About(rev # 38) | history )
  by David Roberts at March 17, 2019 at 10:59:00
• HomePage ( HomePage(rev # 267) | history )
  by David Roberts at March 17, 2019 at 10:55:55
• Poincaré–Hopf theorem ( Poincaré–Hopf theorem(rev # 2) | history )
  by Urs Schreiber at March 17, 2019 at 09:43:04
• Henri Poincaré ( Henri Poincaré(rev # 4) | history )
  by Urs Schreiber at March 17, 2019 at 09:38:22
• Euler class ( Euler class(rev # 4) | history )
  by Urs Schreiber at March 17, 2019 at 09:04:50
• degree of a continuous function ( degree of a continuous function(rev # 8) | history )
  by Urs Schreiber at March 17, 2019 at 09:03:48
• Heinz Hopf ( Heinz Hopf(rev # 3) | history )
  by Urs Schreiber at March 17, 2019 at 09:02:35
• Poincaré–Hopf theorem ( Poincaré–Hopf theorem(rev # 1) | history )
  by Urs Schreiber at March 17, 2019 at 09:02:00
• Henri Poincaré ( Henri Poincaré(rev # 3) | history )
  by Urs Schreiber at March 17, 2019 at 08:58:28
• Euler characteristic ( Euler characteristic(rev # 26) | history )
  by Urs Schreiber at March 17, 2019 at 08:41:35
• Euler class ( Euler class(rev # 3) | history )
  by Urs Schreiber at March 16, 2019 at 21:58:46
• RR-field tadpole cancellation ( RR-field tadpole cancellation(rev # 28) | history )
  by Urs Schreiber at March 16, 2019 at 18:56:55
• David Jaz Myers ( David Jaz Myers(rev # 3) | history )
  by David Jaz Myers at March 16, 2019 at 09:54:06
• Sandbox ( Sandbox(rev # 1796) | history )
  by Urs Schreiber at March 16, 2019 at 09:19:49
• Spin(5) ( Spin(5)(rev # 2) | history )
  by Urs Schreiber at March 16, 2019 at 09:11:17
• sphere ( sphere(rev # 40) | history )
  by Urs Schreiber at March 16, 2019 at 08:54:04
• pin group ( pin group(rev # 6) | history )
  by Urs Schreiber at March 16, 2019 at 08:53:01
• Spin(4) ( Spin(4)(rev # 4) | history )
  by Urs Schreiber at March 16, 2019 at 08:49:33
• approach space ( approach space(rev # 3) | history )
  by David Roberts at March 16, 2019 at 02:35:43
• Lindelöf topological space ( Lindelöf topological space(rev # 2) | history )
  by Daniel Luckhardt at March 15, 2019 at 18:28:04
• second-countable spaces are Lindelöf
  by Daniel Luckhardt at March 15, 2019 at 18:26:40
• second-countable space ( second-countable space(rev # 12) | history )
  by Daniel Luckhardt at March 15, 2019 at 18:17:47
• separable space ( separable space(rev # 19) | history )
  by Daniel Luckhardt at March 15, 2019 at 18:07:54
• de Rham complex ( de Rham complex(rev # 36) | history )
  by Mark Moon? at March 15, 2019 at 18:04:55
• metrisable topological space ( metrisable topological space(rev # 2) | history )
  by Daniel Luckhardt at March 15, 2019 at 17:27:27
• approach space ( approach space(rev # 2) | history )
  by Daniel Luckhardt at March 15, 2019 at 16:59:07
• Peter Kloeden ( Peter Kloeden(rev # 2) | history )
  by Daniel Luckhardt at March 15, 2019 at 16:49:19
• relational beta-module ( relational beta-module(rev # 34) | history )
  by Daniel Luckhardt at March 15, 2019 at 15:48:32
• approach space ( approach space(rev # 1) | history )
  by Daniel Luckhardt at March 15, 2019 at 15:17:18
• metrization theorem ( metrization theorem(rev # 3) | history )
  by Daniel Luckhardt at March 15, 2019 at 14:18:19
• cotopology ( cotopology(rev # 16) | history )
  by Daniel Luckhardt at March 15, 2019 at 14:12:22
• metric space ( metric space(rev # 48) | history )
  by Daniel Luckhardt at March 15, 2019 at 13:51:16
• David Jaz Myers ( David Jaz Myers(rev # 2) | history )
  by Rod Mc Guire at March 15, 2019 at 12:42:52
• tricategory ( tricategory(rev # 16) | history )
  by Mike Shulman at March 15, 2019 at 12:00:49
• Gray-category ( Gray-category(rev # 14) | history )
  by Mike Shulman at March 15, 2019 at 12:00:11
• M-theory on Spin(8)-manifolds ( M-theory on Spin(8)-manifolds(rev # 3) | history )
  by Urs Schreiber at March 15, 2019 at 11:06:08
• double negation ( double negation(rev # 57) | history )
  by Urs Schreiber at March 15, 2019 at 09:36:22
• logical topology ( logical topology(rev # 2) | history )
  by Urs Schreiber at March 15, 2019 at 09:35:20
• Aufhebung ( Aufhebung(rev # 101) | history )
  by Urs Schreiber at March 15, 2019 at 09:14:28
• points-to-pieces transform ( points-to-pieces transform(rev # 9) | history )
  by Urs Schreiber at March 15, 2019 at 09:13:16
• synthetic differential topology ( synthetic differential topology(rev # 6) | history )
  by Urs Schreiber at March 15, 2019 at 09:03:41
• David Jaz Myers ( David Jaz Myers(rev # 1) | history )
  by Urs Schreiber at March 15, 2019 at 09:01:51
• logical topology ( logical topology(rev # 1) | history )
  by Urs Schreiber at March 15, 2019 at 08:58:59
• Peter Arndt ( Peter Arndt(rev # 2) | history )
  by Urs Schreiber at March 15, 2019 at 08:57:08
• motivic homotopy theory ( motivic homotopy theory(rev # 52) | history )
  by Urs Schreiber at March 15, 2019 at 08:56:54
• Jacques Penon ( Jacques Penon(rev # 6) | history )
  by Urs Schreiber at March 15, 2019 at 08:45:31
• synthetic differential geometry ( synthetic differential geometry(rev # 73) | history )
  by Urs Schreiber at March 15, 2019 at 08:36:36
• infinitesimal cohesive (infinity,1)-topos ( infinitesimal cohesive (infinity,1)-topos(rev # 14) | history )
  by Lukas Stoll? at March 15, 2019 at 06:47:02
• Sandbox ( Sandbox(rev # 1795) | history )
  by Richard Williamson at March 14, 2019 at 19:53:02
• Sandbox ( Sandbox(rev # 1794) | history )
  by Richard Williamson at March 14, 2019 at 18:43:04
• HowTo ( HowTo(rev # 176) | history )
  by Richard Williamson at March 14, 2019 at 18:35:23
• simplicial complex ( simplicial complex(rev # 40) | history )
  by Richard Williamson at March 14, 2019 at 17:23:20
• sharply smaller cardinal ( sharply smaller cardinal(rev # 5) | history )
  by Mike Shulman at March 14, 2019 at 16:35:01
• James Francese
  by James Francese at March 14, 2019 at 15:27:40
• separation algebra ( separation algebra(rev # 2) | history )
  by James Francese at March 14, 2019 at 14:44:37
• Awodey's proposal ( Awodey's proposal(rev # 5) | history )
  by Urs Schreiber at March 14, 2019 at 12:22:17
• F/M-theory on elliptically fibered Calabi-Yau 4-folds ( F/M-theory on elliptically fibered Calabi-Yau 4-folds(rev # 13) | history )
  by Urs Schreiber at March 14, 2019 at 08:00:52
• effect algebra ( effect algebra(rev # 19) | history )
  by Urs Schreiber at March 14, 2019 at 07:57:50
• M-theory on Spin(8)-manifolds ( M-theory on Spin(8)-manifolds(rev # 2) | history )
  by Urs Schreiber at March 14, 2019 at 07:56:44
• simplicial complex ( simplicial complex(rev # 39) | history )
  by Tim Porter at March 14, 2019 at 07:40:22
• separation algebra ( separation algebra(rev # 1) | history )
  by James Francese at March 14, 2019 at 04:57:19
• symplectic gradient ( symplectic gradient(rev # 3) | history )
  by Gilles Englebert? at March 14, 2019 at 04:53:55
• effect algebra ( effect algebra(rev # 18) | history )
  by James Francese at March 14, 2019 at 04:51:22
• quantum logic ( quantum logic(rev # 36) | history )
  by James Francese at March 14, 2019 at 04:18:36
• HR manifold ( HR manifold(rev # 4) | history )
  by James Francese at March 14, 2019 at 04:09:32
• HR manifold ( HR manifold(rev # 5) | history )
  by James Francese at March 14, 2019 at 04:09:31
• effect algebra ( effect algebra(rev # 17) | history )
  by James Francese at March 14, 2019 at 04:05:27
• M-theory on Spin(8)-manifolds ( M-theory on Spin(8)-manifolds(rev # 1) | history )
  by Urs Schreiber at March 13, 2019 at 21:11:32
• F/M-theory on elliptically fibered Calabi-Yau 4-folds ( F/M-theory on elliptically fibered Calabi-Yau 4-folds(rev # 12) | history )
  by Urs Schreiber at March 13, 2019 at 20:56:51
• Awodey's proposal ( Awodey's proposal(rev # 4) | history )
  by Urs Schreiber at March 13, 2019 at 20:43:38
• U-duality ( U-duality(rev # 23) | history )
  by Urs Schreiber at March 13, 2019 at 20:38:49