nLab
Latest Revisions

• classifying topos of a localic groupoid ( classifying topos of a localic groupoid(rev # 7) | history )
  by John Baez at October 15, 2018 at 17:59:41
• classifying topos of a localic groupoid ( classifying topos of a localic groupoid(rev # 6) | history )
  by John Baez at October 15, 2018 at 17:01:37
• higher gauge field ( higher gauge field(rev # 11) | history )
  by David Corfield at October 15, 2018 at 16:52:56
• classifying topos of a localic groupoid ( classifying topos of a localic groupoid(rev # 5) | history )
  by John Baez at October 15, 2018 at 16:31:28
• binomial theorem ( binomial theorem(rev # 13) | history )
  by Todd Trimble at October 15, 2018 at 13:15:35
• A first idea of quantum field theory -- Reduced phase space ( A first idea of quantum field theory -- Reduced phase space(rev # 45) | history )
  by Tim Berberich at October 15, 2018 at 10:35:44
• geometric morphism ( geometric morphism(rev # 53) | history )
  by John Baez at October 15, 2018 at 10:00:22
• Tim Van der Linden ( Tim Van der Linden(rev # 3) | history )
  by Tim Porter at October 15, 2018 at 09:33:40
• blockchain ( blockchain(rev # 3) | history )
  by Richard Williamson at October 15, 2018 at 08:49:39
• Tim Berberich/master_thesis
  by Tim Berberich at October 15, 2018 at 06:39:08
• Tim Berberich
  by Tim Berberich at October 15, 2018 at 06:31:07
• Daniil Frumin ( Daniil Frumin(rev # 2) | history )
  by Daniil Frumin at October 15, 2018 at 06:17:00
• k-tuply monoidal n-category ( k-tuply monoidal n-category(rev # 46) | history )
  by Daniil Frumin at October 15, 2018 at 06:16:40
• Clark Barwick ( Clark Barwick(rev # 7) | history )
  by David Corfield at October 15, 2018 at 05:55:15
• blockchain ( blockchain(rev # 2) | history )
  by Richard Williamson at October 15, 2018 at 05:43:38
• blockchain ( blockchain(rev # 1) | history )
  by Richard Williamson at October 15, 2018 at 04:57:36
• Sandbox ( Sandbox(rev # 1702) | history )
  by Richard Williamson at October 15, 2018 at 03:38:04
• connected topos ( connected topos(rev # 18) | history )
  by John Baez at October 15, 2018 at 01:26:53
• Tannaka duality ( Tannaka duality(rev # 47) | history )
  by John Baez at October 15, 2018 at 00:11:18
• chain rule ( chain rule(rev # 17) | history )
  by Todd Trimble at October 14, 2018 at 19:34:55
• adic noetherian ring ( adic noetherian ring(rev # 8) | history )
  by Todd Trimble at October 14, 2018 at 19:32:34
• coinduction ( coinduction(rev # 16) | history )
  by Todd Trimble at October 14, 2018 at 19:10:40
• Ricci curvature ( Ricci curvature(rev # 9) | history )
  by Anonymous at October 14, 2018 at 17:45:13
• coinduction ( coinduction(rev # 15) | history )
  by Todd Trimble at October 14, 2018 at 16:21:41
• coinduction ( coinduction(rev # 14) | history )
  by Todd Trimble at October 14, 2018 at 15:36:33
• terminal coalgebra for an endofunctor ( terminal coalgebra for an endofunctor(rev # 27) | history )
  by Todd Trimble at October 14, 2018 at 15:28:41
• dependent linear type theory ( dependent linear type theory(rev # 4) | history )
  by David Corfield at October 14, 2018 at 15:23:09
• entropy ( entropy(rev # 39) | history )
  by Anodyne Howard at October 14, 2018 at 06:56:15
• model structures on dg-categories ( model structures on dg-categories(rev # 4) | history )
  by Anonymous at October 14, 2018 at 03:58:39
• quiver gauge theory ( quiver gauge theory(rev # 7) | history )
  by Urs Schreiber at October 14, 2018 at 02:30:12
• monoidal model category ( monoidal model category(rev # 38) | history )
  by Anonymous at October 13, 2018 at 21:38:57
• comma category ( comma category(rev # 51) | history )
  by John Baez at October 13, 2018 at 17:48:50
• Grothendieck's Galois theory ( Grothendieck's Galois theory(rev # 42) | history )
  by Anonymous at October 13, 2018 at 12:12:23
• George Janelidze ( George Janelidze(rev # 8) | history )
  by Anonymous at October 13, 2018 at 12:11:16
• Gelfand duality ( Gelfand duality(rev # 27) | history )
  by Anonymous at October 13, 2018 at 04:19:10
• predicative topos ( predicative topos(rev # 11) | history )
  by David Roberts at October 13, 2018 at 00:28:56
• Andree Ehresmann ( Andree Ehresmann(rev # 5) | history )
  by Tim Porter at October 12, 2018 at 15:19:09
• Esquisses mathématiques
  by Tim Porter at October 12, 2018 at 15:14:51
• quiver gauge theory ( quiver gauge theory(rev # 6) | history )
  by Urs Schreiber at October 12, 2018 at 14:28:32
• anabelian geometry ( anabelian geometry(rev # 32) | history )
  by MCarmona? at October 12, 2018 at 11:00:27
• essentially algebraic theory ( essentially algebraic theory(rev # 19) | history )
  by Richard Williamson at October 12, 2018 at 06:56:52
• essentially algebraic theory ( essentially algebraic theory(rev # 18) | history )
  by Bas Spitters at October 12, 2018 at 05:24:29
• Cisinski model structure ( Cisinski model structure(rev # 43) | history )
  by Anonymous at October 11, 2018 at 21:13:04
• CW approximation ( CW approximation(rev # 9) | history )
  by Anonymous at October 11, 2018 at 18:26:17
• Long March ( Long March(rev # 5) | history )
  by MCarmona? at October 11, 2018 at 13:30:19
• beta-ring ( beta-ring(rev # 5) | history )
  by David Corfield at October 11, 2018 at 12:37:31
• stable cohomotopy ( stable cohomotopy(rev # 13) | history )
  by Urs Schreiber at October 11, 2018 at 11:06:50
• rapidly decreasing function ( rapidly decreasing function(rev # 3) | history )
  by Anonymous at October 11, 2018 at 10:16:34
• monoid ( monoid(rev # 37) | history )
  by dorchard? at October 11, 2018 at 09:32:42
• stable cohomotopy ( stable cohomotopy(rev # 12) | history )
  by Urs Schreiber at October 11, 2018 at 09:31:28
• K-theory of a permutative category ( K-theory of a permutative category(rev # 15) | history )
  by Urs Schreiber at October 11, 2018 at 09:14:35
• stable cohomotopy ( stable cohomotopy(rev # 11) | history )
  by Urs Schreiber at October 11, 2018 at 08:44:05
• fractional D-brane ( fractional D-brane(rev # 21) | history )
  by Urs Schreiber at October 11, 2018 at 07:16:11
• orientifold ( orientifold(rev # 45) | history )
  by Urs Schreiber at October 11, 2018 at 07:06:39
• Dirac charge quantization ( Dirac charge quantization(rev # 9) | history )
  by Urs Schreiber at October 11, 2018 at 06:27:08
• Higgs field ( Higgs field(rev # 28) | history )
  by Urs Schreiber at October 11, 2018 at 06:10:37
• confinement ( confinement(rev # 16) | history )
  by Urs Schreiber at October 11, 2018 at 05:57:16
• perturbation theory ( perturbation theory(rev # 39) | history )
  by Urs Schreiber at October 11, 2018 at 05:45:46
• perturbative quantum field theory ( perturbative quantum field theory(rev # 34) | history )
  by Urs Schreiber at October 11, 2018 at 05:45:07
• non-perturbative effect ( non-perturbative effect(rev # 26) | history )
  by Urs Schreiber at October 11, 2018 at 05:41:53
• non-perturbative quantum field theory ( non-perturbative quantum field theory(rev # 11) | history )
  by Urs Schreiber at October 11, 2018 at 05:40:46
• Jürg Fröhlich ( Jürg Fröhlich(rev # 2) | history )
  by Urs Schreiber at October 11, 2018 at 05:36:12
• Richard Williamson ( Richard Williamson(rev # 5) | history )
  by Richard Williamson at October 11, 2018 at 05:09:02
• fractional D-brane ( fractional D-brane(rev # 20) | history )
  by Urs Schreiber at October 11, 2018 at 03:26:45
• orbifold ( orbifold(rev # 48) | history )
  by Urs Schreiber at October 11, 2018 at 02:24:39
• boundary conformal field theory ( boundary conformal field theory(rev # 10) | history )
  by Urs Schreiber at October 11, 2018 at 01:46:35
• regular monomorphism ( regular monomorphism(rev # 46) | history )
  by Mark S Davis? at October 10, 2018 at 21:54:53
• connection on a cubical set ( connection on a cubical set(rev # 15) | history )
  by Dmitri Pavlov at October 10, 2018 at 14:01:01
• RR field ( RR field(rev # 16) | history )
  by Urs Schreiber at October 10, 2018 at 13:45:21
• formal moduli problem ( formal moduli problem(rev # 10) | history )
  by Urs Schreiber at October 10, 2018 at 12:31:44
• stable homotopy type ( stable homotopy type(rev # 6) | history )
  by Urs Schreiber at October 10, 2018 at 11:10:12
• Sandbox ( Sandbox(rev # 1701) | history )
  by Urs Schreiber at October 10, 2018 at 10:44:04
• A first idea of quantum field theory -- Observables ( A first idea of quantum field theory -- Observables(rev # 38) | history )
  by Urs Schreiber at October 10, 2018 at 10:38:01
• geometry of physics -- perturbative quantum field theory ( geometry of physics -- perturbative quantum field theory(rev # 197) | history )
  by Urs Schreiber at October 10, 2018 at 10:34:01
• A first idea of quantum field theory -- Observables ( A first idea of quantum field theory -- Observables(rev # 37) | history )
  by Urs Schreiber at October 10, 2018 at 10:28:38
• higher inductive type ( higher inductive type(rev # 34) | history )
  by Bas Spitters at October 10, 2018 at 07:57:26
• K-theory of a permutative category ( K-theory of a permutative category(rev # 14) | history )
  by Urs Schreiber at October 10, 2018 at 07:47:26
• Bousfield localization of spectra ( Bousfield localization of spectra(rev # 39) | history )
  by Hieronymous Coward? at October 10, 2018 at 07:06:22
• indexed monoidal (infinity,1)-category ( indexed monoidal (infinity,1)-category(rev # 60) | history )
  by David Corfield at October 10, 2018 at 06:55:37
• structuralism ( structuralism(rev # 10) | history )
  by Urs Schreiber at October 10, 2018 at 06:11:40
• equivariant K-theory ( equivariant K-theory(rev # 27) | history )
  by Urs Schreiber at October 10, 2018 at 04:43:38
• transchromatic character ( transchromatic character(rev # 10) | history )
  by Urs Schreiber at October 10, 2018 at 04:41:21
• equivariant K-theory ( equivariant K-theory(rev # 26) | history )
  by David Corfield at October 10, 2018 at 04:07:21
• transchromatic character ( transchromatic character(rev # 9) | history )
  by Urs Schreiber at October 10, 2018 at 04:05:44
• character ( character(rev # 28) | history )
  by Urs Schreiber at October 10, 2018 at 03:59:23
• structuralism ( structuralism(rev # 9) | history )
  by Urs Schreiber at October 10, 2018 at 03:34:13
• equivariant K-theory ( equivariant K-theory(rev # 25) | history )
  by Urs Schreiber at October 10, 2018 at 03:25:18
• convenient category of topological spaces ( convenient category of topological spaces(rev # 42) | history )
  by Prof Ronald Brown? at October 9, 2018 at 16:26:12
• duality in string theory ( duality in string theory(rev # 18) | history )
  by Richard Williamson at October 9, 2018 at 16:13:05
• Tannaka duality ( Tannaka duality(rev # 46) | history )
  by Urs Schreiber at October 9, 2018 at 14:39:17
• McKay correspondence ( McKay correspondence(rev # 19) | history )
  by Urs Schreiber at October 9, 2018 at 13:59:44
• Saunders Mac Lane ( Saunders Mac Lane(rev # 15) | history )
  by Anonymous at October 9, 2018 at 13:40:02
• Věra Trnková ( Věra Trnková(rev # 4) | history )
  by Tomas Jakl? at October 9, 2018 at 12:54:55
• Sandbox ( Sandbox(rev # 1700) | history )
  by Anonymous at October 9, 2018 at 10:11:25
• equivariant K-theory ( equivariant K-theory(rev # 24) | history )
  by Urs Schreiber at October 9, 2018 at 09:42:15
• Sandbox ( Sandbox(rev # 1699) | history )
  by Richard Williamson at October 9, 2018 at 09:05:21
• Atiyah-Segal completion theorem ( Atiyah-Segal completion theorem(rev # 9) | history )
  by Urs Schreiber at October 9, 2018 at 08:56:11
• tetrahedron ( tetrahedron(rev # 6) | history )
  by Urs Schreiber at October 9, 2018 at 08:45:29
• octahedron ( octahedron(rev # 3) | history )
  by Urs Schreiber at October 9, 2018 at 08:43:40
• icosahedron ( icosahedron(rev # 4) | history )
  by Urs Schreiber at October 9, 2018 at 08:41:30