nLab
Recently Revised

February 9, 2012

• categorification in representation theory ( diff | history )
  by Zoran Škoda at February 9, 2012 18:19:59 from 161.53.130.104
• twisted Wu structure ( diff | history )
  by Urs Schreiber at February 9, 2012 13:01:02 from 82.113.119.176
• Dominic Verity ( diff | history )
  by Tim Porter at February 9, 2012 12:34:44 from 95.147.237.166
• Ross Street ( diff | history )
  by Tim Porter at February 9, 2012 12:30:05 from 95.147.237.166
• Myles Tierney ( diff | history )
  by Tim Porter at February 9, 2012 09:40:29 from 95.147.237.166
• Max Kelly ( diff | history )
  by Steve Lack at February 9, 2012 03:22:13 from 220.233.69.72
• David Roberts ( diff | history )
  by David Roberts at February 9, 2012 02:05:17 from 203.24.207.188

February 8, 2012

• affine Lie algebra ( diff | history )
  by Zoran Škoda at February 8, 2012 23:14:15 from 161.53.130.104
• supergravity C-field ( diff | history )
  by Urs Schreiber at February 8, 2012 21:33:52 from 89.204.138.242
• Kac-Moody algebra ( diff | history )
  by Zoran Škoda at February 8, 2012 21:31:30 from 161.53.130.104
• Cameron Smith
  by Cameron Smith at February 8, 2012 20:22:03 from 129.98.105.162
• pullback ( diff | history )
  by Cameron Smith at February 8, 2012 20:14:53 from 129.98.105.162
• Mathematical Reviews ( diff | history )
  by Mike Shulman at February 8, 2012 20:12:20 from 71.136.231.206
• Dold-Kan correspondence ( diff | history )
  by Rasmus Bentmann? at February 8, 2012 19:43:35 from 134.76.82.159
• local homeomorphism ( diff | history )
  by Urs Schreiber at February 8, 2012 19:43:19 from 89.204.138.242
• E8 ( diff | history )
  by Urs Schreiber at February 8, 2012 18:54:40 from 89.204.137.111
• Martin Cederwall
  by Urs Schreiber at February 8, 2012 18:54:11 from 89.204.137.111
• exceptional generalized geometry ( diff | history )
  by Urs Schreiber at February 8, 2012 18:25:42 from 89.204.137.111
• model structure on strict omega-categories ( diff | history )
  by Ronnie Brown at February 8, 2012 16:47:11 from 217.43.153.23
• string theory ( diff | history )
  by David Corfield at February 8, 2012 13:07:35 from 129.12.18.29
• exceptional Lie group ( diff | history )
  by Urs Schreiber at February 8, 2012 12:38:10 from 89.204.137.111
• semisimple Lie algebra ( diff | history )
  by Urs Schreiber at February 8, 2012 12:27:32 from 89.204.137.111
• E10
  by Urs Schreiber at February 8, 2012 12:26:31 from 89.204.137.111
• Vlad Patryshev
  by Vlad Patryshev at February 8, 2012 11:05:06 from 98.234.173.90
• well-pointed topos ( diff | history )
  by Vlad Patryshev at February 8, 2012 11:03:58 from 98.234.173.90

February 7, 2012

• exceptional geometry ( diff | history )
  by Urs Schreiber at February 7, 2012 22:00:04 from 89.204.130.102
• renormalization ( diff | history )
  by Urs Schreiber at February 7, 2012 20:47:28 from 89.204.130.102
• Calculus of fractions and homotopy theory ( diff | history )
  by Toby Bartels at February 7, 2012 18:23:47 from 64.89.53.26
• Gabriel and Zisman > history ( diff | history )
  by Toby Bartels at February 7, 2012 18:23:41 from 64.89.53.26
• universe ( diff | history )
  by Zoran Škoda at February 7, 2012 15:22:38 from 161.53.130.104
• observable universe
  by Urs Schreiber at February 7, 2012 14:58:19 from 82.113.99.206
• convenient category of topological spaces ( diff | history )
  by Ronnie Brown at February 7, 2012 13:40:12 from 217.43.153.23
• Michel Zisman ( diff | history )
  by Tim Porter at February 7, 2012 13:38:15 from 95.147.236.78
• Heisenberg Lie algebra ( diff | history )
  by Urs Schreiber at February 7, 2012 13:11:17 from 82.113.99.206
• Heisenberg group ( diff | history )
  by Urs Schreiber at February 7, 2012 13:04:23 from 82.113.99.206
• geometry (for structured (infinity,1)-toposes) ( diff | history )
  by Stephan Alexander Spahn at February 7, 2012 13:00:42 from 79.227.178.125
• principal bundle ( diff | history )
  by Urs Schreiber at February 7, 2012 12:08:13 from 82.113.99.206
• model category ( diff | history )
  by Tim Porter at February 7, 2012 09:49:25 from 95.147.236.78
• higher algebra ( diff | history )
  by Tim Porter at February 7, 2012 09:48:35 from 95.147.236.78
• mathematics ( diff | history )
  by Tim Porter at February 7, 2012 09:42:23 from 95.147.236.78
• HomePage ( diff | history )
  by Sridhar Ramesh at February 7, 2012 04:33:36 from 98.248.229.177
• additive category ( diff | history )
  by Todd Trimble at February 7, 2012 00:57:11 from 74.88.146.52
• compact object ( diff | history )
  by Todd Trimble at February 7, 2012 00:53:51 from 74.88.146.52

February 6, 2012

• Dale Husemöller ( diff | history )
  by Tim Porter at February 6, 2012 23:45:49 from 95.147.236.221
• applications of (higher) category theory ( diff | history )
  by Anonymous Coward at February 6, 2012 19:54:53 from 93.219.163.229
• connection in noncommutative geometry ( diff | history )
  by Zoran Škoda at February 6, 2012 19:44:26 from 161.53.130.104
• sigma-model -- exposition of classical sigma-models ( diff | history )
  by David Corfield at February 6, 2012 19:37:35 from 81.155.111.165
• fiber bundle ( diff | history )
  by Zoran Škoda at February 6, 2012 18:41:29 from 161.53.130.104
• Tomasz Brzezinski ( diff | history )
  by Zoran Škoda at February 6, 2012 17:40:33 from 161.53.130.104
• FFRS-formalism ( diff | history )
  by Urs Schreiber at February 6, 2012 14:43:25 from 82.113.99.137
• anafunctor ( diff | history )
  by Mike Shulman at February 6, 2012 07:42:25 from 71.136.231.206
• connected object ( diff | history )
  by Urs Schreiber at February 6, 2012 02:01:53 from 89.204.138.54
• compact object - contents ( diff | history )
  by Urs Schreiber at February 6, 2012 02:00:16 from 89.204.138.54
• coproduct-preserving representable ( diff | history )
  by Urs Schreiber at February 6, 2012 01:59:29 from 89.204.138.54
• stable (infinity,1)-category ( diff | history )
  by Todd Trimble at February 6, 2012 01:02:23 from 74.88.146.52

February 5, 2012

• Lawvere theory ( diff | history )
  by Todd Trimble at February 5, 2012 20:44:20 from 74.88.146.52
• Grothendieck topos ( diff | history )
  by Toby Bartels at February 5, 2012 10:19:57 from 75.88.110.211
• separation axioms ( diff | history )
  by Toby Bartels at February 5, 2012 07:58:37 from 75.88.110.211
• connected space ( diff | history )
  by Todd Trimble at February 5, 2012 07:28:02 from 74.88.146.52
• Hahn series ( diff | history )
  by Todd Trimble at February 5, 2012 03:27:18 from 74.88.146.52

February 4, 2012

• injective object ( diff | history )
  by Todd Trimble at February 4, 2012 19:11:16 from 74.88.146.52

February 3, 2012

• quotient space ( diff | history )
  by Todd Trimble at February 3, 2012 23:48:51 from 74.88.146.52
• identity component
  by Todd Trimble at February 3, 2012 23:46:11 from 74.88.146.52
• point of a topos ( diff | history )
  by Stephan Alexander Spahn at February 3, 2012 23:43:31 from 79.227.145.210
• open map ( diff | history )
  by Todd Trimble at February 3, 2012 23:33:31 from 74.88.146.52
• thin category ( diff | history )
  by Stephan Alexander Spahn at February 3, 2012 23:03:23 from 79.227.145.210
• partial order ( diff | history )
  by Stephan Alexander Spahn at February 3, 2012 22:47:15 from 79.227.145.210
• almost connected topological group ( diff | history )
  by Todd Trimble at February 3, 2012 22:02:40 from 74.88.146.52
• Courant algebroid ( diff | history )
  by Urs Schreiber at February 3, 2012 21:48:38 from 82.113.121.129
• algebraic K-theory ( diff | history )
  by Todd Trimble at February 3, 2012 20:50:14 from 74.88.146.52
• algebraic K-theory, a historical perspective ( diff | history )
  by Tim Porter at February 3, 2012 17:21:20 from 95.147.237.181
• G2 manifold ( diff | history )
  by Urs Schreiber at February 3, 2012 17:06:09 from 82.172.178.200
• twisted differential c-structure ( diff | history )
  by Urs Schreiber at February 3, 2012 16:34:03 from 82.172.178.200
• tangent bundle ( diff | history )
  by Urs Schreiber at February 3, 2012 16:17:07 from 82.172.178.200
• G-structure ( diff | history )
  by Urs Schreiber at February 3, 2012 16:06:37 from 82.172.178.200
• special holonomy ( diff | history )
  by Urs Schreiber at February 3, 2012 16:04:09 from 82.172.178.200
• Cartan connection ( diff | history )
  by Urs Schreiber at February 3, 2012 15:20:09 from 82.172.178.200
• reduction of structure groups
  by Urs Schreiber at February 3, 2012 15:06:34 from 82.172.178.200
• normal bundle ( diff | history )
  by Tim Porter at February 3, 2012 15:02:58 from 95.147.237.181
• Michel Kervaire
  by Tim Porter at February 3, 2012 15:00:21 from 95.147.237.181
• Quillen plus construction
  by Tim Porter at February 3, 2012 14:39:44 from 95.147.237.181
• plus construction ( diff | history )
  by Tim Porter at February 3, 2012 14:37:46 from 95.147.237.181
• stable general linear group
  by Tim Porter at February 3, 2012 14:32:34 from 95.147.237.181
• general linear group ( diff | history )
  by Tim Porter at February 3, 2012 14:30:31 from 95.147.237.181
• quantum anomaly ( diff | history )
  by Urs Schreiber at February 3, 2012 13:42:13 from 82.169.65.155
• simplicial set ( diff | history )
  by Urs Schreiber at February 3, 2012 12:41:10 from 82.169.65.155
• simplicial homotopy theory ( diff | history )
  by Urs Schreiber at February 3, 2012 12:38:33 from 82.169.65.155
• Jonathan Rosenberg ( diff | history )
  by Tim Porter at February 3, 2012 12:17:34 from 95.147.237.181
• homotopy - contents ( diff | history )
  by Urs Schreiber at February 3, 2012 12:07:28 from 82.169.65.155
• calculus of fractions ( diff | history )
  by Urs Schreiber at February 3, 2012 12:06:25 from 82.169.65.155
• homotopy theory ( diff | history )
  by Urs Schreiber at February 3, 2012 11:52:23 from 82.169.65.155
• Simplicial homotopy theory
  by Urs Schreiber at February 3, 2012 11:50:14 from 82.169.65.155
• Nick Gilbert ( diff | history )
  by Tim Porter at February 3, 2012 10:22:01 from 95.147.237.181
• Jan Louis
  by Urs Schreiber at February 3, 2012 03:57:41 from 82.169.65.155
• p-adic number ( diff | history )
  by Urs Schreiber at February 3, 2012 02:31:17 from 82.169.65.155
• p-adic integer ( diff | history )
  by Urs Schreiber at February 3, 2012 02:29:45 from 82.169.65.155

February 2, 2012

• Henry Whitehead ( diff | history )
  by Tim Porter at February 2, 2012 23:00:04 from 95.147.237.161
• Philip Higgins ( diff | history )
  by Tim Porter at February 2, 2012 22:58:31 from 95.147.237.161
• normal subgroup ( diff | history )
  by Urs Schreiber at February 2, 2012 22:47:41 from 131.174.40.11
• etale site ( diff | history )
  by Stephan Alexander Spahn at February 2, 2012 22:39:06 from 79.227.152.249
• cubical set ( diff | history )
  by Urs Schreiber at February 2, 2012 21:59:54 from 131.174.40.11
• Kurt Reidemeister
  by Tim Porter at February 2, 2012 21:26:56 from 95.147.237.161
• Reidemeister move ( diff | history )
  by Tim Porter at February 2, 2012 21:17:00 from 95.147.237.161
• Hilbert cube ( diff | history )
  by Tim Porter at February 2, 2012 20:30:06 from 95.147.237.161
• String Lie 2-algebra ( diff | history )
  by Tim Porter at February 2, 2012 19:57:29 from 95.147.237.161
• maximal compact subgroup ( diff | history )
  by Urs Schreiber at February 2, 2012 17:25:12 from 82.169.65.155
• model structure on cosimplicial simplicial sets ( diff | history )
  by Urs Schreiber at February 2, 2012 13:37:17 from 82.169.65.155
• Dennis Borisov
  by Urs Schreiber at February 2, 2012 12:06:42 from 82.169.65.155
• test category ( diff | history )
  by Urs Schreiber at February 2, 2012 12:05:54 from 82.169.65.155
• direct category ( diff | history )
  by Urs Schreiber at February 2, 2012 12:04:03 from 82.169.65.155
• compact Lie group ( diff | history )
  by Urs Schreiber at February 2, 2012 11:51:56 from 82.169.65.155
• locally compact topological group ( diff | history )
  by Urs Schreiber at February 2, 2012 11:50:53 from 82.169.65.155
• topological group ( diff | history )
  by Urs Schreiber at February 2, 2012 11:50:04 from 82.169.65.155
• compact topological group
  by Urs Schreiber at February 2, 2012 11:49:34 from 82.169.65.155
• proper topological groupoid ( diff | history )
  by Urs Schreiber at February 2, 2012 11:44:25 from 82.169.65.155
• proper Lie groupoid ( diff | history )
  by Urs Schreiber at February 2, 2012 11:42:51 from 82.169.65.155
• type theory ( diff | history )
  by Urs Schreiber at February 2, 2012 11:33:03 from 82.169.65.155
• Robert Harper ( diff | history )
  by Urs Schreiber at February 2, 2012 11:26:37 from 82.169.65.155
• adhesive category ( diff | history )
  by Mike Shulman at February 2, 2012 01:30:22 from 71.136.231.206
• supergravity ( diff | history )
  by Urs Schreiber at February 2, 2012 01:27:36 from 82.169.65.155
• Arjan Keurentjes
  by Urs Schreiber at February 2, 2012 01:21:58 from 82.169.65.155

February 1, 2012

• accessible category ( diff | history )
  by Mike Shulman at February 1, 2012 23:55:43 from 71.136.231.206
• exact category ( diff | history )
  by Mike Shulman at February 1, 2012 23:27:45 from 71.136.231.206
• E7
  by Urs Schreiber at February 1, 2012 23:23:29 from 89.204.139.192
• E6
  by Urs Schreiber at February 1, 2012 23:21:44 from 89.204.139.192
• Simon Salamon
  by Urs Schreiber at February 1, 2012 22:11:50 from 131.174.41.186
• G2
  by Urs Schreiber at February 1, 2012 21:54:33 from 131.174.41.186
• simple homotopy theory ( diff | history )
  by Tim Porter at February 1, 2012 21:32:06 from 95.147.237.247
• coherent logic ( diff | history )
  by Mike Shulman at February 1, 2012 21:27:39 from 71.136.231.206
• Hilbert's fifth problem
  by Todd Trimble at February 1, 2012 21:21:17 from 74.88.146.52
• cube category ( diff | history )
  by Urs Schreiber at February 1, 2012 17:53:21 from 131.174.41.186
• model structure for Cartesian fibrations ( diff | history )
  by Urs Schreiber at February 1, 2012 17:44:20 from 131.174.41.186
• infinity-groupoid ( diff | history )
  by Urs Schreiber at February 1, 2012 17:43:35 from 131.174.41.186
• connection on a cubical set ( diff | history )
  by Urs Schreiber at February 1, 2012 17:41:41 from 131.174.41.186
• étale groupoid ( diff | history )
  by Urs Schreiber at February 1, 2012 12:31:24 from 82.169.65.155
• effective Lie groupoid ( diff | history )
  by Urs Schreiber at February 1, 2012 12:30:56 from 82.169.65.155
• decalage ( diff | history )
  by Urs Schreiber at February 1, 2012 11:56:49 from 82.169.65.155
