nLab Latest Revisions

• small presheaf ( small presheaf(rev # 11) | history )
  by David Roberts at March 30, 2023 at 02:09:36
• cartesian object ( cartesian object(rev # 6) | history )
  by Evan Patterson at March 29, 2023 at 23:14:30
• entanglement ( entanglement(rev # 35) | history )
  by Urs Schreiber at March 29, 2023 at 21:49:35
• John Watrous
  by Urs Schreiber at March 29, 2023 at 21:36:47
• quantum information ( quantum information(rev # 54) | history )
  by Urs Schreiber at March 29, 2023 at 21:33:29
• complex projective space ( complex projective space(rev # 42) | history )
  by Urs Schreiber at March 29, 2023 at 20:59:39
• coherent state ( coherent state(rev # 22) | history )
  by Urs Schreiber at March 29, 2023 at 20:58:20
• density matrix ( density matrix(rev # 20) | history )
  by Urs Schreiber at March 29, 2023 at 20:57:33
• quantum operation ( quantum operation(rev # 89) | history )
  by Urs Schreiber at March 29, 2023 at 20:56:37
• entropy ( entropy(rev # 60) | history )
  by Urs Schreiber at March 29, 2023 at 20:55:47
• entanglement ( entanglement(rev # 34) | history )
  by Urs Schreiber at March 29, 2023 at 20:53:21
• Ingemar Bengtsson ( Ingemar Bengtsson(rev # 4) | history )
  by Urs Schreiber at March 29, 2023 at 20:52:06
• Karol Życzkowski
  by Urs Schreiber at March 29, 2023 at 20:51:08
• quantum mechanics ( quantum mechanics(rev # 90) | history )
  by Urs Schreiber at March 29, 2023 at 20:49:12
• fibred category theory ( fibred category theory(rev # 3) | history )
  by Matteo Capucci at March 29, 2023 at 20:28:42
• EPR paradox ( EPR paradox(rev # 12) | history )
  by Urs Schreiber at March 29, 2023 at 18:15:31
• bunched logic ( bunched logic(rev # 16) | history )
  by Urs Schreiber at March 29, 2023 at 18:11:21
• directed homotopy type theory ( directed homotopy type theory(rev # 19) | history )
  by Urs Schreiber at March 29, 2023 at 17:17:09
• EPR paradox ( EPR paradox(rev # 11) | history )
  by Urs Schreiber at March 29, 2023 at 16:53:01
• parameterized quantum system ( parameterized quantum system(rev # 6) | history )
  by Urs Schreiber at March 29, 2023 at 16:52:40
• Muriel Livernet ( Muriel Livernet(rev # 2) | history )
  by Zoran Škoda at March 29, 2023 at 16:40:13
• free Lie algebra ( free Lie algebra(rev # 6) | history )
  by Zoran Škoda at March 29, 2023 at 16:36:00
• recognition of relative loop spaces ( recognition of relative loop spaces(rev # 17) | history )
  by Renato V V? at March 29, 2023 at 16:34:55
• straightening functor ( straightening functor(rev # 11) | history )
  by Urs Schreiber at March 29, 2023 at 16:29:07
• Hoang Kim Nguyen
  by Urs Schreiber at March 29, 2023 at 16:23:50
• Denis-Charles Cisinski ( Denis-Charles Cisinski(rev # 17) | history )
  by Urs Schreiber at March 29, 2023 at 16:21:40
• universal fibration of (infinity,1)-categories ( universal fibration of (infinity,1)-categories(rev # 20) | history )
  by Urs Schreiber at March 29, 2023 at 16:20:43
• (infinity,1)-Grothendieck construction ( (infinity,1)-Grothendieck construction(rev # 53) | history )
  by Urs Schreiber at March 29, 2023 at 16:14:13
• Simon Burton ( Simon Burton(rev # 2) | history )
  by Urs Schreiber at March 29, 2023 at 15:49:59
• anyonic topological order via braided fusion categories -- references ( anyonic topological order via braided fusion categories -- references(rev # 14) | history )
  by Urs Schreiber at March 29, 2023 at 15:44:24
• directed homotopy type theory ( directed homotopy type theory(rev # 18) | history )
  by Urs Schreiber at March 29, 2023 at 15:24:30
• Christian Saemann ( Christian Saemann(rev # 11) | history )
  by Dmitri Pavlov at March 29, 2023 at 15:23:31
• fibred category theory ( fibred category theory(rev # 2) | history )
  by Urs Schreiber at March 29, 2023 at 15:22:09
• Grothendieck fibration ( Grothendieck fibration(rev # 95) | history )
  by Urs Schreiber at March 29, 2023 at 15:21:01
• empty 171 ( empty 171(rev # 2) | history )
  by Urs Schreiber at March 29, 2023 at 13:45:45
• fibred category theory ( fibred category theory(rev # 1) | history )
  by Matteo Capucci at March 29, 2023 at 13:42:17
• João Faria Martins ( João Faria Martins(rev # 8) | history )
  by Urs Schreiber at March 29, 2023 at 13:32:30
• fibred category theory - contents
  by Matteo Capucci at March 29, 2023 at 13:30:23
• HQFT ( HQFT(rev # 31) | history )
  by Urs Schreiber at March 29, 2023 at 13:29:58
• definability (fibred category theory) ( definability (fibred category theory)(rev # 5) | history )
  by Matteo Capucci at March 29, 2023 at 13:28:31
• Sandbox ( Sandbox(rev # 2857) | history )
  by Matteo Capucci at March 29, 2023 at 13:27:10
• empty 171 ( empty 171(rev # 1) | history )
  by Matteo Capucci at March 29, 2023 at 13:25:24
• definability (fibred category theory) ( definability (fibred category theory)(rev # 4) | history )
  by Urs Schreiber at March 29, 2023 at 13:11:33
• dual fibration ( dual fibration(rev # 4) | history )
  by Matteo Capucci at March 29, 2023 at 13:08:21
• Frank Quinn ( Frank Quinn(rev # 7) | history )
  by Urs Schreiber at March 29, 2023 at 13:08:04
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 142) | history )
  by Urs Schreiber at March 29, 2023 at 12:56:05
• HQFT ( HQFT(rev # 30) | history )
  by Urs Schreiber at March 29, 2023 at 12:55:35
• topological quantum field theory ( topological quantum field theory(rev # 29) | history )
  by Urs Schreiber at March 29, 2023 at 12:53:19
• definability (fibred category theory) ( definability (fibred category theory)(rev # 3) | history )
  by Matteo Capucci at March 29, 2023 at 12:53:19
• Weil conjecture on Tamagawa numbers ( Weil conjecture on Tamagawa numbers(rev # 16) | history )
  by Urs Schreiber at March 29, 2023 at 12:50:42
• groupoid cardinality ( groupoid cardinality(rev # 30) | history )
  by Urs Schreiber at March 29, 2023 at 12:46:52
• bireflective subcategory ( bireflective subcategory(rev # 12) | history )
  by Urs Schreiber at March 29, 2023 at 12:30:43
• classical modality
  by Urs Schreiber at March 29, 2023 at 12:28:16
• dependent linear type theory ( dependent linear type theory(rev # 29) | history )
  by Urs Schreiber at March 29, 2023 at 12:16:58
• infinitesimal cohesive (infinity,1)-topos ( infinitesimal cohesive (infinity,1)-topos(rev # 19) | history )
  by Urs Schreiber at March 29, 2023 at 12:11:38
• cohesion - table ( cohesion - table(rev # 22) | history )
  by Urs Schreiber at March 29, 2023 at 12:05:59
• parametrized spectrum ( parametrized spectrum(rev # 27) | history )
  by Urs Schreiber at March 29, 2023 at 11:47:39
• modality ( modality(rev # 32) | history )
  by Urs Schreiber at March 29, 2023 at 11:25:20
• bunched logic ( bunched logic(rev # 15) | history )
  by Urs Schreiber at March 29, 2023 at 11:22:25
• multiplicative conjunction ( multiplicative conjunction(rev # 10) | history )
  by Urs Schreiber at March 29, 2023 at 10:24:16
• logical conjunction ( logical conjunction(rev # 15) | history )
  by Urs Schreiber at March 29, 2023 at 10:24:04
• parameterized quantum system ( parameterized quantum system(rev # 5) | history )
  by Urs Schreiber at March 29, 2023 at 09:56:48
• first-order theory ( first-order theory(rev # 10) | history )
  by Urs Schreiber at March 29, 2023 at 09:24:54
• topological T-duality ( topological T-duality(rev # 52) | history )
  by Urs Schreiber at March 29, 2023 at 09:16:26
• T-duality ( T-duality(rev # 57) | history )
  by Urs Schreiber at March 29, 2023 at 09:03:29
• adjusted Weil algebra ( adjusted Weil algebra(rev # 5) | history )
  by Urs Schreiber at March 29, 2023 at 09:03:13
• homotopy.io ( homotopy.io(rev # 24) | history )
  by Urs Schreiber at March 29, 2023 at 08:37:59
• Lukas Heidemann
  by Urs Schreiber at March 29, 2023 at 08:29:23
• Jamie Vicary ( Jamie Vicary(rev # 10) | history )
  by Urs Schreiber at March 29, 2023 at 08:27:32
• David Reutter ( David Reutter(rev # 3) | history )
  by Urs Schreiber at March 29, 2023 at 08:27:04
• globular set ( globular set(rev # 40) | history )
  by Urs Schreiber at March 29, 2023 at 08:26:17
• Christoph Dorn ( Christoph Dorn(rev # 5) | history )
  by Urs Schreiber at March 29, 2023 at 08:20:42
• associative n-category ( associative n-category(rev # 8) | history )
  by Urs Schreiber at March 29, 2023 at 08:19:18
• manifold diagram ( manifold diagram(rev # 6) | history )
  by Urs Schreiber at March 29, 2023 at 08:18:08
• Globular ( Globular(rev # 59) | history )
  by Urs Schreiber at March 29, 2023 at 08:09:37
• globular set ( globular set(rev # 39) | history )
  by Urs Schreiber at March 29, 2023 at 07:45:38
• strict omega-groupoid ( strict omega-groupoid(rev # 21) | history )
  by Urs Schreiber at March 29, 2023 at 07:45:12
• string scattering amplitude ( string scattering amplitude(rev # 33) | history )
  by Urs Schreiber at March 29, 2023 at 07:22:00
• globular set ( globular set(rev # 38) | history )
  by Urs Schreiber at March 29, 2023 at 06:48:35
• complicial set ( complicial set(rev # 9) | history )
  by Urs Schreiber at March 29, 2023 at 06:44:40
• models for concurrency ( models for concurrency(rev # 26) | history )
  by subgeniuskitty? at March 29, 2023 at 04:07:39
• recognition of relative loop spaces ( recognition of relative loop spaces(rev # 16) | history )
  by Renato V V? at March 29, 2023 at 02:21:50
• globular set ( globular set(rev # 37) | history )
  by Dmitri Pavlov at March 29, 2023 at 01:55:03
• relative loop space ( relative loop space(rev # 4) | history )
  by Renato V V? at March 29, 2023 at 01:41:49
• relative loop space ( relative loop space(rev # 3) | history )
  by Renato V V? at March 29, 2023 at 00:31:38
• list of theses in category theory ( list of theses in category theory(rev # 31) | history )
  by varkor? at March 28, 2023 at 20:42:45
• model structure on simplicial presheaves ( model structure on simplicial presheaves(rev # 153) | history )
  by Arshak Aivaizian? at March 28, 2023 at 20:12:28
• Clifford algebra ( Clifford algebra(rev # 32) | history )
  by Aurelius? at March 28, 2023 at 18:48:50
• cellular set ( cellular set(rev # 9) | history )
  by H? at March 28, 2023 at 17:33:37
• definability (fibred category theory) ( definability (fibred category theory)(rev # 2) | history )
  by Urs Schreiber at March 28, 2023 at 16:54:37
• bunched logic ( bunched logic(rev # 14) | history )
  by Urs Schreiber at March 28, 2023 at 16:27:01
• definability (fibred category theory) ( definability (fibred category theory)(rev # 1) | history )
  by Matteo Capucci at March 28, 2023 at 16:26:13
• Sandbox ( Sandbox(rev # 2856) | history )
  by Matteo Capucci at March 28, 2023 at 16:24:57
• dependent linear type theory ( dependent linear type theory(rev # 28) | history )
  by Urs Schreiber at March 28, 2023 at 16:01:21
• parameterized quantum system ( parameterized quantum system(rev # 4) | history )
  by Urs Schreiber at March 28, 2023 at 16:00:52
• Muriel Livernet ( Muriel Livernet(rev # 1) | history )
  by Urs Schreiber at March 28, 2023 at 15:58:33
• Eduardo Hoefel
  by Urs Schreiber at March 28, 2023 at 15:57:02
• recognition of relative loop spaces ( recognition of relative loop spaces(rev # 15) | history )
  by Urs Schreiber at March 28, 2023 at 15:55:48
• Jim Stasheff ( Jim Stasheff(rev # 16) | history )
  by Urs Schreiber at March 28, 2023 at 15:55:30
• Renato Vasconcellos Vieira
  by Urs Schreiber at March 28, 2023 at 15:52:33