nLab Latest Revisions

• equivalence of types ( equivalence of types(rev # 62) | history )
  by Anonymouse? at April 10, 2025 at 17:36:09
• simplicial type theory ( simplicial type theory(rev # 36) | history )
  by Anonymouse? at April 10, 2025 at 17:26:12
• cospan in simplicial type theory ( cospan in simplicial type theory(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 17:24:32
• span in simplicial type theory ( span in simplicial type theory(rev # 5) | history )
  by Anonymouse? at April 10, 2025 at 17:24:20
• pair of composable morphisms ( pair of composable morphisms(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 17:21:08
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 6) | history )
  by Anonymouse? at April 10, 2025 at 16:47:39
• pair of composable morphisms ( pair of composable morphisms(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 16:13:12
• composite of morphisms ( composite of morphisms(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 16:05:13
• Segal type ( Segal type(rev # 18) | history )
  by Anonymouse? at April 10, 2025 at 15:52:50
• hom type ( hom type(rev # 13) | history )
  by Anonymouse? at April 10, 2025 at 15:22:24
• Dale Husemöller ( Dale Husemöller(rev # 8) | history )
  by Urs Schreiber at April 10, 2025 at 15:18:49
• clutching construction ( clutching construction(rev # 10) | history )
  by Urs Schreiber at April 10, 2025 at 15:16:42
• fiber bundle ( fiber bundle(rev # 49) | history )
  by Urs Schreiber at April 10, 2025 at 15:15:11
• Segal type ( Segal type(rev # 17) | history )
  by Anonymouse? at April 10, 2025 at 15:10:25
• cospan in simplicial type theory ( cospan in simplicial type theory(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 14:53:24
• span in simplicial type theory ( span in simplicial type theory(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 14:53:01
• event structure ( event structure(rev # 17) | history )
  by Hugo Paquet? at April 10, 2025 at 14:52:51
• composite of morphisms ( composite of morphisms(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 14:50:52
• cospan in simplicial type theory ( cospan in simplicial type theory(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 14:19:57
• span in simplicial type theory ( span in simplicial type theory(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 14:19:42
• Segal type ( Segal type(rev # 16) | history )
  by Anonymouse? at April 10, 2025 at 14:11:38
• simplicial type theory ( simplicial type theory(rev # 35) | history )
  by Anonymouse? at April 10, 2025 at 14:10:45
• pair of composable morphisms ( pair of composable morphisms(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 14:00:32
• skeletal type ( skeletal type(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 13:34:34
• univalent type ( univalent type(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 13:34:22
• gaunt type ( gaunt type(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 13:33:18
• gaunt category ( gaunt category(rev # 19) | history )
  by Anonymouse? at April 10, 2025 at 13:32:24
• simplicial type theory ( simplicial type theory(rev # 34) | history )
  by Anonymouse? at April 10, 2025 at 13:24:13
• Segal type ( Segal type(rev # 15) | history )
  by Anonymouse? at April 10, 2025 at 13:08:43
• cospan in simplicial type theory ( cospan in simplicial type theory(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 13:05:09
• span in simplicial type theory ( span in simplicial type theory(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 13:04:58
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 7) | history )
  by Anonymouse? at April 10, 2025 at 12:59:43
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 6) | history )
  by Anonymouse? at April 10, 2025 at 12:43:44
• span in simplicial type theory ( span in simplicial type theory(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 12:33:20
• event structure ( event structure(rev # 16) | history )
  by David Corfield at April 10, 2025 at 12:23:24
• G. Winskel ( G. Winskel(rev # 2) | history )
  by David Corfield at April 10, 2025 at 12:22:58
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 5) | history )
  by Anonymouse? at April 10, 2025 at 11:53:44
• (infinity,1)-pullback ( (infinity,1)-pullback(rev # 13) | history )
  by Anonymouse? at April 10, 2025 at 11:47:00
• (∞,1)-limit ( (∞,1)-limit(rev # 81) | history )
  by Anonymouse? at April 10, 2025 at 11:45:42
• (infinity,1)-product ( (infinity,1)-product(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 11:45:19
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 6) | history )
  by Anonymouse? at April 10, 2025 at 11:42:49
• (infinity,1)-pushout ( (infinity,1)-pushout(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 11:41:54
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 11:40:37
• event structure ( event structure(rev # 15) | history )
  by David Corfield at April 10, 2025 at 11:33:00
• analytic LPO ( analytic LPO(rev # 13) | history )
  by Anonymouse? at April 10, 2025 at 11:26:42
• propositional resizing ( propositional resizing(rev # 24) | history )
  by Anonymouse? at April 10, 2025 at 11:26:13
• one-point compactification ( one-point compactification(rev # 54) | history )
  by Urs Schreiber at April 10, 2025 at 11:15:46
• Introduction to Stable homotopy theory -- 1-1 ( Introduction to Stable homotopy theory -- 1-1(rev # 43) | history )
  by Sverre Lunøe-Nielsen? at April 10, 2025 at 09:59:25
• Majorana zero mode ( Majorana zero mode(rev # 22) | history )
  by Urs Schreiber at April 10, 2025 at 09:56:45
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 423) | history )
  by Urs Schreiber at April 10, 2025 at 09:47:15
• local system ( local system(rev # 62) | history )
  by Urs Schreiber at April 10, 2025 at 07:30:10
• Tamás Szamuely ( Tamás Szamuely(rev # 4) | history )
  by Urs Schreiber at April 10, 2025 at 07:29:00
• Galois group ( Galois group(rev # 15) | history )
  by Urs Schreiber at April 10, 2025 at 07:28:12
• fundamental group ( fundamental group(rev # 36) | history )
  by Urs Schreiber at April 10, 2025 at 07:27:28
• parallel transport ( parallel transport(rev # 29) | history )
  by Urs Schreiber at April 10, 2025 at 07:14:10
• fundamental groupoid ( fundamental groupoid(rev # 44) | history )
  by Urs Schreiber at April 10, 2025 at 07:06:00
• simplicial type theory ( simplicial type theory(rev # 33) | history )
  by Anonymouse? at April 10, 2025 at 06:40:17
• finitely cocomplete type ( finitely cocomplete type(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 06:34:36
• finitely complete type ( finitely complete type(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 06:34:15
• (infinity,1)-pushout ( (infinity,1)-pushout(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 06:32:49
• pushout in simplicial type theory > history ( pushout in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 06:31:13
• pullback in simplicial type theory > history ( pullback in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 06:28:17
• (infinity,1)-pullback ( (infinity,1)-pullback(rev # 12) | history )
  by Anonymouse? at April 10, 2025 at 06:27:28
• (∞,1)-limit ( (∞,1)-limit(rev # 80) | history )
  by Anonymouse? at April 10, 2025 at 06:11:46
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 5) | history )
  by Anonymouse? at April 10, 2025 at 06:07:51
• coequalizer in simplicial type theory > history ( coequalizer in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 05:57:42
• simplicial type theory ( simplicial type theory(rev # 32) | history )
  by Anonymouse? at April 10, 2025 at 05:37:41
• finitely cocomplete (infinity,1)-category
  by Anonymouse? at April 10, 2025 at 05:34:50
• finitely complete (infinity,1)-category ( finitely complete (infinity,1)-category(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 05:34:05
• finitely complete type ( finitely complete type(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 05:31:15
• finitely cocomplete type ( finitely cocomplete type(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 05:30:55
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 05:20:16
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 05:07:49
• simplicial type theory ( simplicial type theory(rev # 31) | history )
  by Anonymouse? at April 10, 2025 at 04:58:58
• Sean Hartnoll ( Sean Hartnoll(rev # 8) | history )
  by Urs Schreiber at April 10, 2025 at 04:58:56
• IKKT matrix model ( IKKT matrix model(rev # 51) | history )
  by Urs Schreiber at April 10, 2025 at 04:58:21
• finitely complete type ( finitely complete type(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 04:54:44
• equalizer in simplicial type theory > history ( equalizer in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 04:47:51
• simplicial type theory ( simplicial type theory(rev # 30) | history )
  by Anonymouse? at April 10, 2025 at 04:25:37
• Rezk type ( Rezk type(rev # 8) | history )
  by Anonymouse? at April 10, 2025 at 03:27:21
• univalent type ( univalent type(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 03:26:33
• simplicially discrete type ( simplicially discrete type(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 03:23:44
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 02:58:17
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 02:58:03
• initial object in an (infinity,1)-category ( initial object in an (infinity,1)-category(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 02:57:38
• terminal object in simplicial type theory > history ( terminal object in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 02:57:25
• univalent type ( univalent type(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 02:54:19
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 5) | history )
  by Anonymouse? at April 10, 2025 at 02:53:16
• pair of composable morphisms ( pair of composable morphisms(rev # 1) | history )
  by Anonymouse? at April 10, 2025 at 02:30:38
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 02:18:47
• Segal type ( Segal type(rev # 14) | history )
  by Anonymouse? at April 10, 2025 at 02:14:59
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 02:02:50
• hom type ( hom type(rev # 12) | history )
  by Anonymouse? at April 10, 2025 at 01:34:49
• simplicial type theory ( simplicial type theory(rev # 29) | history )
  by Anonymouse? at April 10, 2025 at 01:27:14
• simplicial type theory ( simplicial type theory(rev # 28) | history )
  by Anonymouse? at April 9, 2025 at 23:31:41
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 23:18:50
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 23:18:18
• simplicial type theory ( simplicial type theory(rev # 27) | history )
  by Anonymouse? at April 9, 2025 at 22:09:14
• initial object ( initial object(rev # 43) | history )
  by Anonymouse? at April 9, 2025 at 22:03:16
• initial object in an (infinity,1)-category ( initial object in an (infinity,1)-category(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 22:02:54