• bisimplicial set ( diff | history )
  by Urs Schreiber at February 1, 2012 11:56:04 from 82.169.65.155
• orbifold ( diff | history )
  by Urs Schreiber at February 1, 2012 11:37:52 from 82.169.65.155
• Lie group ( diff | history )
  by Urs Schreiber at February 1, 2012 11:32:17 from 82.169.65.155
• free functor ( diff | history )
  by Urs Schreiber at February 1, 2012 11:12:14 from 82.169.65.155
• free object ( diff | history )
  by Urs Schreiber at February 1, 2012 11:00:15 from 82.169.65.155
• Hopf algebroid ( diff | history )
  by Sean Tilson? at February 1, 2012 03:34:47 from 76.112.149.99
• relative adjoint functor ( diff | history )
  by Mike Shulman at February 1, 2012 03:06:20 from 71.136.231.206

January 31, 2012

• finite set ( diff | history )
  by Toby Bartels at January 31, 2012 23:48:58 from 64.89.53.222
• pasting diagram ( diff | history )
  by Toby Bartels at January 31, 2012 23:47:14 from 64.89.53.222
• contractible space ( diff | history )
  by Urs Schreiber at January 31, 2012 23:30:29 from 82.169.65.155
• Fréchet Lie group
  by Urs Schreiber at January 31, 2012 22:17:04 from 82.169.65.155
• principal infinity-bundle ( diff | history )
  by Urs Schreiber at January 31, 2012 21:47:42 from 82.169.65.155
• semidirect product group ( diff | history )
  by Urs Schreiber at January 31, 2012 21:43:23 from 82.169.65.155
• infinity-group ( diff | history )
  by Urs Schreiber at January 31, 2012 21:22:32 from 82.169.65.155
• discrete infinity-groupoid ( diff | history )
  by Urs Schreiber at January 31, 2012 21:14:54 from 82.169.65.155
• group ( diff | history )
  by Urs Schreiber at January 31, 2012 20:31:15 from 82.169.65.155
• Prüfer group ( diff | history )
  by Urs Schreiber at January 31, 2012 20:30:50 from 82.169.65.155
• adjoint action ( diff | history )
  by Urs Schreiber at January 31, 2012 20:26:22 from 82.169.65.155
• topological K-theory ( diff | history )
  by Urs Schreiber at January 31, 2012 19:30:10 from 131.174.40.142
• descent object ( diff | history )
  by Urs Schreiber at January 31, 2012 19:05:50 from 131.174.40.142
• philosophy resources ( diff | history )
  by Zoran Škoda at January 31, 2012 18:30:34 from 161.53.130.104
• counterexamples in algebra ( diff | history )
  by Todd Trimble at January 31, 2012 18:22:33 from 74.88.146.52
• Christophe Soulé ( diff | history )
  by Zoran Škoda at January 31, 2012 18:18:08 from 161.53.130.104
• Arakelov geometry ( diff | history )
  by Zoran Škoda at January 31, 2012 18:16:33 from 161.53.130.104
• cofree coalgebra ( diff | history )
  by Todd Trimble at January 31, 2012 18:13:16 from 74.88.146.52
• ICM
  by Zoran Škoda at January 31, 2012 18:07:46 from 161.53.130.104
• Nikolai Durov ( diff | history )
  by Zoran Škoda at January 31, 2012 18:03:59 from 161.53.130.104
• adjoint functor ( diff | history )
  by Eduardo Pareja-Tobes? at January 31, 2012 14:48:12 from 77.208.175.18
• subgroup ( diff | history )
  by Urs Schreiber at January 31, 2012 10:02:38 from 82.113.99.20
• monadic descent ( diff | history )
  by Urs Schreiber at January 31, 2012 09:48:04 from 82.113.99.20
• Benabou-Roubaud theorem ( diff | history )
  by Finn Lawler at January 31, 2012 04:14:21 from 86.41.37.153
• dual vector space ( diff | history )
  by Mike Shulman at January 31, 2012 01:07:41 from 128.54.20.89

January 30, 2012

• generalized complex geometry ( diff | history )
  by Urs Schreiber at January 30, 2012 21:59:30 from 89.204.130.78
• Grothendieck-Riemann-Roch theorem ( diff | history )
  by Urs Schreiber at January 30, 2012 21:36:38 from 89.204.130.78
• Chern character ( diff | history )
  by Urs Schreiber at January 30, 2012 19:44:49 from 89.204.139.206
• Rémi Léandre
  by Zoran Škoda at January 30, 2012 19:23:43 from 161.53.130.104
• Connes distribution ( diff | history )
  by Zoran Škoda at January 30, 2012 19:21:28 from 161.53.130.104
• Lie algebroid ( diff | history )
  by Zoran Škoda at January 30, 2012 17:52:22 from 161.53.130.104
• distribution ( diff | history )
  by Zoran Škoda at January 30, 2012 17:47:45 from 161.53.130.104
• Tietze transformation ( diff | history )
  by Tim Porter at January 30, 2012 17:42:03 from 95.147.237.107
• complex connection
  by Zoran Škoda at January 30, 2012 17:31:15 from 161.53.130.104
• Lie groupoid ( diff | history )
  by Urs Schreiber at January 30, 2012 16:24:58 from 89.204.139.206
• cone ( diff | history )
  by Urs Schreiber at January 30, 2012 12:21:58 from 89.204.139.206

January 29, 2012

• Grothendieck construction ( diff | history )
  by Stephan Alexander Spahn at January 29, 2012 17:04:57 from 92.106.106.1
• cograph of a functor ( diff | history )
  by Stephan Alexander Spahn at January 29, 2012 16:36:07 from 92.106.106.1
• path category ( diff | history )
  by Toby Bartels at January 29, 2012 06:25:31 from 71.29.67.53

January 28, 2012

• T-duality ( diff | history )
  by David Corfield at January 28, 2012 22:46:08 from 81.153.249.128
• mixed model structure ( diff | history )
  by Mike Shulman at January 28, 2012 19:34:56 from 71.136.231.206
• internal site ( diff | history )
  by Stephan Alexander Spahn at January 28, 2012 19:24:56 from 85.4.216.233
• Freyd-Mitchell embedding theorem ( diff | history )
  by Tim Campion? at January 28, 2012 19:12:48 from 173.76.90.116
• (infinity,1)-site ( diff | history )
  by Stephan Alexander Spahn at January 28, 2012 19:07:48 from 85.4.216.233
• local geometric morphism ( diff | history )
  by Stephan Alexander Spahn at January 28, 2012 18:22:22 from 85.4.216.233
• classifying topos ( diff | history )
  by Stephan Alexander Spahn at January 28, 2012 17:31:38 from 85.4.216.233
• lax morphism ( diff | history )
  by Mike Shulman at January 28, 2012 09:54:34 from 71.136.231.206
• model structure on topological spaces ( diff | history )
  by Mike Shulman at January 28, 2012 09:53:11 from 71.136.231.206
• 2-trivial model structure
  by Mike Shulman at January 28, 2012 09:44:36 from 71.136.231.206
• trivial model structure ( diff | history )
  by Mike Shulman at January 28, 2012 09:38:31 from 71.136.231.206
• canonical model structure ( diff | history )
  by Mike Shulman at January 28, 2012 09:37:50 from 71.136.231.206
• 2-category ( diff | history )
  by Mike Shulman at January 28, 2012 09:37:17 from 71.136.231.206
• transferred model structure ( diff | history )
  by Mike Shulman at January 28, 2012 09:37:05 from 71.136.231.206
• strict 2-limit ( diff | history )
  by Mike Shulman at January 28, 2012 09:35:14 from 71.136.231.206
• isofibration ( diff | history )
  by Mike Shulman at January 28, 2012 09:34:29 from 71.136.231.206

January 27, 2012

• orthogonal structure ( diff | history )
  by Urs Schreiber at January 27, 2012 23:05:30 from 89.204.154.224
• vielbein ( diff | history )
  by Urs Schreiber at January 27, 2012 23:05:02 from 89.204.154.224
• factorization system ( diff | history )
  by Mike Shulman at January 27, 2012 21:16:40 from 71.136.231.206
• vector space ( diff | history )
  by Urs Schreiber at January 27, 2012 20:29:45 from 82.169.65.155
• factorization systems - contents ( diff | history )
  by Urs Schreiber at January 27, 2012 19:15:03 from 131.174.40.111
• factorization system over a subcategory ( diff | history )
  by Urs Schreiber at January 27, 2012 19:13:38 from 131.174.40.111
• Delta-generated space ( diff | history )
  by Urs Schreiber at January 27, 2012 19:11:50 from 131.174.40.111
• strict factorization system ( diff | history )
  by Mike Shulman at January 27, 2012 19:05:02 from 71.136.231.206
• monad ( diff | history )
  by Mike Shulman at January 27, 2012 19:04:27 from 71.136.231.206
• distributive law ( diff | history )
  by Mike Shulman at January 27, 2012 19:03:42 from 71.136.231.206
• double comma object ( diff | history )
  by Mike Shulman at January 27, 2012 18:41:45 from 71.136.231.206
• dg-quiver ( diff | history )
  by Eric Forgy at January 27, 2012 17:58:11 from 203.145.92.183
• type II supergravity ( diff | history )
  by Urs Schreiber at January 27, 2012 13:23:08 from 82.169.65.155
• directed graph ( diff | history )
  by Eric Forgy at January 27, 2012 13:20:04 from 42.98.203.42
• graph ( diff | history )
  by Eric Forgy at January 27, 2012 13:18:57 from 42.98.203.42
• S-duality ( diff | history )
  by Urs Schreiber at January 27, 2012 13:02:14 from 82.169.65.155
• 3d quantum gravity ( diff | history )
  by Urs Schreiber at January 27, 2012 12:54:46 from 82.169.65.155
• Thibault Damour
  by Urs Schreiber at January 27, 2012 12:51:22 from 82.169.65.155
• 3-dimensional supergravity
  by Urs Schreiber at January 27, 2012 12:36:44 from 82.169.65.155
• Bernard de Wit
  by Urs Schreiber at January 27, 2012 12:32:52 from 82.169.65.155
• Lie algebra ( diff | history )
  by Urs Schreiber at January 27, 2012 12:23:27 from 82.169.65.155
• real form
  by Urs Schreiber at January 27, 2012 12:17:53 from 82.169.65.155
• 4-dimensional supergravity
  by Urs Schreiber at January 27, 2012 11:52:27 from 82.169.65.155
• (infinity,1)-category ( diff | history )
  by Tim Porter at January 27, 2012 10:58:35 from 95.147.237.92
• (infinity,1)-category theory ( diff | history )
  by Urs Schreiber at January 27, 2012 01:57:30 from 82.169.65.155
• Dylan Wilson
  by Urs Schreiber at January 27, 2012 01:53:30 from 82.169.65.155
• 11-dimensional supergravity ( diff | history )
  by Urs Schreiber at January 27, 2012 01:25:00 from 82.169.65.155
• type II string theory ( diff | history )
  by Urs Schreiber at January 27, 2012 01:17:31 from 82.169.65.155
• Maurer-Cartan form ( diff | history )
  by Zoran Škoda at January 27, 2012 00:09:51 from 161.53.130.104

January 26, 2012

• Donald Knuth
  by Zoran Škoda at January 26, 2012 23:20:46 from 161.53.130.104
• surreal number ( diff | history )
  by Zoran Škoda at January 26, 2012 23:16:56 from 161.53.130.104
• homotopy type theory ( diff | history )
  by Stephan Alexander Spahn at January 26, 2012 20:52:52 from 188.60.250.200
• cohesive homotopy type theory ( diff | history )
  by David Corfield at January 26, 2012 16:48:04 from 129.12.18.29

January 25, 2012

• Courant sigma-model ( diff | history )
  by Urs Schreiber at January 25, 2012 23:56:22 from 82.93.78.115
• pure type system ( diff | history )
  by Mike Shulman at January 25, 2012 22:53:02 from 71.136.231.206
• string 2-group ( diff | history )
  by Urs Schreiber at January 25, 2012 16:08:07 from 131.174.41.140
• Models for Smooth Infinitesimal Analysis ( diff | history )
  by Zoran Škoda at January 25, 2012 15:22:48 from 161.53.130.104
• Haar measure ( diff | history )
  by Chris Waggoner? at January 25, 2012 14:49:48 from 67.158.6.115
• Yang-Mills theory ( diff | history )
  by Urs Schreiber at January 25, 2012 12:39:43 from 82.169.65.155
• invariant theory ( diff | history )
  by David Corfield at January 25, 2012 12:27:04 from 129.12.18.29
• differential K-theory ( diff | history )
  by Urs Schreiber at January 25, 2012 11:09:09 from 82.169.65.155
• generator ( diff | history )
  by Tim Campion? at January 25, 2012 08:04:20 from 173.76.90.116
• Lebesgue measure ( diff | history )
  by Chris Waggoner? at January 25, 2012 06:15:21 from 67.158.6.115
• invariant polynomial ( diff | history )
  by Urs Schreiber at January 25, 2012 02:18:56 from 82.169.65.155
• category theory ( diff | history )
  by Mike Shulman at January 25, 2012 00:29:10 from 128.54.42.23
• Brown representability theorem ( diff | history )
  by Urs Schreiber at January 25, 2012 00:19:51 from 82.169.65.155

January 24, 2012

• Weil algebra ( diff | history )
  by David Corfield at January 24, 2012 20:40:48 from 81.153.249.128
• model structure on strict omega-groupoids ( diff | history )
  by Ronnie Brown at January 24, 2012 19:44:05 from 217.43.153.23
• profinite group ( diff | history )
  by Tim Porter at January 24, 2012 19:15:27 from 95.147.237.17
• pseudocompact ring ( diff | history )
  by Tim Porter at January 24, 2012 19:07:23 from 95.147.237.17
• group algebra ( diff | history )
  by Tim Porter at January 24, 2012 18:48:12 from 95.147.237.17
• Stone duality ( diff | history )
  by Chris Waggoner? at January 24, 2012 18:47:00 from 67.158.6.115
• Georgia Benkart
  by Zoran Škoda at January 24, 2012 18:09:01 from 161.53.130.104
• down-up algebra
  by Zoran Škoda at January 24, 2012 17:58:09 from 161.53.130.104
• Igor Frenkel ( diff | history )
  by Zoran Škoda at January 24, 2012 17:28:47 from 161.53.130.104
• Catharina Stroppel ( diff | history )
  by Zoran Škoda at January 24, 2012 15:32:00 from 161.53.130.104
• Raphaël Rouquier
  by Zoran Škoda at January 24, 2012 14:43:23 from 161.53.130.104
• Aaron Lauda ( diff | history )
  by Zoran Škoda at January 24, 2012 14:41:20 from 161.53.130.104
• vertical categorification ( diff | history )
  by Zoran Škoda at January 24, 2012 14:14:15 from 161.53.130.104
• rewriting ( diff | history )
  by Zoran Škoda at January 24, 2012 14:07:30 from 161.53.130.104
• Khovanov homology ( diff | history )
  by Zoran Škoda at January 24, 2012 01:08:52 from 161.53.130.104
• Conformal field theory in four and six dimensions
  by Urs Schreiber at January 24, 2012 01:02:28 from 89.204.153.64
• Yang-Mills field ( diff | history )
  by Urs Schreiber at January 24, 2012 00:56:27 from 89.204.153.64

January 23, 2012

• spectral theorem ( diff | history )
  by Urs Schreiber at January 23, 2012 18:44:24 from 82.113.119.138
• CocommCoalg ( diff | history )
  by Todd Trimble at January 23, 2012 17:48:18 from 74.88.146.52
• interval ( diff | history )
  by Urs Schreiber at January 23, 2012 15:08:39 from 82.113.119.138
• locally ringed topos ( diff | history )
  by Todd Trimble at January 23, 2012 14:28:54 from 74.88.146.52
• geometric morphism ( diff | history )
  by Urs Schreiber at January 23, 2012 14:05:30 from 82.113.119.138
• topos theory - contents ( diff | history )
  by Urs Schreiber at January 23, 2012 14:04:03 from 82.113.119.138
• compact space ( diff | history )
  by Urs Schreiber at January 23, 2012 14:02:57 from 82.113.119.138
• compact topos
  by Urs Schreiber at January 23, 2012 14:01:18 from 82.113.119.138
• proper map of toposes
  by Urs Schreiber at January 23, 2012 13:56:06 from 82.113.119.138
• proper map ( diff | history )
  by Urs Schreiber at January 23, 2012 13:45:24 from 82.113.119.138
• codensity monad
  by Mike Shulman at January 23, 2012 04:52:12 from 71.136.231.206
• higher doctrine ( diff | history )
  by Mike Shulman at January 23, 2012 00:40:57 from 71.136.231.206

January 22, 2012

• one-sided real number ( diff | history )
  by Toby Bartels at January 22, 2012 20:09:57 from 69.171.187.82
