nLab Latest Revisions

• terminal object in simplicial type theory > history ( terminal object in simplicial type theory > history(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 22:02:08
• terminal object ( terminal object(rev # 30) | history )
  by Anonymouse? at April 9, 2025 at 21:55:58
• Segal type ( Segal type(rev # 13) | history )
  by Anonymouse? at April 9, 2025 at 21:50:55
• terminal object in an (infinity,1)-category ( terminal object in an (infinity,1)-category(rev # 14) | history )
  by Anonymouse? at April 9, 2025 at 21:48:57
• formal (infinity,1)-category theory ( formal (infinity,1)-category theory(rev # 12) | history )
  by Anonymouse? at April 9, 2025 at 21:45:37
• César Bardomiano Martínez
  by Anonymouse? at April 9, 2025 at 21:45:07
• skeletal type ( skeletal type(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 21:20:52
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 4) | history )
  by Anonymouse? at April 9, 2025 at 21:19:38
• gaunt type ( gaunt type(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 21:15:27
• gaunt category ( gaunt category(rev # 18) | history )
  by Anonymouse? at April 9, 2025 at 21:11:47
• Rezk type ( Rezk type(rev # 7) | history )
  by Anonymouse? at April 9, 2025 at 21:11:03
• Segal type ( Segal type(rev # 12) | history )
  by Anonymouse? at April 9, 2025 at 20:52:01
• skeleton ( skeleton(rev # 42) | history )
  by Anonymouse? at April 9, 2025 at 20:51:51
• univalent category ( univalent category(rev # 38) | history )
  by Anonymouse? at April 9, 2025 at 20:47:11
• precategory ( precategory(rev # 19) | history )
  by Anonymouse? at April 9, 2025 at 20:38:14
• simplicial type theory ( simplicial type theory(rev # 26) | history )
  by Anonymouse? at April 9, 2025 at 20:31:56
• heterogeneous hom type ( heterogeneous hom type(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 20:01:19
• covariant type family ( covariant type family(rev # 3) | history )
  by Anonymouse? at April 9, 2025 at 19:52:50
• hom type ( hom type(rev # 11) | history )
  by Anonymouse? at April 9, 2025 at 19:10:34
• braid group representations -- references ( braid group representations -- references(rev # 18) | history )
  by Urs Schreiber at April 9, 2025 at 18:48:10
• hom type ( hom type(rev # 10) | history )
  by Anonymouse? at April 9, 2025 at 18:13:27
• defect anyons -- references ( defect anyons -- references(rev # 16) | history )
  by Urs Schreiber at April 9, 2025 at 18:12:44
• simplicially discrete type ( simplicially discrete type(rev # 2) | history )
  by Anonymouse? at April 9, 2025 at 18:10:55
• op modality ( op modality(rev # 6) | history )
  by Anonymouse? at April 9, 2025 at 18:01:01
• twisted arrow modality ( twisted arrow modality(rev # 3) | history )
  by Anonymouse? at April 9, 2025 at 18:00:22
• Rezk type ( Rezk type(rev # 6) | history )
  by Anonymouse? at April 9, 2025 at 17:59:16
• Segal type ( Segal type(rev # 11) | history )
  by Anonymouse? at April 9, 2025 at 17:59:08
• simplicial type theory ( simplicial type theory(rev # 25) | history )
  by Anonymouse? at April 9, 2025 at 17:56:14
• category object in an (infinity,1)-category ( category object in an (infinity,1)-category(rev # 63) | history )
  by Anonymouse? at April 9, 2025 at 17:49:57
• complete Segal space ( complete Segal space(rev # 54) | history )
  by Anonymouse? at April 9, 2025 at 17:28:37
• simplicial type theory ( simplicial type theory(rev # 24) | history )
  by Anonymouse? at April 9, 2025 at 17:19:13
• quantum observables as groupoid convolution -- references ( quantum observables as groupoid convolution -- references(rev # 4) | history )
  by Urs Schreiber at April 9, 2025 at 17:15:54
• Miguel A. Rodriguez
  by Urs Schreiber at April 9, 2025 at 17:13:00
• Alberto Ibort ( Alberto Ibort(rev # 4) | history )
  by Urs Schreiber at April 9, 2025 at 17:12:35
• category algebra ( category algebra(rev # 72) | history )
  by Urs Schreiber at April 9, 2025 at 17:11:31
• action groupoid ( action groupoid(rev # 34) | history )
  by Urs Schreiber at April 9, 2025 at 17:10:01
• groupoid representation ( groupoid representation(rev # 3) | history )
  by Urs Schreiber at April 9, 2025 at 17:08:49
• groupoid ( groupoid(rev # 99) | history )
  by Urs Schreiber at April 9, 2025 at 17:02:37
• triangulated type theory ( triangulated type theory(rev # 4) | history )
  by Anonymouse? at April 9, 2025 at 17:01:20
• simplicial object in an (infinity,1)-category ( simplicial object in an (infinity,1)-category(rev # 16) | history )
  by Anonymouse? at April 9, 2025 at 16:56:44
• cubical object in an (infinity,1)-category
  by Anonymouse? at April 9, 2025 at 16:56:22
• cubical infinity-groupoid ( cubical infinity-groupoid(rev # 2) | history )
  by Anonymouse? at April 9, 2025 at 16:47:08
• cubical object ( cubical object(rev # 3) | history )
  by Anonymouse? at April 9, 2025 at 16:43:33
• cubical set ( cubical set(rev # 88) | history )
  by Anonymouse? at April 9, 2025 at 16:39:44
• formal (infinity,1)-category theory ( formal (infinity,1)-category theory(rev # 11) | history )
  by Anonymouse? at April 9, 2025 at 16:29:51
• cubical-simplicial set
  by Anonymouse? at April 9, 2025 at 16:02:29
• cubical infinity-groupoid ( cubical infinity-groupoid(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 16:02:09
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 8) | history )
  by Anonymouse? at April 9, 2025 at 15:56:42
• Marcel Berger ( Marcel Berger(rev # 4) | history )
  by Zoran Škoda at April 9, 2025 at 15:55:46
• harmonic ratio ( harmonic ratio(rev # 4) | history )
  by Zoran Škoda at April 9, 2025 at 15:54:02
• bisimplicial set ( bisimplicial set(rev # 41) | history )
  by Anonymouse? at April 9, 2025 at 15:48:51
• bicubical set ( bicubical set(rev # 2) | history )
  by Anonymouse? at April 9, 2025 at 15:45:43
• bisimplicial object ( bisimplicial object(rev # 10) | history )
  by Anonymouse? at April 9, 2025 at 15:42:29
• triangulated type theory ( triangulated type theory(rev # 3) | history )
  by Anonymouse? at April 9, 2025 at 15:09:02
• Clifford algebra ( Clifford algebra(rev # 40) | history )
  by Dmitri Pavlov at April 9, 2025 at 14:52:26
• cohomotopy ( cohomotopy(rev # 118) | history )
  by Urs Schreiber at April 9, 2025 at 14:45:04
• homotopy theory and algebraic topology -- references ( homotopy theory and algebraic topology -- references(rev # 34) | history )
  by Urs Schreiber at April 9, 2025 at 14:40:19
• simplicial type theory ( simplicial type theory(rev # 23) | history )
  by Anonymouse? at April 9, 2025 at 14:31:24
• compact-open topology ( compact-open topology(rev # 43) | history )
  by Urs Schreiber at April 9, 2025 at 14:30:19
• opposite simplicial infinity-groupoid ( opposite simplicial infinity-groupoid(rev # 2) | history )
  by Tim Porter at April 9, 2025 at 14:28:20
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 7) | history )
  by Anonymouse? at April 9, 2025 at 14:28:18
• classifying space ( classifying space(rev # 85) | history )
  by Urs Schreiber at April 9, 2025 at 14:22:52
• fundamental group ( fundamental group(rev # 35) | history )
  by Urs Schreiber at April 9, 2025 at 14:16:51
• group algebra ( group algebra(rev # 42) | history )
  by Urs Schreiber at April 9, 2025 at 14:10:01
• Hopf algebra ( Hopf algebra(rev # 67) | history )
  by Urs Schreiber at April 9, 2025 at 14:07:01
• Lie algebra ( Lie algebra(rev # 68) | history )
  by Urs Schreiber at April 9, 2025 at 14:06:24
• Lie group ( Lie group(rev # 73) | history )
  by Urs Schreiber at April 9, 2025 at 14:05:59
• Giuseppe Marmo ( Giuseppe Marmo(rev # 4) | history )
  by Urs Schreiber at April 9, 2025 at 14:04:27
• A. P. Balachandran ( A. P. Balachandran(rev # 11) | history )
  by Urs Schreiber at April 9, 2025 at 14:03:56
• group theory ( group theory(rev # 25) | history )
  by Urs Schreiber at April 9, 2025 at 14:00:53
• quantum observables as groupoid convolution -- references ( quantum observables as groupoid convolution -- references(rev # 3) | history )
  by Urs Schreiber at April 9, 2025 at 13:55:52
• Alberto Ibort ( Alberto Ibort(rev # 3) | history )
  by Urs Schreiber at April 9, 2025 at 13:53:09
• Florio M. Ciaglia ( Florio M. Ciaglia(rev # 2) | history )
  by Urs Schreiber at April 9, 2025 at 13:52:51
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 6) | history )
  by Anonymouse? at April 9, 2025 at 13:38:27
• Clifford group ( Clifford group(rev # 2) | history )
  by Urs Schreiber at April 9, 2025 at 13:09:17
• Rezk completion ( Rezk completion(rev # 10) | history )
  by Anonymouse? at April 9, 2025 at 13:07:58
• Majorana zero mode ( Majorana zero mode(rev # 21) | history )
  by Urs Schreiber at April 9, 2025 at 13:06:23
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 5) | history )
  by Anonymouse? at April 9, 2025 at 13:03:24
• op modality ( op modality(rev # 5) | history )
  by Anonymouse? at April 9, 2025 at 13:00:09
• opposite simplicial infinity-groupoid ( opposite simplicial infinity-groupoid(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 12:43:06
• op modality ( op modality(rev # 4) | history )
  by Anonymouse? at April 9, 2025 at 12:20:19
• quantum logic gate ( quantum logic gate(rev # 23) | history )
  by Urs Schreiber at April 9, 2025 at 12:15:28
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 4) | history )
  by Anonymouse? at April 9, 2025 at 12:05:14
• opposite (infinity,1)-category ( opposite (infinity,1)-category(rev # 5) | history )
  by Anonymouse? at April 9, 2025 at 12:04:42
• Pauli gate ( Pauli gate(rev # 5) | history )
  by Urs Schreiber at April 9, 2025 at 11:33:39
• Javad Shabani ( Javad Shabani(rev # 3) | history )
  by Urs Schreiber at April 9, 2025 at 08:07:16
• Owen Gwilliam ( Owen Gwilliam(rev # 10) | history )
  by Urs Schreiber at April 9, 2025 at 05:40:36
• generalized global symmetry ( generalized global symmetry(rev # 30) | history )
  by Urs Schreiber at April 9, 2025 at 05:39:50
• quantization of M2-brane to matrix model -- references ( quantization of M2-brane to matrix model -- references(rev # 13) | history )
  by Urs Schreiber at April 9, 2025 at 05:18:10
• triangulated type theory ( triangulated type theory(rev # 2) | history )
  by Anonymouse? at April 9, 2025 at 05:14:04
• neural network ( neural network(rev # 30) | history )
  by Urs Schreiber at April 9, 2025 at 05:01:40
• simplicial type theory ( simplicial type theory(rev # 22) | history )
  by Anonymouse? at April 9, 2025 at 04:59:39
• triangulated type theory ( triangulated type theory(rev # 1) | history )
  by Anonymouse? at April 9, 2025 at 04:40:18
• triangulated category ( triangulated category(rev # 62) | history )
  by Urs Schreiber at April 9, 2025 at 03:46:53
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 3) | history )
  by Anonymouse? at April 9, 2025 at 02:34:53
• simplicial type theory ( simplicial type theory(rev # 21) | history )
  by Anonymouse? at April 8, 2025 at 23:18:40
• axiom of cohesion ( axiom of cohesion(rev # 27) | history )
  by Anonymouse? at April 8, 2025 at 22:23:26
• Infinity-Grpd ( Infinity-Grpd(rev # 24) | history )
  by Anonymouse? at April 8, 2025 at 20:10:23
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 2) | history )
  by Anonymouse? at April 8, 2025 at 20:08:23
• infinity-groupoid ( infinity-groupoid(rev # 52) | history )
  by Anonymouse? at April 8, 2025 at 20:06:55