nLab
Latest Revisions

• CompLF/HOAS ( CompLF/HOAS(rev # 27) | history )
  by Matt Oliveri? at August 12, 2020 at 20:13:07
• CompLF/HOAS ( CompLF/HOAS(rev # 26) | history )
  by Matt Oliveri? at August 12, 2020 at 19:03:54
• Chern character ( Chern character(rev # 37) | history )
  by Urs Schreiber at August 12, 2020 at 13:07:50
• Jordan-Lie-Banach algebra ( Jordan-Lie-Banach algebra(rev # 13) | history )
  by Toby Bartels at August 12, 2020 at 11:01:25
• Planck's constant ( Planck's constant(rev # 17) | history )
  by Toby Bartels at August 12, 2020 at 11:01:06
• complex projective 3-space ( complex projective 3-space(rev # 3) | history )
  by Urs Schreiber at August 12, 2020 at 09:44:17
• twistor space ( twistor space(rev # 40) | history )
  by Urs Schreiber at August 12, 2020 at 09:43:30
• free functor ( free functor(rev # 32) | history )
  by Younesse Kaddar at August 12, 2020 at 09:00:36
• The Rising Sea ( The Rising Sea(rev # 13) | history )
  by Urs Schreiber at August 12, 2020 at 04:54:14
• The Rising Sea ( The Rising Sea(rev # 12) | history )
  by Tim Porter at August 12, 2020 at 04:48:20
• Weiping Zhang ( Weiping Zhang(rev # 2) | history )
  by Urs Schreiber at August 12, 2020 at 04:41:47
• Kefeng Liu ( Kefeng Liu(rev # 2) | history )
  by Urs Schreiber at August 12, 2020 at 04:41:17
• Fei Han ( Fei Han(rev # 2) | history )
  by Urs Schreiber at August 12, 2020 at 04:40:53
• Hořava-Witten theory ( Hořava-Witten theory(rev # 37) | history )
  by Urs Schreiber at August 12, 2020 at 04:37:10
• CompLF/HOAS ( CompLF/HOAS(rev # 25) | history )
  by Matt Oliveri? at August 12, 2020 at 02:22:39
• finite object ( finite object(rev # 22) | history )
  by Anonymous at August 11, 2020 at 23:52:14
• 2-Lawvere theory ( 2-Lawvere theory(rev # 5) | history )
  by Evan Patterson? at August 11, 2020 at 22:42:03
• Hiroyuki Shimizu
  by Urs Schreiber at August 11, 2020 at 16:49:23
• D=6 N=(2,0) SCFT ( D=6 N=(2,0) SCFT(rev # 66) | history )
  by Urs Schreiber at August 11, 2020 at 16:48:37
• D=6 N=(1,0) SCFT ( D=6 N=(1,0) SCFT(rev # 13) | history )
  by Urs Schreiber at August 11, 2020 at 16:47:46
• Yuji Tachikawa ( Yuji Tachikawa(rev # 6) | history )
  by Urs Schreiber at August 11, 2020 at 16:39:01
• Kantaro Ohmori ( Kantaro Ohmori(rev # 3) | history )
  by Urs Schreiber at August 11, 2020 at 16:35:11
• geometric engineering of quantum field theory ( geometric engineering of quantum field theory(rev # 16) | history )
  by Urs Schreiber at August 11, 2020 at 16:34:19
• Yuji Tachikawa ( Yuji Tachikawa(rev # 5) | history )
  by Urs Schreiber at August 11, 2020 at 15:27:03
• D=6 N=(1,0) SCFT ( D=6 N=(1,0) SCFT(rev # 12) | history )
  by Urs Schreiber at August 11, 2020 at 15:25:20
• Kantaro Ohmori ( Kantaro Ohmori(rev # 2) | history )
  by Urs Schreiber at August 11, 2020 at 15:24:46
• geometric engineering of quantum field theory ( geometric engineering of quantum field theory(rev # 15) | history )
  by Urs Schreiber at August 11, 2020 at 15:22:38
• Luis Scoccola ( Luis Scoccola(rev # 3) | history )
  by Urs Schreiber at August 11, 2020 at 10:47:39
• Egbert Rijke ( Egbert Rijke(rev # 5) | history )
  by Urs Schreiber at August 11, 2020 at 10:47:19
• J. Daniel Christensen ( J. Daniel Christensen(rev # 9) | history )
  by Urs Schreiber at August 11, 2020 at 10:46:59
• Morgan Opie
  by Urs Schreiber at August 11, 2020 at 10:46:24
• modal homotopy type theory ( modal homotopy type theory(rev # 14) | history )
  by Urs Schreiber at August 11, 2020 at 10:44:49
• localization of a space ( localization of a space(rev # 22) | history )
  by Urs Schreiber at August 11, 2020 at 10:43:59
• Sandbox ( Sandbox(rev # 2048) | history )
  by Urs Schreiber at August 11, 2020 at 10:27:57
• Egbert Rijke ( Egbert Rijke(rev # 4) | history )
  by Urs Schreiber at August 11, 2020 at 10:15:51
• J. Daniel Christensen ( J. Daniel Christensen(rev # 8) | history )
  by Urs Schreiber at August 11, 2020 at 10:14:34
• leptoquark ( leptoquark(rev # 38) | history )
  by Urs Schreiber at August 11, 2020 at 05:58:18
• flavour anomaly ( flavour anomaly(rev # 148) | history )
  by Urs Schreiber at August 11, 2020 at 05:58:04
• dual heterotic string theory ( dual heterotic string theory(rev # 15) | history )
  by Urs Schreiber at August 10, 2020 at 10:41:13
• Jordan-Banach algebra ( Jordan-Banach algebra(rev # 25) | history )
  by Toby Bartels at August 10, 2020 at 10:35:39
• generalized the ( generalized the(rev # 18) | history )
  by Toby Bartels at August 10, 2020 at 10:30:01
• Poisson algebra ( Poisson algebra(rev # 14) | history )
  by Toby Bartels at August 10, 2020 at 10:17:53
• connected space ( connected space(rev # 92) | history )
  by Anonymous at August 10, 2020 at 08:28:56
• symplectic leaf ( symplectic leaf(rev # 3) | history )
  by Anonymous at August 10, 2020 at 05:10:55
• Dirac charge quantization and generalized differential cohomology ( Dirac charge quantization and generalized differential cohomology(rev # 9) | history )
  by Urs Schreiber at August 10, 2020 at 04:56:55
• dual heterotic string theory ( dual heterotic string theory(rev # 14) | history )
  by Urs Schreiber at August 10, 2020 at 04:21:59
• division algebra and supersymmetry ( division algebra and supersymmetry(rev # 33) | history )
  by Urs Schreiber at August 10, 2020 at 02:15:05
• Feynman transform ( Feynman transform(rev # 6) | history )
  by Anonymous at August 9, 2020 at 23:56:03
• Lambda-ring ( Lambda-ring(rev # 42) | history )
  by Anonymous at August 9, 2020 at 22:01:14
• SupLat ( SupLat(rev # 7) | history )
  by Younesse Kaddar at August 9, 2020 at 16:21:30
• SL(2,H) ( SL(2,H)(rev # 3) | history )
  by Urs Schreiber at August 9, 2020 at 15:51:02
• SL(2,H) ( SL(2,H)(rev # 2) | history )
  by Urs Schreiber at August 9, 2020 at 15:08:20
• Dieudonné determinant ( Dieudonné determinant(rev # 2) | history )
  by Urs Schreiber at August 9, 2020 at 15:06:07
• Dieudonné determinant ( Dieudonné determinant(rev # 1) | history )
  by Urs Schreiber at August 9, 2020 at 14:14:51
• Jean Dieudonné ( Jean Dieudonné(rev # 6) | history )
  by Urs Schreiber at August 9, 2020 at 13:56:18
• determinant ( determinant(rev # 27) | history )
  by Urs Schreiber at August 9, 2020 at 13:52:42
• division algebra and supersymmetry ( division algebra and supersymmetry(rev # 32) | history )
  by Urs Schreiber at August 9, 2020 at 13:48:25
• geometry of physics -- supersymmetry ( geometry of physics -- supersymmetry(rev # 53) | history )
  by Urs Schreiber at August 9, 2020 at 13:48:01
• real irreducible spin representations -- table ( real irreducible spin representations -- table(rev # 2) | history )
  by Urs Schreiber at August 9, 2020 at 13:47:30
• spin representation ( spin representation(rev # 59) | history )
  by Urs Schreiber at August 9, 2020 at 13:46:18
• quaternion ( quaternion(rev # 17) | history )
  by Urs Schreiber at August 9, 2020 at 13:44:40
• Spin(5,1)
  by Urs Schreiber at August 9, 2020 at 13:44:12
• Spin(5) ( Spin(5)(rev # 14) | history )
  by Urs Schreiber at August 9, 2020 at 13:43:55
• Carlos Batista
  by Urs Schreiber at August 9, 2020 at 13:40:36
• Joás Venâncio
  by Urs Schreiber at August 9, 2020 at 13:38:58
• SL(2,H) ( SL(2,H)(rev # 1) | history )
  by Urs Schreiber at August 9, 2020 at 13:36:44
• quaternionic unitary group ( quaternionic unitary group(rev # 10) | history )
  by Urs Schreiber at August 9, 2020 at 13:16:17
• CW complex ( CW complex(rev # 71) | history )
  by Nikolaj K at August 9, 2020 at 09:57:48
• polynomial functor ( polynomial functor(rev # 32) | history )
  by Nikolaj K at August 9, 2020 at 09:55:38
• sketch ( sketch(rev # 23) | history )
  by Tim Porter at August 9, 2020 at 07:41:25
• principal bundle ( principal bundle(rev # 51) | history )
  by Urs Schreiber at August 9, 2020 at 06:02:24
• Borel construction ( Borel construction(rev # 10) | history )
  by Urs Schreiber at August 9, 2020 at 06:00:19
• vertical categorification ( vertical categorification(rev # 53) | history )
  by Urs Schreiber at August 8, 2020 at 15:26:39
• string theory FAQ ( string theory FAQ(rev # 85) | history )
  by Urs Schreiber at August 8, 2020 at 14:01:19
• structure in model theory ( structure in model theory(rev # 18) | history )
  by Urs Schreiber at August 8, 2020 at 13:57:01
• homotopy theory ( homotopy theory(rev # 71) | history )
  by Urs Schreiber at August 8, 2020 at 13:56:25
• univalent foundations for mathematics ( univalent foundations for mathematics(rev # 11) | history )
  by Urs Schreiber at August 8, 2020 at 13:53:18
• homotopy type theory ( homotopy type theory(rev # 117) | history )
  by Urs Schreiber at August 8, 2020 at 13:52:44
• higher structure
  by Urs Schreiber at August 8, 2020 at 13:52:14
• homotopical algebraic quantum field theory ( homotopical algebraic quantum field theory(rev # 15) | history )
  by Urs Schreiber at August 8, 2020 at 13:50:20
• higher linear algebra ( higher linear algebra(rev # 3) | history )
  by Urs Schreiber at August 8, 2020 at 13:49:54
• higher category theory and physics ( higher category theory and physics(rev # 74) | history )
  by Urs Schreiber at August 8, 2020 at 13:49:04
• homotopical algebra ( homotopical algebra(rev # 13) | history )
  by Urs Schreiber at August 8, 2020 at 13:48:47
• higher algebra ( higher algebra(rev # 32) | history )
  by Urs Schreiber at August 8, 2020 at 13:48:33
• higher complex analytic geometry ( higher complex analytic geometry(rev # 7) | history )
  by Urs Schreiber at August 8, 2020 at 13:48:16
• higher prequantum geometry ( higher prequantum geometry(rev # 12) | history )
  by Urs Schreiber at August 8, 2020 at 13:48:00
• infinity-Lie theory ( infinity-Lie theory(rev # 5) | history )
  by Urs Schreiber at August 8, 2020 at 13:47:42
• higher differential geometry ( higher differential geometry(rev # 16) | history )
  by Urs Schreiber at August 8, 2020 at 13:47:28
• higher geometry ( higher geometry(rev # 28) | history )
  by Urs Schreiber at August 8, 2020 at 13:46:50
• higher topos theory ( higher topos theory(rev # 12) | history )
  by Urs Schreiber at August 8, 2020 at 13:46:10
• higher category theory ( higher category theory(rev # 78) | history )
  by Urs Schreiber at August 8, 2020 at 13:45:41
• Jordan-Lie-Banach algebra ( Jordan-Lie-Banach algebra(rev # 12) | history )
  by Toby Bartels at August 8, 2020 at 12:09:14
• univalent foundations for mathematics ( univalent foundations for mathematics(rev # 10) | history )
  by Mike Shulman at August 8, 2020 at 12:00:25
• combinatorial model category ( combinatorial model category(rev # 67) | history )
  by Tim Porter at August 8, 2020 at 10:19:27
• cohomotopy ( cohomotopy(rev # 72) | history )
  by Urs Schreiber at August 8, 2020 at 09:48:49
• univalent foundations for mathematics ( univalent foundations for mathematics(rev # 9) | history )
  by Ulrik Buchholtz at August 8, 2020 at 09:07:51
• effective monomorphism ( effective monomorphism(rev # 5) | history )
  by Tim Porter at August 8, 2020 at 05:16:33
• semi-topological 4d Chern-Simons theory ( semi-topological 4d Chern-Simons theory(rev # 9) | history )
  by Urs Schreiber at August 7, 2020 at 11:56:39
• classical r-matrix ( classical r-matrix(rev # 6) | history )
  by Urs Schreiber at August 7, 2020 at 11:55:23
• spin representation ( spin representation(rev # 58) | history )
  by Urs Schreiber at August 7, 2020 at 10:57:26