• profinite completion of a group ( diff | history )
  by Tim Porter at January 22, 2012 16:37:53 from 95.147.237.196
• measurable function ( diff | history )
  by Toby Bartels at January 22, 2012 08:48:14 from 71.29.67.53
• measurable subset ( diff | history )
  by Toby Bartels at January 22, 2012 08:42:50 from 71.29.67.53
• sigma-algebra ( diff | history )
  by Toby Bartels at January 22, 2012 07:02:26 from 71.29.67.53
• sigma-ideal ( diff | history )
  by Toby Bartels at January 22, 2012 06:42:56 from 71.29.67.53
• Searching the nLab ( diff | history )
  by Toby Bartels at January 22, 2012 05:53:50 from 71.29.67.53
• measurable space ( diff | history )
  by Toby Bartels at January 22, 2012 05:51:02 from 71.29.67.53
• Chris Schommer-Pries ( diff | history )
  by Urs Schreiber at January 22, 2012 03:32:35 from 82.113.99.227
• (infinity,n)-category ( diff | history )
  by Urs Schreiber at January 22, 2012 03:31:28 from 82.113.99.227
• paracompact topological space ( diff | history )
  by Stephan Alexander Spahn at January 22, 2012 01:20:00 from 79.219.121.60
• Stiefel-Whitney class ( diff | history )
  by Urs Schreiber at January 22, 2012 01:13:30 from 82.113.99.227
• extended topological quantum field theory ( diff | history )
  by Urs Schreiber at January 22, 2012 01:08:24 from 82.113.99.227

January 21, 2012

• infinity-connected (infinity,1)-topos ( diff | history )
  by Stephan Alexander Spahn at January 21, 2012 23:57:26 from 79.219.121.60
• Andrei Suslin ( diff | history )
  by Toby Bartels at January 21, 2012 18:10:00 from 98.175.192.212
• locally n-connected (n+1,1)-topos ( diff | history )
  by Stephan Alexander Spahn at January 21, 2012 15:42:30 from 79.227.177.82
• Voevodsky motive ( diff | history )
  by Tim Porter at January 21, 2012 15:10:35 from 95.147.236.196
• Cheng space ( diff | history )
  by Toby Bartels at January 21, 2012 07:10:34 from 71.29.67.53
• almost function
  by Toby Bartels at January 21, 2012 07:06:50 from 71.29.67.53

January 20, 2012

• classifying space ( diff | history )
  by Tim Porter at January 20, 2012 21:31:13 from 95.147.238.84
• Gleason's theorem ( diff | history )
  by Chris Waggoner? at January 20, 2012 20:36:53 from 67.158.6.115
• simplicial ring ( diff | history )
  by Tim Porter at January 20, 2012 19:33:35 from 95.147.238.84
• Fivebrane structure ( diff | history )
  by Urs Schreiber at January 20, 2012 18:15:32 from 89.204.154.64
• Calogero model ( diff | history )
  by Zoran Škoda at January 20, 2012 15:49:47 from 161.53.130.104
• Knizhnik-Zamolodchikov equation ( diff | history )
  by Zoran Škoda at January 20, 2012 15:49:06 from 161.53.130.104
• induction ( diff | history )
  by Urs Schreiber at January 20, 2012 13:20:42 from 89.204.154.64
• extremum ( diff | history )
  by Todd Trimble at January 20, 2012 05:10:01 from 74.88.146.52
• character ( diff | history )
  by Toby Bartels at January 20, 2012 03:13:05 from 71.29.67.53
• Harish-Chandra module ( diff | history )
  by Toby Bartels at January 20, 2012 03:12:23 from 71.29.67.53
• locally compact space ( diff | history )
  by Toby Bartels at January 20, 2012 03:10:06 from 71.29.67.53
• inductive type ( diff | history )
  by Mike Shulman at January 20, 2012 03:01:20 from 71.136.231.206

January 19, 2012

• functional calculus ( diff | history )
  by Zoran Škoda at January 19, 2012 23:05:19 from 161.53.130.104
• Weyl functional calculus
  by Zoran Škoda at January 19, 2012 22:54:17 from 161.53.130.104
• Gerstenhaber-Schack cohomology ( diff | history )
  by Zoran Škoda at January 19, 2012 20:05:39 from 161.53.130.104
• complete category ( diff | history )
  by mondic->monadic; hope this is correct? at January 19, 2012 18:55:01 from 131.111.145.118
• bialgebra cocycle ( diff | history )
  by Zoran Škoda at January 19, 2012 16:52:39 from 161.53.130.104
• cohomology - contents ( diff | history )
  by Urs Schreiber at January 19, 2012 15:30:31 from 82.113.119.162
• bialgebra ( diff | history )
  by Urs Schreiber at January 19, 2012 15:26:45 from 82.113.119.162
• Murray Gerstenhaber
  by Urs Schreiber at January 19, 2012 15:26:02 from 82.113.119.162
• scissors congruence ( diff | history )
  by Zoran Škoda at January 19, 2012 15:04:00 from 161.53.130.104
• dilogarithm ( diff | history )
  by Zoran Škoda at January 19, 2012 13:19:11 from 161.53.130.104
• coinduction ( diff | history )
  by Urs Schreiber at January 19, 2012 13:17:02 from 82.113.119.162

January 18, 2012

• topological concrete category ( diff | history )
  by Igor Khavkine at January 18, 2012 22:48:44 from 131.211.43.155
• sigma-model ( diff | history )
  by Urs Schreiber at January 18, 2012 20:08:41 from 89.204.154.160
• moduli space ( diff | history )
  by Stephan Müller? at January 18, 2012 17:51:45 from 88.75.135.188
• simulation ( diff | history )
  by Todd Trimble at January 18, 2012 14:59:18 from 74.88.146.52
• action ( diff | history )
  by Urs Schreiber at January 18, 2012 14:31:09 from 89.204.154.160
• quotient object ( diff | history )
  by Urs Schreiber at January 18, 2012 14:28:40 from 89.204.154.160
• geometric invariant theory
  by Urs Schreiber at January 18, 2012 14:21:20 from 89.204.154.160
• Igor Dolgachev
  by Urs Schreiber at January 18, 2012 14:19:05 from 89.204.154.160
• moduli stack ( diff | history )
  by Urs Schreiber at January 18, 2012 14:03:41 from 89.204.154.160
• Bohr topos ( diff | history )
  by David Corfield at January 18, 2012 11:57:09 from 129.12.18.29

January 17, 2012

• intersection pairing ( diff | history )
  by Urs Schreiber at January 17, 2012 21:17:41 from 82.113.106.8
• critical point ( diff | history )
  by Urs Schreiber at January 17, 2012 18:58:28 from 89.204.137.183
• quadratic form ( diff | history )
  by Zoran Škoda at January 17, 2012 17:21:10 from 161.53.130.104
• differential string structure ( diff | history )
  by Urs Schreiber at January 17, 2012 14:51:33 from 89.204.137.183
• M5-brane ( diff | history )
  by Urs Schreiber at January 17, 2012 13:11:13 from 89.204.137.183
• tree category ( diff | history )
  by Mike Shulman at January 17, 2012 08:46:11 from 71.136.231.206
• higher dimensional Chern-Simons theory ( diff | history )
  by Urs Schreiber at January 17, 2012 02:36:26 from 89.204.154.183

January 16, 2012

• differentiation ( diff | history )
  by Urs Schreiber at January 16, 2012 23:59:57 from 89.204.154.183
• Jacobian ( diff | history )
  by Urs Schreiber at January 16, 2012 23:58:48 from 89.204.154.183
• differentiable map ( diff | history )
  by Urs Schreiber at January 16, 2012 23:49:10 from 89.204.154.183
• higher Klein geometry ( diff | history )
  by David Corfield at January 16, 2012 20:09:53 from 86.152.177.169
• 6d (2,0)-supersymmetric QFT ( diff | history )
  by Urs Schreiber at January 16, 2012 18:19:29 from 89.204.130.179
• Peter West
  by Urs Schreiber at January 16, 2012 18:17:55 from 89.204.130.179
• Joaquim Gomis
  by Urs Schreiber at January 16, 2012 18:16:41 from 89.204.130.179
• Jerome Gauntlett
  by Urs Schreiber at January 16, 2012 18:14:27 from 89.204.130.179
• Wu class ( diff | history )
  by Urs Schreiber at January 16, 2012 18:08:53 from 89.204.130.179
• AdS-CFT ( diff | history )
  by Urs Schreiber at January 16, 2012 17:25:29 from 89.204.130.179
• Pontryagin class ( diff | history )
  by Urs Schreiber at January 16, 2012 17:24:16 from 89.204.130.179
• Alexander Rosenberg ( diff | history )
  by FH? at January 16, 2012 16:44:55 from 134.157.55.179
• characteristic class ( diff | history )
  by Urs Schreiber at January 16, 2012 15:56:11 from 89.204.130.179
• universal characteristic class ( diff | history )
  by Urs Schreiber at January 16, 2012 15:54:46 from 89.204.130.179
• monad with arities ( diff | history )
  by Urs Schreiber at January 16, 2012 15:26:56 from 89.204.130.179
• nerve ( diff | history )
  by Tim Porter at January 16, 2012 14:59:53 from 95.147.237.236
• Daniel Kan ( diff | history )
  by Tim Porter at January 16, 2012 14:46:05 from 95.147.237.236
• William Dwyer ( diff | history )
  by Tim Porter at January 16, 2012 14:44:54 from 95.147.237.236
• Quadratic Functions in Geometry, Topology, and M-Theory ( diff | history )
  by Urs Schreiber at January 16, 2012 13:31:24 from 89.204.130.179
• cup product ( diff | history )
  by Urs Schreiber at January 16, 2012 12:16:14 from 89.204.130.179
• bilinear form ( diff | history )
  by Urs Schreiber at January 16, 2012 11:55:42 from 89.204.130.179
• nerve and realization ( diff | history )
  by Urs Schreiber at January 16, 2012 10:42:24 from 89.204.130.179
• Poincare group ( diff | history )
  by Anonymous Coward at January 16, 2012 03:47:49 from 74.88.146.52
• lax-idempotent 2-monad ( diff | history )
  by Mike Shulman at January 16, 2012 02:46:48 from 71.136.235.72
• real number ( diff | history )
  by Mike Shulman at January 16, 2012 01:58:33 from 71.136.235.72
• Dedekind cut ( diff | history )
  by Mike Shulman at January 16, 2012 01:56:37 from 71.136.235.72
• etale space ( diff | history )
  by Urs Schreiber at January 16, 2012 00:18:24 from 82.113.98.116

January 15, 2012

• free monoid ( diff | history )
  by Urs Schreiber at January 15, 2012 23:53:40 from 82.113.98.116
• tensor power ( diff | history )
  by Urs Schreiber at January 15, 2012 23:51:29 from 82.113.98.116
• function extensionality ( diff | history )
  by Urs Schreiber at January 15, 2012 23:08:30 from 82.113.98.116
• measure theory ( diff | history )
  by Chris Waggoner? at January 15, 2012 14:44:04 from 67.158.6.115
• étale infinity-groupoid
  by Urs Schreiber at January 15, 2012 13:08:46 from 82.113.98.116
• foliation ( diff | history )
  by Urs Schreiber at January 15, 2012 12:53:26 from 82.113.98.116
• Richard Dedekind
  by Urs Schreiber at January 15, 2012 12:39:31 from 82.113.98.116
• Georg Cantor
  by Urs Schreiber at January 15, 2012 12:36:47 from 82.113.98.116
• orbit ( diff | history )
  by Urs Schreiber at January 15, 2012 12:32:28 from 82.113.98.116
• orbit method ( diff | history )
  by Urs Schreiber at January 15, 2012 12:31:33 from 82.113.98.116
• dense sub-site ( diff | history )
  by Urs Schreiber at January 15, 2012 11:56:39 from 82.113.98.116

January 14, 2012

• groupoid ( diff | history )
  by Ronnie Brown at January 14, 2012 18:16:05 from 81.154.120.202
• groupoid object in an (infinity,1)-category ( diff | history )
  by Urs Schreiber at January 14, 2012 15:11:31 from 89.204.154.205
• equivalence relation ( diff | history )
  by Urs Schreiber at January 14, 2012 14:23:37 from 89.204.154.205
• display map ( diff | history )
  by Toby Bartels at January 14, 2012 11:13:26 from 71.29.67.53
• implicit infinity-category theory convention ( diff | history )
  by Toby Bartels at January 14, 2012 10:48:43 from 71.29.67.53
• bar construction ( diff | history )
  by Tim Porter at January 14, 2012 09:32:37 from 95.147.237.204
• Coxeter group ( diff | history )
  by Urs Schreiber at January 14, 2012 08:07:20 from 89.204.130.46
• Oberwolfach HoTT-Coq tutorial ( diff | history )
  by Urs Schreiber at January 14, 2012 07:38:52 from 89.204.130.46
• unitalization ( diff | history )
  by MTS? at January 14, 2012 07:08:55 from 184.187.181.145

January 13, 2012

• initial object ( diff | history )
  by Urs Schreiber at January 13, 2012 21:40:53 from 82.113.121.130
• terminal object in a quasi-category ( diff | history )
  by Urs Schreiber at January 13, 2012 21:40:04 from 82.113.121.130
• finitely complete category ( diff | history )
  by Mike Shulman at January 13, 2012 21:13:56 from 71.136.235.72
• groupoid object ( diff | history )
  by Mike Shulman at January 13, 2012 21:13:11 from 71.136.235.72
• Freyd cover ( diff | history )
  by Mike Shulman at January 13, 2012 20:44:12 from 71.136.235.72
• Alfsen-Shultz theorem
  by Urs Schreiber at January 13, 2012 16:58:16 from 195.37.209.182
• C-star-algebra ( diff | history )
  by Urs Schreiber at January 13, 2012 16:53:03 from 195.37.209.182
• state on an operator algebra ( diff | history )
  by Urs Schreiber at January 13, 2012 16:52:50 from 195.37.209.182
• Jordan algebra ( diff | history )
  by Urs Schreiber at January 13, 2012 16:52:10 from 195.37.209.182
• poset of commutative subalgebras ( diff | history )
  by Urs Schreiber at January 13, 2012 16:48:25 from 195.37.209.182
• group object ( diff | history )
  by Stephan Alexander Spahn at January 13, 2012 16:27:41 from 85.4.216.170
• ribbon graph ( diff | history )
  by Anonymous Coward at January 13, 2012 15:38:01 from 152.78.40.49
• effective topos ( diff | history )
  by Zoran Škoda at January 13, 2012 14:20:12 from 161.53.130.104
• Steve Awodey ( diff | history )
  by Tim Porter at January 13, 2012 10:06:43 from 95.147.237.130
• Theta category ( diff | history )
  by David Roberts at January 13, 2012 08:58:35 from 203.24.207.64

January 12, 2012

• Isbell envelope ( diff | history )
  by Tim Campion? at January 12, 2012 22:26:01 from 173.76.90.116
• simplicial C-infinity-ring ( diff | history )
  by Urs Schreiber at January 12, 2012 19:19:59 from 195.37.209.182
• smooth (infinity,1)-algebra ( diff | history )
  by Urs Schreiber at January 12, 2012 19:18:35 from 195.37.209.182
• derived differential geometry
  by Urs Schreiber at January 12, 2012 19:15:49 from 195.37.209.182
• derived smooth manifold ( diff | history )
  by Urs Schreiber at January 12, 2012 19:14:40 from 195.37.209.182
• differential geometry ( diff | history )
  by Urs Schreiber at January 12, 2012 19:13:33 from 195.37.209.182
• derived geometry ( diff | history )
  by Urs Schreiber at January 12, 2012 19:12:40 from 195.37.209.182
• n-fold complete Segal space ( diff | history )
  by Urs Schreiber at January 12, 2012 17:50:23 from 195.37.209.182
• higher Segal space
  by Urs Schreiber at January 12, 2012 17:48:47 from 195.37.209.182
• polygon
  by Urs Schreiber at January 12, 2012 17:25:24 from 195.37.209.182
• complete Segal space ( diff | history )
  by Urs Schreiber at January 12, 2012 17:11:42 from 195.37.209.182
• Segal space ( diff | history )
  by Urs Schreiber at January 12, 2012 17:10:10 from 195.37.209.182
• internal logic ( diff | history )
  by Urs Schreiber at January 12, 2012 10:44:00 from 89.204.137.128
• Amnon Yekutieli ( diff | history )
  by Toby Bartels at January 12, 2012 05:05:56 from 216.96.8.189
• strict category ( diff | history )
  by Toby Bartels at January 12, 2012 03:05:26 from 216.96.8.189
• stabilizer group ( diff | history )
  by Toby Bartels at January 12, 2012 03:00:38 from 216.96.8.189
