nLab
Latest Revisions

• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 86) | history )
  by Urs Schreiber at June 22, 2018 at 12:29:39
• concrete object ( concrete object(rev # 7) | history )
  by Urs Schreiber at June 22, 2018 at 11:10:25
• guarded recursion ( guarded recursion(rev # 3) | history )
  by David Corfield at June 22, 2018 at 08:37:19
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 85) | history )
  by Urs Schreiber at June 22, 2018 at 06:58:43
• points-to-pieces transform ( points-to-pieces transform(rev # 7) | history )
  by Urs Schreiber at June 22, 2018 at 06:57:16
• guarded recursion ( guarded recursion(rev # 2) | history )
  by David Corfield at June 22, 2018 at 06:50:38
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 84) | history )
  by Urs Schreiber at June 22, 2018 at 04:49:03
• spatial topos > history ( spatial topos > history(rev # 3) | history )
  by Urs Schreiber at June 22, 2018 at 04:21:09
• sheaf on a topological space
  by Urs Schreiber at June 22, 2018 at 04:20:24
• category of sheaves ( category of sheaves(rev # 35) | history )
  by Urs Schreiber at June 22, 2018 at 04:16:32
• localic topos ( localic topos(rev # 24) | history )
  by Urs Schreiber at June 22, 2018 at 04:15:24
• category of open subsets ( category of open subsets(rev # 12) | history )
  by Urs Schreiber at June 22, 2018 at 04:12:43
• topological space ( topological space(rev # 45) | history )
  by Urs Schreiber at June 22, 2018 at 04:10:58
• abelian sheaf ( abelian sheaf(rev # 7) | history )
  by Urs Schreiber at June 22, 2018 at 03:53:17
• geometry of physics -- smooth sets ( geometry of physics -- smooth sets(rev # 39) | history )
  by Urs Schreiber at June 22, 2018 at 03:45:24
• Sandbox ( Sandbox(rev # 1527) | history )
  by Urs Schreiber at June 22, 2018 at 03:39:21
• transgression of differential forms ( transgression of differential forms(rev # 7) | history )
  by Urs Schreiber at June 22, 2018 at 03:14:33
• geometry of physics -- smooth sets ( geometry of physics -- smooth sets(rev # 38) | history )
  by Urs Schreiber at June 22, 2018 at 03:02:51
• perfectoid space ( perfectoid space(rev # 11) | history )
  by Tim Porter at June 22, 2018 at 02:20:53
• bigroupoid ( bigroupoid(rev # 5) | history )
  by Dnl Grgk? at June 21, 2018 at 20:29:51
• functorial geometry ( functorial geometry(rev # 15) | history )
  by David Roberts at June 21, 2018 at 20:06:05
• geometry of physics -- homotopy types ( geometry of physics -- homotopy types(rev # 21) | history )
  by Urs Schreiber at June 21, 2018 at 10:17:41
• geometry of physics -- homotopy types ( geometry of physics -- homotopy types(rev # 20) | history )
  by Urs Schreiber at June 21, 2018 at 09:01:02
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 83) | history )
  by Urs Schreiber at June 21, 2018 at 08:46:37
• classical model structure on simplicial sets ( classical model structure on simplicial sets(rev # 10) | history )
  by Urs Schreiber at June 21, 2018 at 08:13:17
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 82) | history )
  by Urs Schreiber at June 21, 2018 at 07:13:30
• adjoint monad ( adjoint monad(rev # 8) | history )
  by Fosco Loregian at June 21, 2018 at 05:42:31
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 81) | history )
  by Urs Schreiber at June 21, 2018 at 02:55:38
• Frobenius morphism ( Frobenius morphism(rev # 27) | history )
  by Tim Porter at June 21, 2018 at 02:27:42
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 80) | history )
  by Urs Schreiber at June 21, 2018 at 01:54:31
• Sandbox ( Sandbox(rev # 1526) | history )
  by Urs Schreiber at June 21, 2018 at 01:21:22
• exact category ( exact category(rev # 32) | history )
  by Urs Schreiber at June 21, 2018 at 01:18:19
• closed monoidal structure on presheaves ( closed monoidal structure on presheaves(rev # 18) | history )
  by Urs Schreiber at June 20, 2018 at 23:54:12
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 79) | history )
  by Urs Schreiber at June 20, 2018 at 23:49:09
• limits and colimits by example ( limits and colimits by example(rev # 44) | history )
  by Urs Schreiber at June 20, 2018 at 21:58:30
• limits of presheaves are computed objectwise
  by Urs Schreiber at June 20, 2018 at 21:56:02
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 78) | history )
  by Urs Schreiber at June 20, 2018 at 21:55:24
• preserved limit ( preserved limit(rev # 10) | history )
  by Urs Schreiber at June 20, 2018 at 21:41:27
• hom-functor preserves limits ( hom-functor preserves limits(rev # 5) | history )
  by Urs Schreiber at June 20, 2018 at 21:34:46
• adjoints preserve (co-)limits ( adjoints preserve (co-)limits(rev # 6) | history )
  by Urs Schreiber at June 20, 2018 at 21:34:21
• pointed endofunctor ( pointed endofunctor(rev # 2) | history )
  by xiaoniu? at June 20, 2018 at 20:22:59
• Adams operation ( Adams operation(rev # 10) | history )
  by John Baez at June 20, 2018 at 19:54:39
• well-generated triangulated category ( well-generated triangulated category(rev # 8) | history )
  by Dan Christensen at June 20, 2018 at 14:58:43
• torsor ( torsor(rev # 31) | history )
  by John Dougherty at June 20, 2018 at 14:13:42
• Sandbox ( Sandbox(rev # 1525) | history )
  by Urs Schreiber at June 20, 2018 at 12:34:23
• p-adic geometry ( p-adic geometry(rev # 7) | history )
  by Anonymous at June 20, 2018 at 12:14:41
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 77) | history )
  by Urs Schreiber at June 20, 2018 at 12:01:29
• limits and colimits by example ( limits and colimits by example(rev # 43) | history )
  by Urs Schreiber at June 20, 2018 at 11:53:03
• closed monoidal structure on presheaves ( closed monoidal structure on presheaves(rev # 17) | history )
  by Urs Schreiber at June 20, 2018 at 11:52:13
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 76) | history )
  by Urs Schreiber at June 20, 2018 at 11:00:41
• floor ( floor(rev # 3) | history )
  by Urs Schreiber at June 20, 2018 at 10:47:20
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 75) | history )
  by Urs Schreiber at June 20, 2018 at 10:05:17
• Sandbox ( Sandbox(rev # 1524) | history )
  by Urs Schreiber at June 20, 2018 at 09:09:01
• matrix model ( matrix model(rev # 5) | history )
  by Urs Schreiber at June 20, 2018 at 07:53:27
• modality ( modality(rev # 24) | history )
  by Urs Schreiber at June 20, 2018 at 06:56:18
• Andre Scedrov
  by Urs Schreiber at June 20, 2018 at 06:55:33
• bounded linear logic
  by Urs Schreiber at June 20, 2018 at 06:53:57
• linear logic ( linear logic(rev # 79) | history )
  by Urs Schreiber at June 20, 2018 at 06:53:33
• graded modality ( graded modality(rev # 3) | history )
  by Urs Schreiber at June 20, 2018 at 06:49:05
• p-adic geometry ( p-adic geometry(rev # 6) | history )
  by Urs Schreiber at June 20, 2018 at 06:45:00
• guarded recursion ( guarded recursion(rev # 1) | history )
  by David Corfield at June 20, 2018 at 06:10:30
• recursion ( recursion(rev # 15) | history )
  by David Corfield at June 20, 2018 at 05:57:19
• graded modality ( graded modality(rev # 2) | history )
  by David Corfield at June 20, 2018 at 05:48:20
• Frobenius morphism ( Frobenius morphism(rev # 26) | history )
  by Thomas Holder at June 20, 2018 at 05:26:49
• graded modality ( graded modality(rev # 1) | history )
  by David Corfield at June 20, 2018 at 04:27:28
• modality ( modality(rev # 23) | history )
  by David Corfield at June 20, 2018 at 04:13:31
• type theory ( type theory(rev # 116) | history )
  by David Corfield at June 20, 2018 at 04:03:37
• intrinsic and extrinsic views of typing ( intrinsic and extrinsic views of typing(rev # 7) | history )
  by David Corfield at June 20, 2018 at 04:01:57
• Frobenius morphism ( Frobenius morphism(rev # 25) | history )
  by John Baez at June 20, 2018 at 03:37:53
• adjoint functor ( adjoint functor(rev # 80) | history )
  by Urs Schreiber at June 20, 2018 at 03:28:38
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 74) | history )
  by Urs Schreiber at June 20, 2018 at 03:23:27
• homotopy groups of spheres ( homotopy groups of spheres(rev # 32) | history )
  by Anonymous at June 19, 2018 at 17:29:28
• Sandbox ( Sandbox(rev # 1523) | history )
  by Urs Schreiber at June 19, 2018 at 15:39:22
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 73) | history )
  by Urs Schreiber at June 19, 2018 at 15:38:47
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 72) | history )
  by Urs Schreiber at June 19, 2018 at 12:59:28
• Sandbox ( Sandbox(rev # 1522) | history )
  by Urs Schreiber at June 19, 2018 at 12:58:33
• paracompact Hausdorff spaces equivalently admit subordinate partitions of unity ( paracompact Hausdorff spaces equivalently admit subordinate partitions of unity(rev # 14) | history )
  by Anonymous at June 19, 2018 at 11:21:12
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 71) | history )
  by Urs Schreiber at June 19, 2018 at 10:05:34
• A first idea of quantum field theory -- Symmetries ( A first idea of quantum field theory -- Symmetries(rev # 11) | history )
  by Tim Berberich? at June 19, 2018 at 07:24:38
• pullback of a differential form ( pullback of a differential form(rev # 8) | history )
  by Tim Berberich? at June 19, 2018 at 04:22:55
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 70) | history )
  by Urs Schreiber at June 19, 2018 at 02:42:29
• FormalCartSp ( FormalCartSp(rev # 2) | history )
  by Urs Schreiber at June 19, 2018 at 02:06:08
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 69) | history )
  by Urs Schreiber at June 19, 2018 at 00:59:17
• free monad ( free monad(rev # 14) | history )
  by Mike Shulman at June 19, 2018 at 00:28:47
• cocylinder ( cocylinder(rev # 10) | history )
  by Dmitri Pavlov at June 18, 2018 at 20:04:59
• Yoneda structure ( Yoneda structure(rev # 25) | history )
  by Thomas Holder at June 18, 2018 at 16:59:18
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 68) | history )
  by Urs Schreiber at June 18, 2018 at 16:37:52
• differential cohesive (infinity,1)-topos ( differential cohesive (infinity,1)-topos(rev # 94) | history )
  by Urs Schreiber at June 18, 2018 at 16:29:20
• cohesive topos ( cohesive topos(rev # 103) | history )
  by Urs Schreiber at June 18, 2018 at 16:26:36
• Delta-generated space ( Delta-generated space(rev # 6) | history )
  by Urs Schreiber at June 18, 2018 at 15:13:20
• compactly generated topological space ( compactly generated topological space(rev # 48) | history )
  by Dmitri Pavlov at June 18, 2018 at 14:25:22
• Delta-generated space ( Delta-generated space(rev # 5) | history )
  by Dmitri Pavlov at June 18, 2018 at 14:15:53
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 67) | history )
  by Urs Schreiber at June 18, 2018 at 13:15:42
• Sandbox ( Sandbox(rev # 1521) | history )
  by Urs Schreiber at June 18, 2018 at 12:52:44
• local-global principle ( local-global principle(rev # 5) | history )
  by Urs Schreiber at June 18, 2018 at 12:45:32
• HowTo ( HowTo(rev # 156) | history )
  by Urs Schreiber at June 18, 2018 at 11:20:45
• 2-category of adjunctions ( 2-category of adjunctions(rev # 3) | history )
  by David Corfield at June 18, 2018 at 11:03:46
• geometry of physics -- categories and toposes ( geometry of physics -- categories and toposes(rev # 66) | history )
  by Urs Schreiber at June 18, 2018 at 10:25:47
• A first idea of quantum field theory -- Observables ( A first idea of quantum field theory -- Observables(rev # 31) | history )
  by Tim Berberich? at June 18, 2018 at 09:39:26
• ETCC ( ETCC(rev # 30) | history )
  by Thomas Holder at June 18, 2018 at 09:15:24