nLab
Latest Revisions

• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 6) | history )
  by David Corfield at August 20, 2018 at 19:16:14
• homotopy type theory ( homotopy type theory(rev # 100) | history )
  by David Corfield at August 20, 2018 at 19:06:59
• geometry of physics ( geometry of physics(rev # 199) | history )
  by David Corfield at August 20, 2018 at 18:27:19
• axiom K ( axiom K(rev # 8) | history )
  by Mike Shulman at August 20, 2018 at 14:30:13
• cubical set ( cubical set(rev # 75) | history )
  by Richard Williamson at August 20, 2018 at 13:09:12
• cubical Kan complex ( cubical Kan complex(rev # 9) | history )
  by Richard Williamson at August 20, 2018 at 13:07:38
• classifying topos ( classifying topos(rev # 63) | history )
  by Robert Furber? at August 20, 2018 at 12:30:22
• forcing ( forcing(rev # 18) | history )
  by Robert Furber? at August 20, 2018 at 12:25:56
• inhomogeneous cosmology ( inhomogeneous cosmology(rev # 16) | history )
  by Urs Schreiber at August 20, 2018 at 09:16:11
• diagonal functor ( diagonal functor(rev # 7) | history )
  by Gnampfissimo? at August 20, 2018 at 08:51:28
• infinitesimally thickened point ( infinitesimally thickened point(rev # 14) | history )
  by Anonymous at August 20, 2018 at 08:44:25
• invariant theory ( invariant theory(rev # 10) | history )
  by David Corfield at August 20, 2018 at 08:37:31
• Randall-Sundrum model ( Randall-Sundrum model(rev # 2) | history )
  by Urs Schreiber at August 20, 2018 at 08:32:36
• group averaging ( group averaging(rev # 4) | history )
  by David Corfield at August 19, 2018 at 23:46:43
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 5) | history )
  by David Corfield at August 19, 2018 at 23:17:12
• Critique of Pure Reason ( Critique of Pure Reason(rev # 4) | history )
  by Daniel Luckhardt at August 19, 2018 at 18:41:51
• inhomogeneous cosmology ( inhomogeneous cosmology(rev # 15) | history )
  by Urs Schreiber at August 19, 2018 at 12:34:25
• Subir Sarkar
  by Urs Schreiber at August 19, 2018 at 12:33:53
• inhomogeneous cosmology ( inhomogeneous cosmology(rev # 14) | history )
  by Urs Schreiber at August 19, 2018 at 10:35:48
• order polynomial ( order polynomial(rev # 19) | history )
  by Noam Zeilberger at August 19, 2018 at 09:25:20
• adjoint modality ( adjoint modality(rev # 56) | history )
  by David Corfield at August 19, 2018 at 08:59:54
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 4) | history )
  by David Roberts at August 19, 2018 at 08:00:26
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 3) | history )
  by David Corfield at August 19, 2018 at 05:27:07
• bireflective subcategory ( bireflective subcategory(rev # 4) | history )
  by David Corfield at August 19, 2018 at 04:55:00
• topological T-duality ( topological T-duality(rev # 39) | history )
  by Urs Schreiber at August 19, 2018 at 04:15:20
• orbifold ( orbifold(rev # 43) | history )
  by Tim Porter at August 19, 2018 at 02:05:47
• Möbius inversion ( Möbius inversion(rev # 16) | history )
  by Noam Zeilberger at August 19, 2018 at 01:48:45
• zeta polynomial ( zeta polynomial(rev # 19) | history )
  by Noam Zeilberger at August 19, 2018 at 01:48:08
• order polynomial ( order polynomial(rev # 18) | history )
  by Noam Zeilberger at August 19, 2018 at 01:47:49
• complexity theory ( complexity theory(rev # 6) | history )
  by Noam Zeilberger at August 19, 2018 at 01:24:41
• Sandbox ( Sandbox(rev # 1650) | history )
  by Noam Zeilberger at August 19, 2018 at 01:09:00
• zeta polynomial ( zeta polynomial(rev # 18) | history )
  by Noam Zeilberger at August 19, 2018 at 01:06:54
• shuffle ( shuffle(rev # 18) | history )
  by Noam Zeilberger at August 19, 2018 at 01:00:39
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 2) | history )
  by David Corfield at August 19, 2018 at 00:28:41
• mathematics presented in homotopy type theory ( mathematics presented in homotopy type theory(rev # 1) | history )
  by David Corfield at August 18, 2018 at 23:38:24
• Favonia ( Favonia(rev # 6) | history )
  by David Corfield at August 18, 2018 at 23:25:24
• synthetic mathematics ( synthetic mathematics(rev # 12) | history )
  by David Corfield at August 18, 2018 at 22:00:28
• representable functor ( representable functor(rev # 45) | history )
  by Gnampfissimo? at August 18, 2018 at 12:18:35
• split monomorphism ( split monomorphism(rev # 13) | history )
  by Gnampfissimo? at August 18, 2018 at 10:58:31
• John Power ( John Power(rev # 6) | history )
  by Tim Porter at August 18, 2018 at 08:11:15
• tricategory ( tricategory(rev # 14) | history )
  by Tim Porter at August 18, 2018 at 08:04:50
• module category ( module category(rev # 7) | history )
  by David Corfield at August 18, 2018 at 07:45:45
• Mackey functor ( Mackey functor(rev # 29) | history )
  by David Corfield at August 18, 2018 at 06:55:13
• Ivan Di Liberti ( Ivan Di Liberti(rev # 2) | history )
  by Anonymous at August 18, 2018 at 03:27:52
• de Sitter spacetime ( de Sitter spacetime(rev # 14) | history )
  by Urs Schreiber at August 17, 2018 at 17:00:10
• landscape of string theory vacua ( landscape of string theory vacua(rev # 47) | history )
  by Urs Schreiber at August 17, 2018 at 16:59:35
• homological algebra - contents ( homological algebra - contents(rev # 19) | history )
  by Richard Williamson at August 17, 2018 at 12:42:42
• dg-category ( dg-category(rev # 44) | history )
  by Richard Williamson at August 17, 2018 at 12:38:40
• Hamiltonian symplectomorphism infinity-group ( Hamiltonian symplectomorphism infinity-group(rev # 2) | history )
  by David Corfield at August 17, 2018 at 10:19:25
• string phenomenology ( string phenomenology(rev # 48) | history )
  by Urs Schreiber at August 17, 2018 at 06:26:56
• string field theory ( string field theory(rev # 53) | history )
  by Urs Schreiber at August 17, 2018 at 05:44:45
• higher spin gauge theory ( higher spin gauge theory(rev # 11) | history )
  by Urs Schreiber at August 17, 2018 at 05:44:31
• non-perturbative effect ( non-perturbative effect(rev # 20) | history )
  by Urs Schreiber at August 17, 2018 at 05:41:22
• Rajesh Gopakumar ( Rajesh Gopakumar(rev # 2) | history )
  by Urs Schreiber at August 17, 2018 at 05:28:10
• Matthias Gaberdiel ( Matthias Gaberdiel(rev # 2) | history )
  by Urs Schreiber at August 17, 2018 at 05:27:31
• Stefan Fredenhagen
  by Urs Schreiber at August 17, 2018 at 05:22:32
• Xavier Bekaert ( Xavier Bekaert(rev # 2) | history )
  by Urs Schreiber at August 17, 2018 at 05:20:38
• AKSZ sigma-model ( AKSZ sigma-model(rev # 39) | history )
  by Urs Schreiber at August 17, 2018 at 05:12:46
• dg-category ( dg-category(rev # 43) | history )
  by Richard Williamson at August 17, 2018 at 00:50:59
• anafunctor ( anafunctor(rev # 105) | history )
  by David Roberts at August 16, 2018 at 23:51:11
• Sandbox ( Sandbox(rev # 1649) | history )
  by Richard Williamson at August 16, 2018 at 18:55:31
• Kostant-Souriau extension ( Kostant-Souriau extension(rev # 2) | history )
  by Richard Williamson at August 16, 2018 at 18:52:03
• geometric quantization extensions - table ( geometric quantization extensions - table(rev # 10) | history )
  by Richard Williamson at August 16, 2018 at 18:41:22
• Sandbox ( Sandbox(rev # 1648) | history )
  by Richard Williamson at August 16, 2018 at 17:31:22
• geometric quantization extensions - table ( geometric quantization extensions - table(rev # 9) | history )
  by Richard Williamson at August 16, 2018 at 17:18:37
• geometric quantization ( geometric quantization(rev # 108) | history )
  by Richard Williamson at August 16, 2018 at 16:56:28
• An Essay on the Foundations of Geometry ( An Essay on the Foundations of Geometry(rev # 3) | history )
  by Daniel Luckhardt at August 16, 2018 at 16:14:45
• M-theory on G2-manifolds ( M-theory on G2-manifolds(rev # 66) | history )
  by Urs Schreiber at August 16, 2018 at 13:28:01
• Poisson-Lie T-duality ( Poisson-Lie T-duality(rev # 5) | history )
  by Urs Schreiber at August 16, 2018 at 10:18:37
• 11-dimensional supergravity ( 11-dimensional supergravity(rev # 45) | history )
  by David Corfield at August 16, 2018 at 09:40:35
• Globular ( Globular(rev # 52) | history )
  by Manuel Baerenz at August 16, 2018 at 08:39:46
• regular monomorphism ( regular monomorphism(rev # 45) | history )
  by Richard Williamson at August 16, 2018 at 07:14:43
• near-horizon geometry ( near-horizon geometry(rev # 8) | history )
  by Urs Schreiber at August 16, 2018 at 06:59:29
• Johnstone's topological topos ( Johnstone's topological topos(rev # 21) | history )
  by Fabian? at August 16, 2018 at 06:46:45
• end ( end(rev # 46) | history )
  by Elves? at August 16, 2018 at 06:09:33
• AdS-CFT ( AdS-CFT(rev # 62) | history )
  by Urs Schreiber at August 16, 2018 at 04:49:40
• homological algebra ( homological algebra(rev # 36) | history )
  by Urs Schreiber at August 16, 2018 at 02:29:11
• material set theory ( material set theory(rev # 6) | history )
  by Urs Schreiber at August 16, 2018 at 02:12:59
• structural set theory ( structural set theory(rev # 25) | history )
  by Urs Schreiber at August 16, 2018 at 02:12:25
• homological algebra ( homological algebra(rev # 35) | history )
  by David Corfield at August 15, 2018 at 21:31:07
• Banach space ( Banach space(rev # 52) | history )
  by Anonymous at August 15, 2018 at 21:13:59
• Clifford-Klein space form ( Clifford-Klein space form(rev # 4) | history )
  by Urs Schreiber at August 15, 2018 at 17:18:48
• Euclidean geometry ( Euclidean geometry(rev # 26) | history )
  by Urs Schreiber at August 15, 2018 at 17:17:53
• space ( space(rev # 17) | history )
  by Urs Schreiber at August 15, 2018 at 17:17:31
• An Essay on the Foundations of Geometry ( An Essay on the Foundations of Geometry(rev # 2) | history )
  by Urs Schreiber at August 15, 2018 at 17:16:17
• Critique of Pure Reason ( Critique of Pure Reason(rev # 3) | history )
  by Daniel Luckhardt at August 15, 2018 at 17:12:01
• Bertrand Russell ( Bertrand Russell(rev # 9) | history )
  by Urs Schreiber at August 15, 2018 at 17:07:43
• An Essay on the Foundations of Geometry ( An Essay on the Foundations of Geometry(rev # 1) | history )
  by Daniel Luckhardt at August 15, 2018 at 17:06:18
• Sachdev-Ye-Kitaev model ( Sachdev-Ye-Kitaev model(rev # 2) | history )
  by Urs Schreiber at August 15, 2018 at 17:03:15
• hypothèse inspiratrice ( hypothèse inspiratrice(rev # 9) | history )
  by Richard Williamson at August 15, 2018 at 16:28:26
• Sandbox ( Sandbox(rev # 1647) | history )
  by Richard Williamson at August 15, 2018 at 16:24:24
• comma category ( comma category(rev # 49) | history )
  by Richard Williamson at August 15, 2018 at 16:21:02
• mysticism ( mysticism(rev # 19) | history )
  by Daniel Luckhardt at August 15, 2018 at 15:46:41
• mysticism ( mysticism(rev # 18) | history )
  by Daniel Luckhardt at August 15, 2018 at 13:49:31
• 2-vector space ( 2-vector space(rev # 47) | history )
  by Todd Trimble at August 15, 2018 at 12:22:51
• intertwiner ( intertwiner(rev # 3) | history )
  by Noam Zeilberger at August 15, 2018 at 11:54:36
• compact-open topology ( compact-open topology(rev # 27) | history )
  by bjkupferer? at August 15, 2018 at 08:53:37
• Green-Schwarz action functional ( Green-Schwarz action functional(rev # 143) | history )
  by Urs Schreiber at August 15, 2018 at 07:08:19
• super anti de Sitter spacetime ( super anti de Sitter spacetime(rev # 12) | history )
  by Urs Schreiber at August 15, 2018 at 07:05:10
• Tannaka duality ( Tannaka duality(rev # 45) | history )
  by Noam Zeilberger at August 15, 2018 at 06:23:36