• motivation for sheaves, cohomology and higher stacks ( diff | history )
  by Urs Schreiber at January 12, 2012 01:54:55 from 82.113.119.19
• W-type ( diff | history )
  by Mike Shulman at January 12, 2012 01:17:50 from 71.136.235.72

January 11, 2012

• locale ( diff | history )
  by Mike Shulman at January 11, 2012 22:33:03 from 71.136.235.72
• 7-dimensional supergravity ( diff | history )
  by Urs Schreiber at January 11, 2012 19:58:27 from 89.204.137.175
• Laurent polynomial
  by Zoran Škoda at January 11, 2012 18:39:52 from 161.53.130.104
• Laurent phenomenon
  by Zoran Škoda at January 11, 2012 18:36:42 from 161.53.130.104
• cluster algebra ( diff | history )
  by Zoran Škoda at January 11, 2012 18:23:13 from 161.53.130.104
• Victor Kac ( diff | history )
  by Zoran Škoda at January 11, 2012 18:17:49 from 161.53.130.104
• pseudodifferential operator ( diff | history )
  by Zoran Škoda at January 11, 2012 18:17:09 from 161.53.130.104
• A-infinity-algebra ( diff | history )
  by Stephan Alexander Spahn at January 11, 2012 15:16:49 from 188.60.249.119
• K. Borsuk ( diff | history )
  by Tim Porter at January 11, 2012 13:55:08 from 95.147.237.103
• nerve theorem ( diff | history )
  by Tim Porter at January 11, 2012 13:47:33 from 95.147.237.103
• geometric homotopy groups in an (infinity,1)-topos ( diff | history )
  by Tim Porter at January 11, 2012 13:20:53 from 95.147.237.103
• Topos ( diff | history )
  by Urs Schreiber at January 11, 2012 12:58:22 from 89.204.155.67
• cohesive (infinity,1)-topos -- structures ( diff | history )
  by Urs Schreiber at January 11, 2012 11:25:18 from 89.204.155.67
• doctrine ( diff | history )
  by Frederic Paugam at January 11, 2012 09:55:39 from 134.157.162.59
• Scott topology ( diff | history )
  by Toby Bartels at January 11, 2012 06:51:26 from 216.96.8.189
• Coulomb gauge
  by phx? at January 11, 2012 02:06:26 from 77.8.165.49
• étale homotopy
  by Urs Schreiber at January 11, 2012 00:55:56 from 82.113.99.179

January 10, 2012

• dense subcategory ( diff | history )
  by Todd Trimble at January 10, 2012 22:30:15 from 74.88.146.52
• Kan object ( diff | history )
  by Mike Shulman at January 10, 2012 21:46:03 from 71.136.235.72
• BLG model ( diff | history )
  by Urs Schreiber at January 10, 2012 21:16:29 from 89.204.138.167
• Christian Saemann
  by Urs Schreiber at January 10, 2012 21:15:40 from 89.204.138.167
• Neil Lambert
  by Urs Schreiber at January 10, 2012 21:13:57 from 89.204.138.167
• Jonathan Bagger
  by Urs Schreiber at January 10, 2012 21:12:08 from 89.204.138.167
• signature (in logic) ( diff | history )
  by Todd Trimble at January 10, 2012 18:28:57 from 74.88.146.52
• split coequalizer ( diff | history )
  by Finn Lawler at January 10, 2012 18:23:15 from 86.41.35.83
• monad (disambiguation) ( diff | history )
  by Zoran Škoda at January 10, 2012 18:15:45 from 161.53.130.104
• frame (disambiguation)
  by Urs Schreiber at January 10, 2012 15:36:35 from 89.204.139.97
• signature ( diff | history )
  by Urs Schreiber at January 10, 2012 15:36:01 from 89.204.139.97
• frame ( diff | history )
  by Urs Schreiber at January 10, 2012 15:31:16 from 89.204.139.97
• instanton ( diff | history )
  by Urs Schreiber at January 10, 2012 15:09:52 from 89.204.139.97
• Werner Nahm
  by Urs Schreiber at January 10, 2012 15:09:07 from 89.204.139.97
• Beilinson monad
  by Urs Schreiber at January 10, 2012 14:50:53 from 89.204.139.97
• base change ( diff | history )
  by Stephan Müller? at January 10, 2012 13:54:14 from 141.20.52.69
• inverse ( diff | history )
  by Toby Bartels at January 10, 2012 07:39:55 from 216.96.8.189
• opposite relation ( diff | history )
  by Toby Bartels at January 10, 2012 07:37:17 from 216.96.8.189

January 9, 2012

• AnonymousCoward ( diff | history )
  by Toby Bartels at January 9, 2012 23:44:56 from 64.89.53.233
• Toby Bartels ( diff | history )
  by Toby Bartels at January 9, 2012 23:41:23 from 64.89.53.233
• algebraic model category ( diff | history )
  by Emily Riehl at January 9, 2012 22:13:32 from 74.104.37.214
• homotopy pullback ( diff | history )
  by Urs Schreiber at January 9, 2012 20:24:26 from 89.204.154.25
• delta measure
  by Anonymous Coward at January 9, 2012 19:41:46 from 94.194.201.216
• internal infinity-groupoid ( diff | history )
  by Stephan Alexander Spahn at January 9, 2012 19:17:56 from 188.60.249.119
• analytic variety ( diff | history )
  by Toby Bartels at January 9, 2012 19:05:03 from 64.89.53.79
• relative cohomology ( diff | history )
  by Urs Schreiber at January 9, 2012 17:46:34 from 89.204.154.25
• twisted cohomology ( diff | history )
  by Urs Schreiber at January 9, 2012 15:39:30 from 89.204.154.25
• group extension ( diff | history )
  by Urs Schreiber at January 9, 2012 15:37:00 from 89.204.154.25
• recollement ( diff | history )
  by Zoran Škoda at January 9, 2012 15:35:45 from 161.53.130.104
• archimedean valued field ( diff | history )
  by Toby Bartels at January 9, 2012 06:09:09 from 216.96.8.189
• archimedean field ( diff | history )
  by Toby Bartels at January 9, 2012 06:08:33 from 216.96.8.189
• absolute value ( diff | history )
  by Toby Bartels at January 9, 2012 05:58:02 from 216.96.8.189
• complete field ( diff | history )
  by Urs Schreiber at January 9, 2012 01:51:25 from 82.113.119.184
• Ostrowski's theorem ( diff | history )
  by Urs Schreiber at January 9, 2012 01:28:42 from 82.113.119.184
• boundary of a simplex ( diff | history )
  by Urs Schreiber at January 9, 2012 01:10:10 from 82.113.119.184

January 8, 2012

• inaccessible cardinal ( diff | history )
  by Urs Schreiber at January 8, 2012 18:17:55 from 82.113.121.244
• large category ( diff | history )
  by Urs Schreiber at January 8, 2012 18:09:57 from 82.113.121.244
• coverage ( diff | history )
  by Urs Schreiber at January 8, 2012 18:03:15 from 82.113.121.244
• holomorphic function ( diff | history )
  by Urs Schreiber at January 8, 2012 16:48:38 from 82.113.121.244
• analytic function ( diff | history )
  by Urs Schreiber at January 8, 2012 16:47:17 from 82.113.121.244
• Riemann surface via valuations ( diff | history )
  by Toby Bartels at January 8, 2012 14:58:36 from 216.96.8.189
• meromorphic function
  by Toby Bartels at January 8, 2012 14:58:14 from 216.96.8.189
• Shiing-shen Chern ( diff | history )
  by Anonymous Coward at January 8, 2012 08:12:11 from 76.102.119.3
• probability theory ( diff | history )
  by Chris Waggoner? at January 8, 2012 03:59:43 from 67.158.6.115
• analytic spectrum ( diff | history )
  by David Roberts at January 8, 2012 03:01:12 from 101.116.80.84

January 7, 2012

• quantum geometric Langlands correspondence ( diff | history )
  by Urs Schreiber at January 7, 2012 18:12:11 from 89.204.155.32
• Hitchin fibration ( diff | history )
  by Urs Schreiber at January 7, 2012 18:10:24 from 89.204.155.32
• electric-magnetic duality ( diff | history )
  by Urs Schreiber at January 7, 2012 18:08:11 from 89.204.155.32
• Langlands correspondence -- contents
  by Urs Schreiber at January 7, 2012 18:06:20 from 89.204.155.32
• geometric Langlands correspondence ( diff | history )
  by Urs Schreiber at January 7, 2012 18:05:09 from 89.204.155.32
• geometric Langlands program ( diff | history )
  by Urs Schreiber at January 7, 2012 18:04:04 from 89.204.155.32
• local Langlands conjecture
  by Urs Schreiber at January 7, 2012 18:03:32 from 89.204.155.32
• Langlands program ( diff | history )
  by Urs Schreiber at January 7, 2012 18:02:33 from 89.204.155.32
• analytic space ( diff | history )
  by Urs Schreiber at January 7, 2012 17:48:35 from 89.204.155.32
• factorization lemma ( diff | history )
  by Urs Schreiber at January 7, 2012 16:57:04 from 82.113.106.121
• books about string theory ( diff | history )
  by Urs Schreiber at January 7, 2012 16:36:05 from 82.113.106.121
• rigid analytic geometry ( diff | history )
  by Urs Schreiber at January 7, 2012 15:52:56 from 82.113.106.121
• Hořava-Witten theory ( diff | history )
  by Urs Schreiber at January 7, 2012 14:34:10 from 82.113.106.121
• resolution ( diff | history )
  by Urs Schreiber at January 7, 2012 13:45:13 from 82.113.106.121
• fibration ( diff | history )
  by Urs Schreiber at January 7, 2012 13:43:31 from 82.113.106.121
• homotopy coherent nerve ( diff | history )
  by Tim Porter at January 7, 2012 13:43:24 from 95.147.236.75
• cofibration ( diff | history )
  by Urs Schreiber at January 7, 2012 13:42:06 from 82.113.106.121
• universal fibration of (infinity,1)-categories ( diff | history )
  by Urs Schreiber at January 7, 2012 13:35:43 from 82.113.106.121
• quasifibration ( diff | history )
  by Urs Schreiber at January 7, 2012 13:34:28 from 82.113.106.121
• Thomas Goodwillie ( diff | history )
  by Urs Schreiber at January 7, 2012 13:34:16 from 82.113.106.121
• Adam Falkowski
  by Urs Schreiber at January 7, 2012 03:37:00 from 82.113.119.198
• Paul Townsend
  by Urs Schreiber at January 7, 2012 03:07:52 from 82.113.119.198

January 6, 2012

• anti de Sitter spacetime ( diff | history )
  by Urs Schreiber at January 6, 2012 16:35:03 from 89.204.137.240
• Gilles Cristol
  by Urs Schreiber at January 6, 2012 16:28:06 from 89.204.137.240
• free loop space object ( diff | history )
  by Stephan Alexander Spahn at January 6, 2012 15:27:43 from 79.219.116.120
• building ( diff | history )
  by Urs Schreiber at January 6, 2012 14:58:34 from 89.204.137.240
• Kiran Kedlaya
  by Urs Schreiber at January 6, 2012 14:25:19 from 89.204.137.240
• inertia orbifold ( diff | history )
  by Stephan Alexander Spahn at January 6, 2012 14:13:13 from 79.219.116.120
• polydisc
  by Urs Schreiber at January 6, 2012 14:12:46 from 89.204.137.240
• non-commutative analytic space
  by Urs Schreiber at January 6, 2012 13:51:07 from 89.204.137.240
• noncommutative geometry ( diff | history )
  by Urs Schreiber at January 6, 2012 13:42:50 from 89.204.137.240
• Karl-Georg Schlesinger
  by Urs Schreiber at January 6, 2012 13:39:41 from 89.204.137.240
• Maximilian Kreuzer
  by Urs Schreiber at January 6, 2012 13:38:25 from 89.204.137.240
• self-dual higher gauge theory ( diff | history )
  by Urs Schreiber at January 6, 2012 12:58:54 from 89.204.137.240
• Brian Conrad
  by Urs Schreiber at January 6, 2012 12:11:37 from 89.204.137.240
• analytic geometry ( diff | history )
  by Urs Schreiber at January 6, 2012 12:10:53 from 89.204.137.240
• Banach algebra ( diff | history )
  by Urs Schreiber at January 6, 2012 11:45:46 from 89.204.137.240
• affinoid algebra ( diff | history )
  by Urs Schreiber at January 6, 2012 11:43:50 from 89.204.137.240
• power series ( diff | history )
  by Urs Schreiber at January 6, 2012 11:42:44 from 89.204.137.240
• norm ( diff | history )
  by Urs Schreiber at January 6, 2012 11:31:51 from 89.204.137.240
• manifold ( diff | history )
  by Urs Schreiber at January 6, 2012 11:11:15 from 89.204.137.240
• analytic manifold
  by Urs Schreiber at January 6, 2012 11:09:41 from 89.204.137.240
• subtopos ( diff | history )
  by Urs Schreiber at January 6, 2012 11:08:32 from 89.204.137.240
• Artin gluing ( diff | history )
  by Urs Schreiber at January 6, 2012 11:06:06 from 89.204.137.240
• maximal spectrum ( diff | history )
  by Urs Schreiber at January 6, 2012 10:57:17 from 89.204.137.240
• blob homology ( diff | history )
  by Tim Porter at January 6, 2012 10:23:44 from 95.147.237.97

January 5, 2012

• line object ( diff | history )
  by Urs Schreiber at January 5, 2012 20:05:24 from 89.204.138.119
• disjoint union ( diff | history )
  by Urs Schreiber at January 5, 2012 20:04:20 from 89.204.138.119
• intersection ( diff | history )
  by Urs Schreiber at January 5, 2012 20:04:04 from 89.204.138.119
• union ( diff | history )
  by Urs Schreiber at January 5, 2012 20:02:38 from 89.204.138.119
• affine line ( diff | history )
  by Urs Schreiber at January 5, 2012 19:57:19 from 89.204.138.119
• analytic affine line
  by Urs Schreiber at January 5, 2012 19:56:10 from 89.204.138.119
• Jérôme Poineau
  by Urs Schreiber at January 5, 2012 19:55:12 from 89.204.138.119
• Scott Carnahan
  by Urs Schreiber at January 5, 2012 19:48:20 from 89.204.138.119
• Gauss-Bonnet theorem ( diff | history )
  by Urs Schreiber at January 5, 2012 16:49:21 from 89.204.138.119
• prime spectrum ( diff | history )
  by Anonymous Coward at January 5, 2012 01:27:56 from 81.159.8.150

January 4, 2012

• A1-homotopy theory ( diff | history )
  by Urs Schreiber at January 4, 2012 21:37:21 from 82.113.119.151
• global analytic geometry ( diff | history )
  by Urs Schreiber at January 4, 2012 20:49:13 from 82.113.119.151
• hypercover ( diff | history )
  by Urs Schreiber at January 4, 2012 20:43:22 from 82.113.119.151
• smooth map ( diff | history )
  by Urs Schreiber at January 4, 2012 20:11:09 from 82.113.119.151
• 2-vector space ( diff | history )
  by Maarten Bergvelt at January 4, 2012 19:58:54 from 192.17.101.158
• measure space ( diff | history )
  by Zoran Škoda at January 4, 2012 17:43:27 from 161.53.130.104
• valuation ( diff | history )
  by Zoran Škoda at January 4, 2012 17:32:50 from 161.53.130.104
• valuation ring ( diff | history )
  by Zoran Škoda at January 4, 2012 17:16:08 from 161.53.130.104
• Nori motive ( diff | history )
  by Zoran Škoda at January 4, 2012 17:08:42 from 161.53.130.104
• Grothendieck duality ( diff | history )
  by Zoran Škoda at January 4, 2012 16:14:39 from 161.53.130.104
• six operations ( diff | history )
  by Zoran Škoda at January 4, 2012 16:11:43 from 161.53.130.104
• p-adic physics
  by Urs Schreiber at January 4, 2012 15:35:31 from 89.204.138.190
• join ( diff | history )
  by Contempts->Contents? at January 4, 2012 15:28:09 from 82.139.112.33
• Cahiers topos ( diff | history )
  by Urs Schreiber at January 4, 2012 14:55:25 from 89.204.138.190
• convenient vector space ( diff | history )
  by Urs Schreiber at January 4, 2012 14:52:47 from 89.204.138.190
• smooth infinity-groupoid ( diff | history )
  by Urs Schreiber at January 4, 2012 13:55:43 from 89.204.138.190
• smooth space ( diff | history )
  by Urs Schreiber at January 4, 2012 13:46:06 from 89.204.138.190
• cohesive infinity-toposes - contents ( diff | history )
  by Urs Schreiber at January 4, 2012 13:44:11 from 89.204.138.190
• synthetic differential geometry - contents ( diff | history )
  by Urs Schreiber at January 4, 2012 13:41:21 from 89.204.138.190
• diffeological space ( diff | history )
  by Urs Schreiber at January 4, 2012 13:34:58 from 89.204.138.190
• cohesive (infinity,1)-topos ( diff | history )
  by Urs Schreiber at January 4, 2012 01:55:26 from 89.204.130.224

January 3, 2012

• affine connection ( diff | history )
  by Zoran Škoda at January 3, 2012 19:57:27 from 161.53.130.104
• B1-homotopy theory
  by Urs Schreiber at January 3, 2012 19:51:19 from 89.204.130.224
• descent algebra
  by Zoran Škoda at January 3, 2012 18:28:25 from 161.53.130.104
• CW complex ( diff | history )
  by Urs Schreiber at January 3, 2012 16:52:24 from 89.204.130.224
• Galois theory ( diff | history )
  by Urs Schreiber at January 3, 2012 15:43:43 from 89.204.130.224
• branched manifold ( diff | history )
  by Stephan Alexander Spahn at January 3, 2012 12:44:06 from 79.227.167.10
• two-out-of-three ( diff | history )
  by Urs Schreiber at January 3, 2012 12:35:16 from 89.204.130.224
• two-out-of-six property ( diff | history )
  by Urs Schreiber at January 3, 2012 12:31:49 from 89.204.130.224
• homotopical category ( diff | history )
  by Mike Shulman at January 3, 2012 05:26:48 from 173.8.161.189
• category with weak equivalences ( diff | history )
  by Mike Shulman at January 3, 2012 05:24:43 from 173.8.161.189
• coherent sheaf ( diff | history )
  by Anonymous Coward at January 3, 2012 03:56:56 from 128.101.152.206

January 2, 2012

• place ( diff | history )
  by Urs Schreiber at January 2, 2012 23:48:34 from 89.204.130.166
• rational number ( diff | history )
  by Urs Schreiber at January 2, 2012 22:59:55 from 89.204.130.166
• Vladimir Berkovich ( diff | history )
  by Urs Schreiber at January 2, 2012 21:17:33 from 89.204.138.3
• John Tate
  by Urs Schreiber at January 2, 2012 18:50:53 from 89.204.138.3
• self-adjoint operator ( diff | history )
  by Urs Schreiber at January 2, 2012 18:18:56 from 89.204.138.3
• Deligne-Mumford stack ( diff | history )
  by Urs Schreiber at January 2, 2012 16:05:36 from 89.204.138.3
• D-module ( diff | history )
  by Urs Schreiber at January 2, 2012 15:05:45 from 89.204.138.3
• regular cardinal ( diff | history )
  by Toby Bartels at January 2, 2012 10:00:11 from 216.96.8.189
• Leinster2010 ( diff | history )
  by Tom Leinster at January 2, 2012 02:24:48 from 86.0.207.114

January 1, 2012

• graded vector space ( diff | history )
  by Urs Schreiber at January 1, 2012 20:25:26 from 89.204.139.133
• model structure on chain complexes ( diff | history )
  by Urs Schreiber at January 1, 2012 18:48:44 from 82.113.121.173
• graded set ( diff | history )
  by Toby Bartels at January 1, 2012 12:46:41 from 216.96.8.189
• cofinal ( diff | history )
  by Toby Bartels at January 1, 2012 12:29:19 from 216.96.8.189
• cofinality ( diff | history )
  by Toby Bartels at January 1, 2012 12:22:22 from 216.96.8.189
• natural isomorphism ( diff | history )
  by Toby Bartels at January 1, 2012 12:03:07 from 216.96.8.189
• M-category ( diff | history )
  by Toby Bartels at January 1, 2012 10:43:59 from 216.96.8.189
• cohesive ( diff | history )
  by Toby Bartels at January 1, 2012 10:29:07 from 216.96.8.189
• profinite space ( diff | history )
  by Tim Porter at January 1, 2012 10:08:07 from 95.147.236.190
• Gereon Quick ( diff | history )
  by Tim Porter at January 1, 2012 10:05:45 from 95.147.236.190
• twisted complex ( diff | history )
  by Mike Shulman at January 1, 2012 05:21:13 from 173.8.161.189
• infinitary Lawvere theory ( diff | history )
  by Mike Shulman at January 1, 2012 05:21:07 from 173.8.161.189
• combinatorial spectrum ( diff | history )
  by Mike Shulman at January 1, 2012 05:20:55 from 173.8.161.189
• absolute colimit ( diff | history )
  by Mike Shulman at January 1, 2012 05:12:07 from 173.8.161.189
• local site ( diff | history )
  by Dmitri Pavlov at January 1, 2012 01:33:15 from 195.131.219.66

December 31, 2011

• cofinal diagrams ( diff | history )
  by Urs Schreiber at December 31, 2011 20:55:20 from 82.113.121.71
• pro-object ( diff | history )
  by Urs Schreiber at December 31, 2011 20:51:10 from 82.113.121.71
• twisted spin structure ( diff | history )
  by Dmitri Pavlov at December 31, 2011 20:27:23 from 195.131.219.66
• twisted spin^c structure ( diff | history )
  by Dmitri Pavlov at December 31, 2011 20:04:14 from 195.131.219.66
• proper class ( diff | history )
  by Toby Bartels at December 31, 2011 16:48:52 from 216.96.8.189
• Mayer-Vietoris sequence ( diff | history )
  by Urs Schreiber at December 31, 2011 16:29:48 from 89.204.139.69
• final functor ( diff | history )
  by Urs Schreiber at December 31, 2011 15:27:34 from 89.204.139.69
• diffeomorphism group ( diff | history )
  by Urs Schreiber at December 31, 2011 15:19:35 from 89.204.139.69
• Warsaw circle ( diff | history )
  by Toby Bartels at December 31, 2011 14:29:33 from 216.96.8.189

December 30, 2011

• preset ( diff | history )
  by Toby Bartels at December 30, 2011 20:34:43 from 216.96.8.189
• effective quantum field theory ( diff | history )
  by Urs Schreiber at December 30, 2011 18:07:02 from 82.113.99.197

December 29, 2011

• Erlangen program ( diff | history )
  by Urs Schreiber at December 29, 2011 19:02:39 from 82.113.99.5
• Klein geometry ( diff | history )
  by Urs Schreiber at December 29, 2011 19:00:20 from 82.113.99.5
• A-infinity-space ( diff | history )
  by Urs Schreiber at December 29, 2011 17:50:28 from 82.113.99.5
• quantum hadrodynamics
  by Urs Schreiber at December 29, 2011 15:43:03 from 82.113.99.5
• QCD ( diff | history )
  by Urs Schreiber at December 29, 2011 15:40:19 from 82.113.99.5
• fiber sequence ( diff | history )
  by Urs Schreiber at December 29, 2011 13:36:58 from 82.113.99.5
• section ( diff | history )
  by Cameron Smith at December 29, 2011 07:35:32 from 129.98.105.162

December 27, 2011

• higher Cartan geometry ( diff | history )
  by David Corfield at December 27, 2011 13:34:28 from 86.153.233.125

December 26, 2011

• quotient type ( diff | history )
  by Toby Bartels at December 26, 2011 11:00:16 from 98.16.155.215
• type-theoretic definition of category ( diff | history )
  by Toby Bartels at December 26, 2011 09:56:58 from 98.16.155.215
• Stephen Britton ( diff | history )
  by Stephen Britton at December 26, 2011 06:54:36 from 75.64.180.220

December 24, 2011

• globular set ( diff | history )
  by Stephan Alexander Spahn at December 24, 2011 20:51:20 from 79.227.171.93
• filtered (infinity,1)-category ( diff | history )
  by Zoran Škoda at December 24, 2011 14:31:47 from 95.168.105.63

December 23, 2011

• category theory vs order theory ( diff | history )
  by Mike Shulman at December 23, 2011 21:20:05 from 71.136.253.8
• strict 2-category ( diff | history )
  by Mike Shulman at December 23, 2011 20:37:25 from 71.136.253.8
• measure theory - contents ( diff | history )
  by Urs Schreiber at December 23, 2011 15:20:54 from 82.113.99.229
• measurable locale ( diff | history )
  by Urs Schreiber at December 23, 2011 15:19:40 from 82.113.99.229
• finite limit ( diff | history )
  by Urs Schreiber at December 23, 2011 13:13:00 from 82.113.119.152
• limit in a quasi-category ( diff | history )
  by Mike Shulman at December 23, 2011 09:46:52 from 71.136.253.8
• finite (infinity,1)-limit
  by Mike Shulman at December 23, 2011 09:45:17 from 71.136.253.8
• exact (infinity,1)-functor ( diff | history )
  by Mike Shulman at December 23, 2011 09:44:51 from 71.136.253.8
• 2-limit ( diff | history )
  by Finn Lawler at December 23, 2011 07:53:51 from 86.41.38.41

December 22, 2011

• category theory - contents ( diff | history )
  by Urs Schreiber at December 22, 2011 14:50:05 from 89.204.155.165
• spontaneously broken symmetry ( diff | history )
  by Urs Schreiber at December 22, 2011 14:22:38 from 89.204.155.165
• supersymmetry ( diff | history )
  by Urs Schreiber at December 22, 2011 14:22:15 from 89.204.155.165
• intuitionistic logic ( diff | history )
  by Urs Schreiber at December 22, 2011 14:11:17 from 89.204.155.165
• Alfred Tarski
  by Urs Schreiber at December 22, 2011 14:08:59 from 89.204.155.165
• reflexive Banach space ( diff | history )
  by Yemon Choi at December 22, 2011 11:57:24 from 207.47.246.124
• Yemon Choi ( diff | history )
  by Yemon Choi at December 22, 2011 11:45:30 from 207.47.246.124
• supercompact cardinal ( diff | history )
  by David Roberts at December 22, 2011 08:10:35 from 203.24.207.65
• universal principal bundle ( diff | history )
  by David Roberts at December 22, 2011 06:42:34 from 203.24.207.21
• full and faithful functor ( diff | history )
  by Toby Bartels at December 22, 2011 05:37:07 from 71.31.218.211
• full functor ( diff | history )
  by Toby Bartels at December 22, 2011 05:36:07 from 71.31.218.211

December 21, 2011

• n-connected object of an (infinity,1)-topos ( diff | history )
  by Urs Schreiber at December 21, 2011 20:19:40 from 82.113.98.205
• faithful functor ( diff | history )
  by Urs Schreiber at December 21, 2011 19:22:45 from 82.113.98.205
• essentially surjective functor ( diff | history )
  by Urs Schreiber at December 21, 2011 19:21:31 from 82.113.98.205
• hom-set ( diff | history )
  by Urs Schreiber at December 21, 2011 19:19:02 from 82.113.98.205
• universal principal infinity-bundle ( diff | history )
  by Urs Schreiber at December 21, 2011 12:03:37 from 83.91.122.110
• cohomology ( diff | history )
  by Urs Schreiber at December 21, 2011 11:39:42 from 83.91.122.110
• motivic cohomology ( diff | history )
  by Urs Schreiber at December 21, 2011 11:38:46 from 83.91.122.110
• localizing subcategory ( diff | history )
  by Urs Schreiber at December 21, 2011 10:07:40 from 83.91.122.110
• stream ( diff | history )
  by Toby Bartels at December 21, 2011 09:38:21 from 71.31.218.211
• sober topological space ( diff | history )
  by Toby Bartels at December 21, 2011 09:26:24 from 71.31.218.211
• electric charge ( diff | history )
  by Urs Schreiber at December 21, 2011 01:49:42 from 83.91.122.110
• higher electric background charge coupling
  by Urs Schreiber at December 21, 2011 01:46:06 from 83.91.122.110
• C6-field ( diff | history )
  by Urs Schreiber at December 21, 2011 01:33:45 from 83.91.122.110
• B6-field ( diff | history )
  by Urs Schreiber at December 21, 2011 01:33:09 from 83.91.122.110
• higher U(1)-gauge theory
  by Urs Schreiber at December 21, 2011 01:32:39 from 83.91.122.110
• Kalb-Ramond field ( diff | history )
  by Urs Schreiber at December 21, 2011 01:28:35 from 83.91.122.110
• circle n-bundle with connection ( diff | history )
  by Urs Schreiber at December 21, 2011 01:27:04 from 83.91.122.110
• electromagnetism ( diff | history )
  by Urs Schreiber at December 21, 2011 01:25:10 from 83.91.122.110
• infinity-Chern-Simons theory - contents ( diff | history )
  by Urs Schreiber at December 21, 2011 01:20:59 from 83.91.122.110
• gauge theory ( diff | history )
  by Urs Schreiber at December 21, 2011 01:08:09 from 83.91.122.110
• Dirac charge quantization and generalized differential cohomology ( diff | history )
  by Urs Schreiber at December 21, 2011 00:54:33 from 83.91.122.110

December 20, 2011

• Marc Hoyois
  by Urs Schreiber at December 20, 2011 22:50:56 from 130.226.87.167
• Contributors ( diff | history )
  by Toby Bartels at December 20, 2011 22:48:48 from 71.31.218.211
• familial regularity and exactness ( diff | history )
  by Toby Bartels at December 20, 2011 22:44:47 from 71.31.218.211
• notions of subcategory ( diff | history )
  by Urs Schreiber at December 20, 2011 22:44:27 from 130.226.87.167
• sub-(infinity,1)-category - internal formulation ( diff | history )
  by Urs Schreiber at December 20, 2011 22:44:09 from 130.226.87.167
• localization ( diff | history )
  by Urs Schreiber at December 20, 2011 22:42:17 from 130.226.87.167
• butterfly ( diff | history )
  by Beppe Metere? at December 20, 2011 18:21:40 from 159.149.43.46
• crossed profunctor ( diff | history )
  by Beppe Metere? at December 20, 2011 17:47:12 from 159.149.43.46
• 3-groupoid ( diff | history )
  by Urs Schreiber at December 20, 2011 17:04:55 from 130.226.87.167
• first Chern class
  by Urs Schreiber at December 20, 2011 16:19:22 from 130.226.87.167
• quantum group ( diff | history )
  by Urs Schreiber at December 20, 2011 15:55:29 from 130.226.87.167
• infinity-space ( diff | history )
  by David Corfield at December 20, 2011 15:16:24 from 86.159.145.83
• classical field theory ( diff | history )
  by Urs Schreiber at December 20, 2011 13:35:55 from 130.226.87.167
• Nicolai Reshetikhin ( diff | history )
  by Urs Schreiber at December 20, 2011 13:15:37 from 130.226.87.167
• cardinal number ( diff | history )
  by Toby Bartels at December 20, 2011 12:25:01 from 71.31.218.211
• opposite category ( diff | history )
  by Chris Waggoner? at December 20, 2011 12:23:50 from 67.158.6.115
• Topological Quantum Field Theories from Compact Lie Groups ( diff | history )
  by Urs Schreiber at December 20, 2011 01:51:15 from 83.91.122.110
• Bohr-Sommerfeld leaf ( diff | history )
  by David Roberts at December 20, 2011 01:47:56 from 203.24.207.65
• compact object in an (infinity,1)-category ( diff | history )
  by Urs Schreiber at December 20, 2011 01:07:12 from 83.91.122.110
• polarization ( diff | history )
  by Urs Schreiber at December 20, 2011 00:23:50 from 83.91.122.110

December 19, 2011

• leaf ( diff | history )
  by Urs Schreiber at December 19, 2011 23:48:49 from 83.91.122.110
• twisting cochain ( diff | history )
  by Zoran Škoda at December 19, 2011 23:43:31 from 62.100.138.246
• geometric quantization ( diff | history )
  by Urs Schreiber at December 19, 2011 20:05:30 from 130.226.87.167
• submanifold ( diff | history )
  by Urs Schreiber at December 19, 2011 19:45:20 from 130.226.87.167
• Carlos Núñez
  by Urs Schreiber at December 19, 2011 19:10:00 from 130.226.87.167
• Seiberg duality ( diff | history )
  by Urs Schreiber at December 19, 2011 19:08:59 from 130.226.87.167
• infinity-Chern-Weil theory introduction ( diff | history )
  by Urs Schreiber at December 19, 2011 12:57:12 from 130.226.87.167
• multisymplectic geometry ( diff | history )
  by Urs Schreiber at December 19, 2011 12:46:40 from 130.226.87.167
• Frédéric Hélein
  by Urs Schreiber at December 19, 2011 12:45:21 from 130.226.87.167
• prequantum line bundle ( diff | history )
  by Urs Schreiber at December 19, 2011 12:09:35 from 130.226.87.167
• symplectic infinity-groupoid ( diff | history )
  by Urs Schreiber at December 19, 2011 12:07:54 from 130.226.87.167
• Verity on descent for strict omega-groupoid valued presheaves ( diff | history )
  by Urs Schreiber at December 19, 2011 10:26:16 from 83.91.122.110
• model structure for left fibrations ( diff | history )
  by Urs Schreiber at December 19, 2011 01:28:10 from 82.113.119.44

December 18, 2011

• contractible type ( diff | history )
  by Toby Bartels at December 18, 2011 23:40:19 from 69.171.178.71
• h-proposition ( diff | history )
  by Toby Bartels at December 18, 2011 23:32:41 from 69.171.178.86
• h-set ( diff | history )
  by Toby Bartels at December 18, 2011 23:29:11 from 69.171.178.29
• Airy function ( diff | history )
  by Zoran Škoda at December 18, 2011 02:20:57 from 62.100.138.246
• infinitesimal bialgebra
  by Zoran Škoda at December 18, 2011 00:30:43 from 62.100.138.246

December 17, 2011

• descent in noncommutative algebraic geometry ( diff | history )
  by Urs Schreiber at December 17, 2011 14:34:40 from 89.204.137.170
• higher monadic descent ( diff | history )
  by Urs Schreiber at December 17, 2011 14:34:25 from 89.204.137.170
• cohomological descent ( diff | history )
  by Urs Schreiber at December 17, 2011 14:33:45 from 89.204.137.170
• (infinity,1)-sheaf ( diff | history )
  by Urs Schreiber at December 17, 2011 14:31:43 from 89.204.137.170
• infinity-stack ( diff | history )
  by Urs Schreiber at December 17, 2011 14:31:36 from 89.204.137.170
• 2-sheaf ( diff | history )
  by Urs Schreiber at December 17, 2011 14:30:44 from 89.204.137.170
• stack ( diff | history )
  by Urs Schreiber at December 17, 2011 14:30:12 from 89.204.137.170
• (2,1)-sheaf ( diff | history )
  by Urs Schreiber at December 17, 2011 14:29:50 from 89.204.137.170
• sheaf ( diff | history )
  by Urs Schreiber at December 17, 2011 14:29:34 from 89.204.137.170
• matching family ( diff | history )
  by Urs Schreiber at December 17, 2011 14:23:24 from 89.204.137.170
• descent ( diff | history )
  by Urs Schreiber at December 17, 2011 14:21:48 from 89.204.137.170
• cover ( diff | history )
  by Urs Schreiber at December 17, 2011 14:21:06 from 89.204.137.170
• simplicial localization ( diff | history )
  by Urs Schreiber at December 17, 2011 14:20:13 from 89.204.137.170
• Bousfield localization of model categories ( diff | history )
  by Urs Schreiber at December 17, 2011 14:19:17 from 89.204.137.170
• (infinity,1)-category of (infinity,1)-sheaves ( diff | history )
  by Urs Schreiber at December 17, 2011 14:18:20 from 89.204.137.170
• category of sheaves ( diff | history )
  by Urs Schreiber at December 17, 2011 14:17:56 from 89.204.137.170
• reflective localization
  by Urs Schreiber at December 17, 2011 14:17:16 from 89.204.137.170
• local object ( diff | history )
  by Urs Schreiber at December 17, 2011 14:16:23 from 89.204.137.170
• descent and locality - contents
  by Urs Schreiber at December 17, 2011 14:11:52 from 89.204.137.170
• descent morphism ( diff | history )
  by Urs Schreiber at December 17, 2011 14:07:32 from 89.204.137.170

December 16, 2011

• associated infinity-bundle ( diff | history )
  by Urs Schreiber at December 16, 2011 19:39:22 from 82.113.98.1
• mapping cocone ( diff | history )
  by Mike Shulman at December 16, 2011 18:27:47 from 71.136.253.8
• cocylinder ( diff | history )
  by Mike Shulman at December 16, 2011 18:26:12 from 71.136.253.8
• higher inductive type ( diff | history )
  by Mike Shulman at December 16, 2011 18:06:52 from 71.136.253.8
• equivalence in homotopy type theory ( diff | history )
  by Mike Shulman at December 16, 2011 18:06:42 from 71.136.253.8
• model structure on simplicial presheaves ( diff | history )
  by Urs Schreiber at December 16, 2011 17:42:32 from 131.174.41.95
• proper model category ( diff | history )
  by Urs Schreiber at December 16, 2011 17:12:04 from 131.174.41.95
• Kan fibration ( diff | history )
  by Urs Schreiber at December 16, 2011 17:08:10 from 131.174.41.95
• canonical model structure on groupoids ( diff | history )
  by Anonymous Coward at December 16, 2011 16:49:05 from 134.76.82.221
• locally cartesian closed model category ( diff | history )
  by Urs Schreiber at December 16, 2011 12:29:33 from 82.169.65.155
• proposition ( diff | history )
  by Urs Schreiber at December 16, 2011 02:05:32 from 82.169.65.155
• equivalence ( diff | history )
  by Urs Schreiber at December 16, 2011 01:48:38 from 82.169.65.155
• Martin-Löf dependent type theory ( diff | history )
  by Urs Schreiber at December 16, 2011 01:37:51 from 82.169.65.155
• locally cartesian closed category ( diff | history )
  by Urs Schreiber at December 16, 2011 01:37:01 from 82.169.65.155
• dependent type theory ( diff | history )
  by Urs Schreiber at December 16, 2011 01:36:41 from 82.169.65.155
• homotopy level ( diff | history )
  by Mike Shulman at December 16, 2011 01:27:06 from 71.136.253.8
• univalence axiom ( diff | history )
  by Urs Schreiber at December 16, 2011 01:21:40 from 82.169.65.155
• model category theory - contents ( diff | history )
  by Urs Schreiber at December 16, 2011 01:17:20 from 82.169.65.155
• locally cartesian closed (infinity,1)-category ( diff | history )
  by Urs Schreiber at December 16, 2011 01:15:45 from 82.169.65.155
• cartesian closed (infinity,1)-category ( diff | history )
  by Urs Schreiber at December 16, 2011 01:14:35 from 82.169.65.155
• set ( diff | history )
  by Mike Shulman at December 16, 2011 01:14:10 from 71.136.253.8
• cartesian closed model category ( diff | history )
  by Urs Schreiber at December 16, 2011 01:13:51 from 82.169.65.155
• locally cartesian closed functor ( diff | history )
  by Urs Schreiber at December 16, 2011 01:12:19 from 82.169.65.155
• cartesian closed functor ( diff | history )
  by Urs Schreiber at December 16, 2011 01:11:41 from 82.169.65.155
• cartesian closed category ( diff | history )
  by Urs Schreiber at December 16, 2011 01:11:07 from 82.169.65.155
• category ( diff | history )
  by Randall Britten? at December 16, 2011 00:37:27 from 130.216.218.99
• bracket type ( diff | history )
  by Mike Shulman at December 16, 2011 00:37:15 from 71.136.253.8

December 15, 2011

• identity type ( diff | history )
  by Mike Shulman at December 15, 2011 23:53:22 from 71.136.253.8
• acyclic fibration
  by Mike Shulman at December 15, 2011 22:01:16 from 71.136.253.8
• fibrant object
  by Mike Shulman at December 15, 2011 21:59:19 from 71.136.253.8
• model structure on simplicial sets ( diff | history )
  by Mike Shulman at December 15, 2011 21:39:53 from 71.136.253.8
• final lift ( diff | history )
  by Mike Shulman at December 15, 2011 21:21:09 from 71.136.253.8
• bo functor ( diff | history )
  by Stephan Alexander Spahn at December 15, 2011 20:00:39 from 92.105.202.49
• model structure on an over category ( diff | history )
  by Urs Schreiber at December 15, 2011 13:46:35 from 131.174.41.101
• minimal Kan fibration ( diff | history )
  by Tim Porter at December 15, 2011 12:48:15 from 95.147.237.207
• BV-BRST formalism ( diff | history )
  by Bruce Bartlett at December 15, 2011 11:09:53 from 41.151.69.236
• Gray tensor product ( diff | history )
  by Mike Shulman at December 15, 2011 10:26:46 from 71.136.253.8
• Čech homotopy ( diff | history )
  by Tim Porter at December 15, 2011 10:15:47 from 95.147.237.207

December 14, 2011

• Hopf fibration ( diff | history )
  by Tim Porter at December 14, 2011 23:41:17 from 95.147.236.205
• General Discussion ( diff | history )
  by Tim Porter at December 14, 2011 21:34:18 from 95.147.236.205
• sphere ( diff | history )
  by Urs Schreiber at December 14, 2011 16:43:08 from 89.204.130.117
• Frobenius algebra ( diff | history )
  by Ralf Meyer? at December 14, 2011 11:21:21 from 77.8.218.167
• stalk ( diff | history )
  by Johan Commelin? at December 14, 2011 10:36:37 from 212.45.63.99
• types and logic - table ( diff | history )
  by Urs Schreiber at December 14, 2011 09:54:03 from 82.169.65.155
• (epi, mono) factorization system ( diff | history )
  by Urs Schreiber at December 14, 2011 09:48:06 from 82.169.65.155
• mapping cylinder ( diff | history )
  by Urs Schreiber at December 14, 2011 09:46:49 from 82.169.65.155
• (infinity,1)-topos ( diff | history )
  by Urs Schreiber at December 14, 2011 09:42:03 from 82.169.65.155
• spectrum ( diff | history )
  by Mike Shulman at December 14, 2011 01:13:27 from 71.136.253.8

December 13, 2011

• FAQ ( diff | history )
  by Mike Shulman at December 13, 2011 23:59:58 from 71.136.253.8
• B. A. Blackadar
  by Tim Porter at December 13, 2011 20:49:15 from 95.147.237.52
• shape theory ( diff | history )
  by Tim Porter at December 13, 2011 20:48:07 from 95.147.237.52
• diagonal morphism ( diff | history )
  by Urs Schreiber at December 13, 2011 10:12:29 from 82.169.65.155
• diagonal functor ( diff | history )
  by Urs Schreiber at December 13, 2011 10:11:12 from 82.169.65.155
• omega-category ( diff | history )
  by Urs Schreiber at December 13, 2011 10:09:51 from 82.169.65.155
• omega-groupoid ( diff | history )
  by Urs Schreiber at December 13, 2011 10:08:32 from 82.169.65.155
• truncated object ( diff | history )
  by Toby Bartels at December 13, 2011 07:38:53 from 71.31.218.211
• Stephan Alexander Spahn ( diff | history )
  by Toby Bartels at December 13, 2011 07:35:50 from 71.31.218.211
• Stephan > history ( diff | history )
  by Toby Bartels at December 13, 2011 07:35:19 from 71.31.218.211
• n-truncated object of an (infinity,1)-category ( diff | history )
  by Toby Bartels at December 13, 2011 07:31:07 from 71.31.218.211
• discrete space ( diff | history )
  by Mike Shulman at December 13, 2011 03:29:35 from 71.136.253.8
• discrete category ( diff | history )
  by Mike Shulman at December 13, 2011 01:19:41 from 71.136.253.8
• intensional type theory ( diff | history )
  by Urs Schreiber at December 13, 2011 00:54:38 from 82.169.65.155

December 12, 2011

• extension ( diff | history )
  by Urs Schreiber at December 12, 2011 23:24:27 from 82.169.65.155
• extension (semantics)
  by Urs Schreiber at December 12, 2011 23:23:36 from 82.169.65.155
• extensional type theory ( diff | history )
  by Urs Schreiber at December 12, 2011 23:21:10 from 82.169.65.155
• category of representations ( diff | history )
  by Urs Schreiber at December 12, 2011 23:14:47 from 82.169.65.155
• permutation representation ( diff | history )
  by Urs Schreiber at December 12, 2011 23:05:13 from 82.169.65.155
• infinity-permutation representation
  by Urs Schreiber at December 12, 2011 22:59:32 from 82.169.65.155
• Tannaka duality ( diff | history )
  by Urs Schreiber at December 12, 2011 22:58:21 from 82.169.65.155
• total category ( diff | history )
  by Mike Shulman at December 12, 2011 21:08:01 from 71.136.231.40
• solid functor ( diff | history )
  by Mike Shulman at December 12, 2011 21:05:03 from 71.136.231.40
• interval object ( diff | history )
  by homtopy to homotopy? at December 12, 2011 20:13:40 from 131.111.24.19
• Crans-Gray tensor product ( diff | history )
  by Urs Schreiber at December 12, 2011 17:09:57 from 82.169.65.155
• Richard Steiner
  by Urs Schreiber at December 12, 2011 17:09:18 from 82.169.65.155
• Vladimir Voevodsky ( diff | history )
  by Urs Schreiber at December 12, 2011 17:04:12 from 82.169.65.155
• evil ( diff | history )
  by Urs Schreiber at December 12, 2011 16:56:36 from 82.169.65.155
• discrete morphism ( diff | history )
  by Urs Schreiber at December 12, 2011 16:27:35 from 82.169.65.155
• type of types ( diff | history )
  by Urs Schreiber at December 12, 2011 15:59:12 from 82.169.65.155

December 11, 2011

• doctrinal adjunction ( diff | history )
  by Emily Riehl at December 11, 2011 23:16:38 from 140.247.39.143
• (sub)object classifier in an (infinity,1)-topos ( diff | history )
  by Urs Schreiber at December 11, 2011 19:36:12 from 82.113.106.133
• essentially small (infinity,1)-category ( diff | history )
  by Urs Schreiber at December 11, 2011 07:21:12 from 91.221.145.249
• small category ( diff | history )
  by Urs Schreiber at December 11, 2011 06:04:15 from 212.87.29.231
• fibration fibered in groupoids ( diff | history )
  by Urs Schreiber at December 11, 2011 05:38:47 from 212.87.29.231
• filtered limit ( diff | history )
  by Urs Schreiber at December 11, 2011 01:00:57 from 212.87.29.231
• subobject classifier ( diff | history )
  by Urs Schreiber at December 11, 2011 00:49:51 from 212.87.29.231
• right/left Kan fibration ( diff | history )
  by Urs Schreiber at December 11, 2011 00:47:13 from 212.87.29.231

December 10, 2011

• model structure on algebraic fibrant objects ( diff | history )
  by Urs Schreiber at December 10, 2011 23:09:23 from 212.87.29.231
• cell complex ( diff | history )
  by Urs Schreiber at December 10, 2011 23:06:58 from 212.87.29.231
• cellular model category ( diff | history )
  by Urs Schreiber at December 10, 2011 23:06:32 from 212.87.29.231
• algebraic weak factorization system ( diff | history )
  by Urs Schreiber at December 10, 2011 22:33:52 from 212.87.29.231
• L-infinity-algebra ( diff | history )
  by Urs Schreiber at December 10, 2011 10:45:46 from 212.87.29.231
• vector field ( diff | history )
  by Urs Schreiber at December 10, 2011 10:24:36 from 212.87.29.231
• presymplectic structure ( diff | history )
  by Urs Schreiber at December 10, 2011 10:24:23 from 212.87.29.231
• symplectic geometry - contents ( diff | history )
  by Urs Schreiber at December 10, 2011 09:57:24 from 212.87.29.231
• lagrangian submanifold ( diff | history )
  by Urs Schreiber at December 10, 2011 09:56:33 from 212.87.29.231
• cohesive site ( diff | history )
  by Urs Schreiber at December 10, 2011 01:50:42 from 212.87.29.231
• Lie infinity-algebroid ( diff | history )
  by Urs Schreiber at December 10, 2011 01:22:34 from 212.87.29.231
• deformation quantization ( diff | history )
  by Amnon Yekutieli at December 10, 2011 00:55:33 from 89.139.199.146
• interval type ( diff | history )
  by Mike Shulman at December 10, 2011 00:48:04 from 71.136.231.40
• homotopy groups of spheres
  by Urs Schreiber at December 10, 2011 00:21:58 from 212.87.29.231
• homotopy group ( diff | history )
  by Urs Schreiber at December 10, 2011 00:19:11 from 212.87.29.231

December 9, 2011

• cohesive topos ( diff | history )
  by Urs Schreiber at December 9, 2011 21:54:48 from 212.87.29.231
• continuum ( diff | history )
  by Urs Schreiber at December 9, 2011 21:22:46 from 212.87.29.231
• suspension spectrum ( diff | history )
  by Guillaume Brunerie at December 9, 2011 20:58:58 from 129.199.158.70
• Banach bundle ( diff | history )
  by Toby Bartels at December 9, 2011 16:51:13 from 75.88.105.185
• symmetric product of circles ( diff | history )
  by Toby Bartels at December 9, 2011 16:47:55 from 75.88.105.185
• reflective sub-(infinity,1)-category ( diff | history )
  by Urs Schreiber at December 9, 2011 12:01:09 from 212.87.29.231
• symmetric algebra ( diff | history )
  by Urs Schreiber at December 9, 2011 10:30:09 from 212.87.29.231
• internal hom ( diff | history )
  by Toby Bartels at December 9, 2011 05:28:55 from 64.89.53.17
• multiset ( diff | history )
  by Toby Bartels at December 9, 2011 05:24:46 from 64.89.53.17
• Tall-Wraith monoid ( diff | history )
  by Andrew Stacey at December 9, 2011 00:39:33 from 80.203.115.55
• type theory - contents ( diff | history )
  by Urs Schreiber at December 9, 2011 00:11:38 from 212.87.29.231

December 8, 2011

• coset ( diff | history )
  by Domenico Fiorenza at December 8, 2011 19:51:55 from 87.18.219.251
• unitary group ( diff | history )
  by Andrew Stacey at December 8, 2011 15:18:43 from 129.241.15.200
• quasitopos ( diff | history )
  by Urs Schreiber at December 8, 2011 12:50:17 from 82.113.99.201
• math archives ( diff | history )
  by Zoran Škoda at December 8, 2011 11:49:35 from 161.53.130.104
• type of propositions
  by Urs Schreiber at December 8, 2011 01:56:48 from 82.113.98.40
• Mitchell-Bénabou language ( diff | history )
  by Urs Schreiber at December 8, 2011 01:31:19 from 82.113.98.40
• (infinity,n)-category of spans ( diff | history )
  by Urs Schreiber at December 8, 2011 00:01:00 from 82.113.98.40
• span ( diff | history )
  by Urs Schreiber at December 8, 2011 00:00:53 from 82.113.98.40

December 7, 2011

• tricategory ( diff | history )
  by Urs Schreiber at December 7, 2011 23:57:23 from 82.113.98.40
• tetracategory ( diff | history )
  by Urs Schreiber at December 7, 2011 23:57:00 from 82.113.98.40
• k-tuply monoidal (n,r)-category ( diff | history )
  by Urs Schreiber at December 7, 2011 23:53:56 from 82.113.98.40
• (∞,1)-local geometric morphism ( diff | history )
  by Urs Schreiber at December 7, 2011 23:22:30 from 82.113.98.7
• inhabited object ( diff | history )
  by Urs Schreiber at December 7, 2011 22:15:04 from 82.113.99.184
• closed functor ( diff | history )
  by Mike Shulman at December 7, 2011 21:13:57 from 71.136.231.40
• strongly connected topos ( diff | history )
  by Urs Schreiber at December 7, 2011 19:47:10 from 131.174.40.86
• strong adjoint functor
  by Urs Schreiber at December 7, 2011 19:45:19 from 131.174.40.86
• focal point ( diff | history )
  by Urs Schreiber at December 7, 2011 19:27:44 from 131.174.40.86
• locally connected geometric morphism ( diff | history )
  by Urs Schreiber at December 7, 2011 18:59:08 from 131.174.40.86
• Drinfel'd double ( diff | history )
  by Anonymous Coward at December 7, 2011 18:55:12 from 164.15.127.108
• Frobenius reciprocity ( diff | history )
  by Urs Schreiber at December 7, 2011 18:16:40 from 131.174.40.86
• Elephant ( diff | history )
  by Urs Schreiber at December 7, 2011 17:38:14 from 131.174.40.86
• Larry Siebenmann ( diff | history )
  by Tim Porter at December 7, 2011 17:09:03 from 95.147.236.217
• category of open subsets ( diff | history )
  by Urs Schreiber at December 7, 2011 16:02:20 from 131.174.40.86
• Galois Theories ( diff | history )
  by Vishal Lama at December 7, 2011 15:24:08 from 184.167.148.123
• flat functor ( diff | history )
  by Tim Porter at December 7, 2011 15:22:59 from 95.147.236.217
• Beno Eckmann ( diff | history )
  by Tim Porter at December 7, 2011 15:01:32 from 95.147.236.217
• proper homotopy theory ( diff | history )
  by Tim Porter at December 7, 2011 14:47:21 from 95.147.236.217
• Sullivan model ( diff | history )
  by Urs Schreiber at December 7, 2011 13:47:33 from 82.169.65.155
• cofibrantly generated model category ( diff | history )
  by Urs Schreiber at December 7, 2011 13:42:02 from 82.169.65.155
• generalized element ( diff | history )
  by Urs Schreiber at December 7, 2011 13:22:05 from 82.169.65.155
• context ( diff | history )
  by Urs Schreiber at December 7, 2011 13:20:45 from 82.169.65.155
• John Milnor ( diff | history )
  by Tim Porter at December 7, 2011 12:50:13 from 95.147.236.207
• Jonathan Pridham ( diff | history )
  by Tim Porter at December 7, 2011 12:23:32 from 95.147.236.207
• group presentation ( diff | history )
  by Tim Porter at December 7, 2011 10:08:04 from 95.147.236.207
• 1-category ( diff | history )
  by Mike Shulman at December 7, 2011 04:20:26 from 71.136.231.40
• generalized kernel ( diff | history )
  by Mike Shulman at December 7, 2011 04:05:22 from 71.136.231.40
• cotangent bundle ( diff | history )
  by Toby Bartels at December 7, 2011 02:23:03 from 64.89.53.157
• combinatorial group theory ( diff | history )
  by Toby Bartels at December 7, 2011 02:17:15 from 64.89.53.157
• fundamental vector field ( diff | history )
  by Toby Bartels at December 7, 2011 02:12:32 from 64.89.53.157
• super tangent bundle ( diff | history )
  by Toby Bartels at December 7, 2011 02:06:32 from 64.89.53.157
• super vector bundle ( diff | history )
  by Toby Bartels at December 7, 2011 01:59:58 from 64.89.53.157

December 6, 2011

• small object argument ( diff | history )
  by Emily Riehl at December 6, 2011 23:12:02 from 140.247.39.143
• computad ( diff | history )
  by Emily Riehl at December 6, 2011 23:07:17 from 140.247.39.143
• canonical model structure on Cat ( diff | history )
  by Emily Riehl at December 6, 2011 23:05:45 from 140.247.39.143
• free monad ( diff | history )
  by Emily Riehl at December 6, 2011 23:04:02 from 140.247.39.143
• artinian ring ( diff | history )
  by Tim Porter at December 6, 2011 21:23:57 from 95.147.237.250
• group theory ( diff | history )
  by Tim Porter at December 6, 2011 19:51:21 from 95.147.237.250
• braid group ( diff | history )
  by Tim Porter at December 6, 2011 18:22:29 from 95.147.237.250
• cohomological dimension ( diff | history )
  by Stephan Alexander Spahn at December 6, 2011 15:19:40 from 79.227.144.188
• modal logic ( diff | history )
  by Tim Porter at December 6, 2011 11:48:46 from 95.147.237.250
• factorization category ( diff | history )
  by Urs Schreiber at December 6, 2011 08:25:09 from 82.113.119.67
• exact functor ( diff | history )
  by Urs Schreiber at December 6, 2011 07:46:42 from 82.113.119.67
• Lawvere-Tierney topology ( diff | history )
  by Urs Schreiber at December 6, 2011 07:46:08 from 82.113.119.67
• category of factorizations ( diff | history )
  by Toby Bartels at December 6, 2011 05:44:41 from 64.89.53.227
• twisted arrow category ( diff | history )
  by Toby Bartels at December 6, 2011 05:39:47 from 64.89.53.227
• functors and comma categories ( diff | history )
  by Toby Bartels at December 6, 2011 05:37:03 from 64.89.53.227
• comma object ( diff | history )
  by Toby Bartels at December 6, 2011 05:26:26 from 64.89.53.227
• bump function ( diff | history )
  by Toby Bartels at December 6, 2011 05:22:44 from 64.89.53.227
• Erik Palmgren
  by Urs Schreiber at December 6, 2011 02:20:40 from 89.204.139.220

December 5, 2011

• Jones polynomial ( diff | history )
  by Tim Porter at December 5, 2011 23:29:34 from 95.147.237.179
• HOMFLY-PT polynomial ( diff | history )
  by Tim Porter at December 5, 2011 23:25:49 from 95.147.237.179
• knot invariant ( diff | history )
  by Tim Porter at December 5, 2011 20:22:33 from 95.147.237.179
• knot diagram ( diff | history )
  by Tim Porter at December 5, 2011 20:21:06 from 95.147.237.179
• torus knot
  by Tim Porter at December 5, 2011 20:19:45 from 95.147.237.179
• trefoil knot ( diff | history )
  by Tim Porter at December 5, 2011 20:17:28 from 95.147.237.179
• figure eight knot ( diff | history )
  by Tim Porter at December 5, 2011 20:16:38 from 95.147.237.179
• knot ( diff | history )
  by Tim Porter at December 5, 2011 20:14:51 from 95.147.237.179
• knot group ( diff | history )
  by Tim Porter at December 5, 2011 20:13:20 from 95.147.237.179
• knot theory - contents ( diff | history )
  by Tim Porter at December 5, 2011 20:04:38 from 95.147.237.179
• colorable knot ( diff | history )
  by Tim Porter at December 5, 2011 19:53:31 from 95.147.237.179
• prorepresentable functor ( diff | history )
  by Tim Porter at December 5, 2011 19:25:23 from 95.147.237.179
• SGA1 ( diff | history )
  by Tim Porter at December 5, 2011 19:19:19 from 95.147.237.179
• AT category ( diff | history )
  by Todd Trimble at December 5, 2011 18:57:47 from 74.88.146.52
• characteristic function ( diff | history )
  by Urs Schreiber at December 5, 2011 18:57:34 from 89.204.139.149
• homotopy dimension ( diff | history )
  by Urs Schreiber at December 5, 2011 18:47:44 from 89.204.139.149
• hyperconnected geometric morphism ( diff | history )
  by Urs Schreiber at December 5, 2011 18:22:52 from 89.204.139.149
• Green-Schwarz action functional ( diff | history )
  by Urs Schreiber at December 5, 2011 15:52:02 from 82.113.98.199
• 1d WZW model ( diff | history )
  by Urs Schreiber at December 5, 2011 15:44:45 from 82.113.98.199
• infinity-Wess-Zumino-Witten theory - contents ( diff | history )
  by Urs Schreiber at December 5, 2011 14:28:18 from 82.113.98.199
• supergravity Lie 6-algebra ( diff | history )
  by Urs Schreiber at December 5, 2011 13:08:24 from 82.113.98.199
• Wess-Zumino-Witten model ( diff | history )
  by Urs Schreiber at December 5, 2011 12:34:27 from 82.113.98.199
• coset WZW model
  by Urs Schreiber at December 5, 2011 12:31:47 from 82.113.98.199
• partition of unity ( diff | history )
  by Urs Schreiber at December 5, 2011 11:19:12 from 82.113.98.199
• Conduche functor ( diff | history )
  by Urs Schreiber at December 5, 2011 11:07:54 from 82.113.98.199
• dream mathematics ( diff | history )
  by David Roberts at December 5, 2011 00:28:05 from 203.171.196.152

December 4, 2011

• Doron Zeilberger ( diff | history )
  by Toby Bartels at December 4, 2011 11:59:47 from 75.88.105.185
• finite mathematics ( diff | history )
  by Toby Bartels at December 4, 2011 11:49:35 from 75.88.105.185
• axiom of choice ( diff | history )
  by Toby Bartels at December 4, 2011 11:21:22 from 75.88.105.185
• CartSp ( diff | history )
  by Toby Bartels at December 4, 2011 11:19:34 from 75.88.105.185

December 3, 2011

• propositions as types ( diff | history )
  by Mike Shulman at December 3, 2011 23:07:47 from 71.136.231.40
• Maurer-Cartan equation ( diff | history )
  by typo Fixer? at December 3, 2011 18:30:48 from 94.173.6.140
• model structure on operator algebras ( diff | history )
  by Tim Porter at December 3, 2011 13:42:54 from 95.147.237.198
• Otgonbayar Uuye
  by Tim Porter at December 3, 2011 10:08:43 from 95.147.237.198
• Fredholm operator ( diff | history )
  by Tim Porter at December 3, 2011 09:58:09 from 95.147.237.198

December 2, 2011

• About ( diff | history )
  by Tim Porter at December 2, 2011 16:19:43 from 95.147.237.154
• cyclotomic field
  by Urs Schreiber at December 2, 2011 12:59:17 from 134.76.83.9
• Boolean topos ( diff | history )
  by Tim Porter at December 2, 2011 10:53:44 from 95.147.237.154
• intertwiner
  by Urs Schreiber at December 2, 2011 10:23:37 from 89.204.137.152
• DHR category ( diff | history )
  by Urs Schreiber at December 2, 2011 10:22:11 from 89.204.137.152
• representation ( diff | history )
  by Urs Schreiber at December 2, 2011 10:16:18 from 89.204.137.152
• exponential object ( diff | history )
  by Vishal Lama at December 2, 2011 00:52:02 from 184.167.148.123
• wall crossing ( diff | history )
  by Zoran Škoda at December 2, 2011 00:21:51 from 161.53.130.104

December 1, 2011

• Michael Artin ( diff | history )
  by Tim Porter at December 1, 2011 18:34:56 from 95.147.238.116
• Barry Mazur ( diff | history )
  by Tim Porter at December 1, 2011 18:33:14 from 95.147.238.116
• (eso+full, faithful) factorization system ( diff | history )
  by Urs Schreiber at December 1, 2011 16:50:41 from 134.76.83.9
• long exact sequence of homotopy groups ( diff | history )
  by Urs Schreiber at December 1, 2011 15:45:42 from 82.113.99.139
• S. L. Woronowicz ( diff | history )
  by Zoran Škoda at December 1, 2011 14:16:27 from 193.198.162.13
• gauged sigma-model
  by Urs Schreiber at December 1, 2011 14:06:19 from 134.76.83.9
• Arturo Prat-Waldron
  by Urs Schreiber at December 1, 2011 13:18:07 from 134.76.83.9
• localized endomorphism
  by Urs Schreiber at December 1, 2011 12:37:21 from 134.76.83.9
• DHR superselection theory ( diff | history )
  by Urs Schreiber at December 1, 2011 12:34:09 from 134.76.83.9
• infinitesimal object ( diff | history )
  by Vishal Lama at December 1, 2011 10:55:38 from 184.167.148.123
• quasi-category ( diff | history )
  by Urs Schreiber at December 1, 2011 01:35:17 from 82.113.99.199
• coherence law ( diff | history )
  by Urs Schreiber at December 1, 2011 01:33:35 from 82.113.99.199
• quantum observable ( diff | history )
  by Urs Schreiber at December 1, 2011 01:12:48 from 82.113.99.199
• chain rule ( diff | history )
  by Zoran Škoda at December 1, 2011 01:12:19 from 161.53.130.104
• observable ( diff | history )
  by Urs Schreiber at December 1, 2011 01:11:50 from 82.113.99.199
• Kan fibrant replacement ( diff | history )
  by Urs Schreiber at December 1, 2011 01:07:33 from 82.113.99.199

November 30, 2011

• frame bundle ( diff | history )
  by Zoran Škoda at November 30, 2011 23:57:28 from 161.53.130.104
• free action
  by Zoran Škoda at November 30, 2011 21:45:12 from 161.53.130.104
• transitive action ( diff | history )
  by Zoran Škoda at November 30, 2011 21:42:40 from 161.53.130.104
• Ehresmann connection ( diff | history )
  by Zoran Škoda at November 30, 2011 21:04:39 from 161.53.130.104
• existential quantifier ( diff | history )
  by Stephan Alexander Spahn at November 30, 2011 17:51:36 from 188.60.32.10
• subsets of lctvs ( diff | history )
  by Andrew Stacey at November 30, 2011 17:20:07 from 129.241.15.200
• embedding of smooth manifolds ( diff | history )
  by Andrew Stacey at November 30, 2011 17:06:15 from 129.241.15.200
• Hamiltonian ( diff | history )
  by Urs Schreiber at November 30, 2011 14:52:03 from 134.76.83.9
• Hamiltonian vector field ( diff | history )
  by Urs Schreiber at November 30, 2011 14:36:35 from 134.76.83.9
• (infinity,n)Cat ( diff | history )
  by Urs Schreiber at November 30, 2011 12:33:54 from 134.76.83.9
• (infinity,1)Cat ( diff | history )
  by Urs Schreiber at November 30, 2011 12:16:53 from 134.76.83.9
• shift map ( diff | history )
  by Toby Bartels at November 30, 2011 00:51:42 from 64.89.53.146

November 29, 2011

• deformation theory ( diff | history )
  by Zoran Škoda at November 29, 2011 16:39:49 from 161.53.130.104
• n-plectic geometry ( diff | history )
  by Urs Schreiber at November 29, 2011 15:49:35 from 89.204.137.78
• twisted bundle ( diff | history )
  by Urs Schreiber at November 29, 2011 15:46:25 from 89.204.137.78
• geometric realization ( diff | history )
  by David Corfield at November 29, 2011 13:55:09 from 129.12.18.29
• Andre Joyal ( diff | history )
  by Vishal Lama at November 29, 2011 12:29:45 from 184.167.148.123
• João Faria Martins ( diff | history )
  by Tim Porter at November 29, 2011 10:59:55 from 90.28.127.221
• syntax ( diff | history )
  by Toby Bartels at November 29, 2011 09:42:05 from 71.31.209.116
• semantics ( diff | history )
  by Toby Bartels at November 29, 2011 09:41:40 from 71.31.209.116
• nPOV ( diff | history )
  by Urs Schreiber at November 29, 2011 09:03:31 from 89.204.137.126
• dependent type ( diff | history )
  by Mike Shulman at November 29, 2011 00:10:00 from 71.136.231.40

November 28, 2011

• Yetter model ( diff | history )
  by Urs Schreiber at November 28, 2011 21:31:43 from 89.204.130.232
• Painleve transcendent ( diff | history )
  by Zoran Škoda at November 28, 2011 20:30:40 from 161.53.130.104
• index theory ( diff | history )
  by Zoran Škoda at November 28, 2011 18:11:22 from 161.53.130.104
• Lie bialgebra
  by Urs Schreiber at November 28, 2011 18:06:23 from 134.76.83.9
• universal enveloping algebra ( diff | history )
  by Urs Schreiber at November 28, 2011 18:05:25 from 134.76.83.9
• quasi-Hopf algebra ( diff | history )
  by Urs Schreiber at November 28, 2011 17:31:41 from 134.76.83.9
• de Rham theorem ( diff | history )
  by Urs Schreiber at November 28, 2011 16:36:22 from 134.76.83.9
• Victor Gugenheim
  by Urs Schreiber at November 28, 2011 16:22:14 from 134.76.83.9
• C-infinity algebra ( diff | history )
  by Urs Schreiber at November 28, 2011 16:07:35 from 134.76.83.9
• cooperad ( diff | history )
  by Urs Schreiber at November 28, 2011 16:05:48 from 134.76.83.9
• higher algebra - contents ( diff | history )
  by Urs Schreiber at November 28, 2011 14:09:21 from 134.76.83.9
• operad ( diff | history )
  by Urs Schreiber at November 28, 2011 14:08:26 from 134.76.83.9
• model structure on algebras over an operad ( diff | history )
  by Urs Schreiber at November 28, 2011 13:42:52 from 134.76.83.9
• BV-algebra ( diff | history )
  by Urs Schreiber at November 28, 2011 13:22:42 from 134.76.83.9

November 27, 2011

• homotopy limit ( diff | history )
  by Tim Porter at November 27, 2011 17:26:47 from 90.28.99.217

November 26, 2011

• small object ( diff | history )
  by Tim Porter at November 26, 2011 19:18:20 from 90.28.99.217
• Katarzyna Rejzner ( diff | history )
  by Urs Schreiber at November 26, 2011 00:06:49 from 82.113.121.129

November 25, 2011

• normal variety ( diff | history )
  by Anonymous Coward at November 25, 2011 23:43:40 from 208.102.0.93
• noncommutative localization ( diff | history )
  by FH? at November 25, 2011 19:38:51 from 134.157.55.179
• exact square ( diff | history )
  by Tom Hirschowitz at November 25, 2011 15:24:40 from 193.48.123.27
• theorem
  by Urs Schreiber at November 25, 2011 14:44:52 from 131.211.235.70
• homotopy ( diff | history )
  by Urs Schreiber at November 25, 2011 14:29:24 from 131.211.235.70
• Lax equation
  by Zoran Škoda at November 25, 2011 12:51:29 from 193.198.162.13
• Riemann-Hilbert problem ( diff | history )
  by Zoran Škoda at November 25, 2011 12:49:51 from 193.198.162.13
• phase space ( diff | history )
  by Igor Khavkine at November 25, 2011 06:12:44 from 82.157.34.74
• geometric realization of simplicial topological spaces ( diff | history )
  by Tom Leinster at November 25, 2011 01:34:26 from 86.0.207.114

November 24, 2011

• proof ( diff | history )
  by Urs Schreiber at November 24, 2011 17:57:37 from 131.174.40.116
• proofs as programs
  by Urs Schreiber at November 24, 2011 17:56:30 from 131.174.40.116
• Peter Aczel
  by Urs Schreiber at November 24, 2011 17:23:11 from 131.174.40.116
• Coq ( diff | history )
  by Urs Schreiber at November 24, 2011 16:55:41 from 131.174.40.116
• Adam Chlipala
  by Urs Schreiber at November 24, 2011 16:51:19 from 131.174.40.116
• Benjamin Pierce
  by Urs Schreiber at November 24, 2011 16:50:42 from 131.174.40.116
• locally presentable category ( diff | history )
  by Urs Schreiber at November 24, 2011 12:55:21 from 82.113.121.193
• Krzysztof Worytkiewicz ( diff | history )
  by Tim Porter at November 24, 2011 11:31:56 from 90.28.99.217
• directed homotopy theory ( diff | history )
  by Tim Porter at November 24, 2011 11:30:32 from 90.28.99.217
• Jelle Herold ( diff | history )
  by Anonymous Coward at November 24, 2011 03:28:57 from 131.174.138.238
• extensive category ( diff | history )
  by Urs Schreiber at November 24, 2011 02:47:41 from 131.174.40.49
• directed homotopy type theory
  by Urs Schreiber at November 24, 2011 02:16:07 from 131.174.40.49

November 23, 2011

• (infinity,1)-category of (infinity,1)-functors ( diff | history )
  by Urs Schreiber at November 23, 2011 21:55:16 from 131.174.40.49
• model structure on functors ( diff | history )
  by Urs Schreiber at November 23, 2011 21:41:41 from 131.174.40.49
• concrete (infinity,1)-sheaf ( diff | history )
  by Urs Schreiber at November 23, 2011 17:50:00 from 131.174.40.49
• concrete sheaf ( diff | history )
  by Urs Schreiber at November 23, 2011 17:49:53 from 131.174.40.49
• codiscrete object ( diff | history )
  by Urs Schreiber at November 23, 2011 17:36:57 from 131.174.40.49
• codiscrete space ( diff | history )
  by Urs Schreiber at November 23, 2011 17:25:17 from 131.174.40.49
• connected topos ( diff | history )
  by Urs Schreiber at November 23, 2011 17:21:32 from 131.174.40.49
• simple group ( diff | history )
  by Urs Schreiber at November 23, 2011 17:19:32 from 131.174.40.49
• co-concrete object
  by Urs Schreiber at November 23, 2011 17:11:07 from 131.174.40.49
• discrete and concrete objects - contents
  by Urs Schreiber at November 23, 2011 17:10:22 from 131.174.40.49
• concrete object
  by Urs Schreiber at November 23, 2011 17:06:17 from 131.174.40.49
• stable factorization system ( diff | history )
  by Urs Schreiber at November 23, 2011 15:39:56 from 131.174.40.49
• antisubalgebra
  by Toby Bartels at November 23, 2011 15:04:29 from 71.31.209.116
• local ring ( diff | history )
  by Toby Bartels at November 23, 2011 14:41:49 from 71.31.209.116
• normal field extension ( diff | history )
  by Toby Bartels at November 23, 2011 14:36:09 from 71.31.209.116
• polynomial ( diff | history )
  by Toby Bartels at November 23, 2011 14:33:57 from 71.31.209.116
• unit type ( diff | history )
  by Toby Bartels at November 23, 2011 14:11:09 from 71.31.209.116
• empty type ( diff | history )
  by Toby Bartels at November 23, 2011 14:04:16 from 71.31.209.116
• sum type ( diff | history )
  by Toby Bartels at November 23, 2011 14:02:36 from 71.31.209.116
• product type ( diff | history )
  by Toby Bartels at November 23, 2011 14:02:21 from 71.31.209.116
• function type ( diff | history )
  by Toby Bartels at November 23, 2011 14:01:58 from 71.31.209.116
• strongly extensional function
  by Toby Bartels at November 23, 2011 12:45:07 from 71.31.209.116
• injection ( diff | history )
  by Toby Bartels at November 23, 2011 11:31:50 from 71.31.209.116
• trivial group ( diff | history )
  by Toby Bartels at November 23, 2011 11:22:58 from 71.31.209.116
• (n-connected, n-truncated) factorization system ( diff | history )
  by Toby Bartels at November 23, 2011 11:07:04 from 71.31.209.116
• (hyperconnected, localic) factorization system ( diff | history )
  by Toby Bartels at November 23, 2011 11:06:08 from 71.31.209.116
• cleft extension ( diff | history )
  by Zoran Škoda at November 23, 2011 04:47:38 from 31.45.217.217

November 22, 2011

• bialgebroid ( diff | history )
  by Beren Sanders? at November 22, 2011 22:48:14 from 128.97.19.20
• effective epimorphism in an (infinity,1)-category ( diff | history )
  by Urs Schreiber at November 22, 2011 19:56:19 from 131.174.41.189
• Tom Hirschowitz ( diff | history )
  by Tim Porter at November 22, 2011 19:17:26 from 193.48.130.2
• localic geometric morphism ( diff | history )
  by Urs Schreiber at November 22, 2011 14:00:37 from 131.174.41.189
• Tim Porter ( diff | history )
  by Tim Porter at November 22, 2011 13:26:41 from 90.28.99.217
• Phil Ehlers ( diff | history )
  by Tim Porter at November 22, 2011 13:19:47 from 90.28.99.217

November 21, 2011

• model structure on sSet-categories ( diff | history )
  by Tim Porter at November 21, 2011 22:03:08 from 90.36.153.33
• adjoint quadruple ( diff | history )
  by Urs Schreiber at November 21, 2011 19:21:13 from 82.113.99.46
• theory ( diff | history )
  by Urs Schreiber at November 21, 2011 18:27:32 from 82.113.99.46
• reflective sub-(infinity,1)-category - internal formulation ( diff | history )
  by Urs Schreiber at November 21, 2011 16:50:41 from 82.113.99.46
• reflective product-preserving sub-(∞,1)-category - internal formulation ( diff | history )
  by Urs Schreiber at November 21, 2011 16:40:57 from 82.113.99.46
• reflective product-preserving sub-(∞,1)-category
  by Urs Schreiber at November 21, 2011 16:32:28 from 82.113.99.46
• Eugenio Moggi
  by Urs Schreiber at November 21, 2011 15:35:41 from 82.113.99.46
• reflective factorization system ( diff | history )
  by Urs Schreiber at November 21, 2011 14:06:13 from 82.113.99.46
• group theory - contents ( diff | history )
  by Urs Schreiber at November 21, 2011 09:53:56 from 82.113.99.46
• John Conway ( diff | history )
  by Urs Schreiber at November 21, 2011 09:48:34 from 82.113.99.46
• (bo, ff) factorization system ( diff | history )
  by Urs Schreiber at November 21, 2011 00:19:34 from 89.204.154.71
• (eso, fully faithful) factorization system ( diff | history )
  by Urs Schreiber at November 21, 2011 00:17:57 from 89.204.154.71
• orthogonal factorization system in an (infinity,1)-category ( diff | history )
  by Urs Schreiber at November 21, 2011 00:16:18 from 89.204.154.71
• factorization system in a 2-category ( diff | history )
  by Urs Schreiber at November 21, 2011 00:15:46 from 89.204.154.71
• weak factorization system ( diff | history )
  by Urs Schreiber at November 21, 2011 00:13:48 from 89.204.154.71
• orthogonal factorization system ( diff | history )
  by Urs Schreiber at November 21, 2011 00:12:03 from 89.204.154.71

November 20, 2011

• product ( diff | history )
  by Urs Schreiber at November 20, 2011 23:39:10 from 89.204.154.71
• terminal object ( diff | history )
  by Urs Schreiber at November 20, 2011 23:36:37 from 89.204.154.71
• notions of type ( diff | history )
  by Urs Schreiber at November 20, 2011 23:34:44 from 89.204.154.71
• coproduct ( diff | history )
  by Urs Schreiber at November 20, 2011 23:28:59 from 89.204.154.71
• categorical semantics ( diff | history )
  by Urs Schreiber at November 20, 2011 23:26:40 from 89.204.154.71
• etale morphism ( diff | history )
  by Tim Porter at November 20, 2011 22:59:27 from 90.36.153.33
• topos ( diff | history )
  by Urs Schreiber at November 20, 2011 22:53:17 from 89.204.154.71
• logical functor ( diff | history )
  by Urs Schreiber at November 20, 2011 19:31:50 from 82.113.99.42
• perplex number ( diff | history )
  by Sridhar Ramesh at November 20, 2011 10:42:51 from 76.102.205.153

November 19, 2011

• crossed product algebra ( diff | history )
  by Zoran Škoda at November 19, 2011 19:33:57 from 31.45.198.4
• internal diagram ( diff | history )
  by Jonas Frey? at November 19, 2011 19:25:16 from 134.157.168.250
• noncommutative space as a cover ( diff | history )
  by Zoran Škoda at November 19, 2011 17:41:15 from 31.45.198.4
• Sandbox ( diff | history )
  by Toby Bartels at November 19, 2011 16:49:13 from 76.85.192.183
• weak topology ( diff | history )
  by Toby Bartels at November 19, 2011 16:46:53 from 76.85.192.183
• subspace topology ( diff | history )
  by Toby Bartels at November 19, 2011 16:46:14 from 76.85.192.183
• operator topology ( diff | history )
  by Toby Bartels at November 19, 2011 16:38:03 from 76.85.192.183
• topologizing subcategory ( diff | history )
  by Urs Schreiber at November 19, 2011 15:18:52 from 82.113.99.53
• Serre subcategory ( diff | history )
  by Urs Schreiber at November 19, 2011 15:13:45 from 82.113.99.53
• thick subcategory ( diff | history )
  by Urs Schreiber at November 19, 2011 15:11:42 from 82.113.99.53
• adjoint triple ( diff | history )
  by Mike Shulman at November 19, 2011 01:29:14 from 71.136.231.40

November 18, 2011

• Street fibration ( diff | history )
  by Mike Shulman at November 18, 2011 21:30:13 from 71.136.231.40
• Cartesian morphism ( diff | history )
  by Mike Shulman at November 18, 2011 21:29:23 from 71.136.231.40
• sink ( diff | history )
  by Mike Shulman at November 18, 2011 21:27:03 from 71.136.231.40
• indexed adjoint functor theorem ( diff | history )
  by Urs Schreiber at November 18, 2011 21:05:16 from 82.113.99.49
• indexed functor ( diff | history )
  by Urs Schreiber at November 18, 2011 21:02:28 from 82.113.99.49
• poset of subobjects ( diff | history )
  by Urs Schreiber at November 18, 2011 19:52:25 from 131.220.133.61
• dense monomorphism ( diff | history )
  by Urs Schreiber at November 18, 2011 16:54:59 from 131.220.133.61
• Sandbox > SVG ( diff | history )
  by Tim Porter at November 18, 2011 14:31:12 from 193.48.130.2
• adjoint functor theorem ( diff | history )
  by Urs Schreiber at November 18, 2011 12:18:05 from 217.232.18.193
• reflective subcategory ( diff | history )
  by Urs Schreiber at November 18, 2011 11:48:32 from 217.232.18.193
• internal subcategory
  by Urs Schreiber at November 18, 2011 11:04:14 from 217.232.18.193
• sub-(infinity,1)-category ( diff | history )
  by Urs Schreiber at November 18, 2011 10:59:14 from 217.232.18.193
• full sub-2-category ( diff | history )
  by Urs Schreiber at November 18, 2011 10:58:16 from 217.232.18.193
• locally full sub-2-category ( diff | history )
  by Urs Schreiber at November 18, 2011 10:56:24 from 217.232.18.193
• full subcategory ( diff | history )
  by Urs Schreiber at November 18, 2011 10:54:24 from 217.232.18.193
• coreflective subcategory ( diff | history )
  by Urs Schreiber at November 18, 2011 10:53:19 from 217.232.18.193
• wide subcategory ( diff | history )
  by Urs Schreiber at November 18, 2011 10:53:05 from 217.232.18.193
• subcategory ( diff | history )
  by Urs Schreiber at November 18, 2011 10:50:53 from 217.232.18.193
• replete subcategory ( diff | history )
  by Urs Schreiber at November 18, 2011 10:49:37 from 217.232.18.193
• Thomas Streicher
  by Urs Schreiber at November 18, 2011 02:45:08 from 217.232.18.193
• Martin Hofmann
  by Urs Schreiber at November 18, 2011 02:05:39 from 217.232.18.193

November 17, 2011

• function set ( diff | history )
  by Urs Schreiber at November 17, 2011 18:24:20 from 131.220.133.61
• Michael Warren
  by