Spahn Latest Revisions

• étale types ( étale types(rev # 15) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 00:02:45
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 12) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 23:26:56
• étale topos ( étale topos(rev # 4) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 23:24:00
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 11) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 22:49:44
• étale topos ( étale topos(rev # 3) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 22:40:43
• Segal condition ( Segal condition(rev # 5) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 22:23:49
• étale topos ( étale topos(rev # 2) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 20:14:09
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 10) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 18:22:30
• Ad(K)
  by Stephan Alexander Spahn? at December 9, 2012 at 17:17:16
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 9) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 16:28:38
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 8) | history )
  by Stephan Alexander Spahn? at December 9, 2012 at 03:53:22
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 7) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 23:09:50
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 6) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 20:58:15
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 5) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 19:52:05
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 4) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 17:29:57
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 3) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 04:55:11
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 2) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 04:01:53
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 1) | history )
  by Stephan Alexander Spahn? at December 8, 2012 at 01:53:56
• total category
  by Stephan Alexander Spahn? at December 8, 2012 at 01:39:42
• étale topos ( étale topos(rev # 1) | history )
  by Stephan Alexander Spahn? at December 7, 2012 at 04:21:22
• Lawvere-Tierney operator
  by Stephan Alexander Spahn? at December 6, 2012 at 05:21:05
• n-gram
  by Stephan Alexander Spahn? at December 6, 2012 at 04:29:06
• étale types ( étale types(rev # 14) | history )
  by Stephan Alexander Spahn? at December 6, 2012 at 01:41:12
• étale types ( étale types(rev # 13) | history )
  by Stephan Alexander Spahn? at December 6, 2012 at 00:40:26
• étale types ( étale types(rev # 12) | history )
  by Stephan Alexander Spahn? at December 5, 2012 at 01:14:55
• étale types ( étale types(rev # 11) | history )
  by Stephan Alexander Spahn? at December 5, 2012 at 00:26:40
• étale types ( étale types(rev # 10) | history )
  by Stephan Alexander Spahn? at December 4, 2012 at 23:24:12
• internal formulation of cohesion ( internal formulation of cohesion(rev # 17) | history )
  by Stephan Alexander Spahn? at December 4, 2012 at 23:18:34
• étale types ( étale types(rev # 9) | history )
  by Stephan Alexander Spahn? at December 4, 2012 at 03:23:42
• étale types ( étale types(rev # 8) | history )
  by Stephan Alexander Spahn? at December 4, 2012 at 02:20:13
• étale types ( étale types(rev # 7) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 22:50:38
• étale types ( étale types(rev # 6) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 21:52:22
• étale types ( étale types(rev # 5) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 21:17:19
• étale types ( étale types(rev # 4) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 20:33:03
• étale types ( étale types(rev # 3) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 16:57:04
• étale types ( étale types(rev # 2) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 13:51:43
• Alexandre Miquel
  by Stephan Alexander Spahn? at December 3, 2012 at 13:12:22
• étale types ( étale types(rev # 1) | history )
  by Stephan Alexander Spahn? at December 3, 2012 at 12:25:15
• Pi-closure ( Pi-closure(rev # 3) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 23:46:24
• Pi-closure ( Pi-closure(rev # 2) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 21:31:15
• Pi-closure ( Pi-closure(rev # 1) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 18:48:25
• factorization system ( factorization system(rev # 7) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 18:28:30
• Pi-factorization system ( Pi-factorization system(rev # 7) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 18:27:35
• factorization system ( factorization system(rev # 6) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 17:33:00
• factorization system ( factorization system(rev # 5) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 15:59:53
• factorization system ( factorization system(rev # 4) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 04:53:03
• Pi-factorization system ( Pi-factorization system(rev # 6) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 04:30:32
• Pi-factorization system ( Pi-factorization system(rev # 5) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 03:50:34
• Pi-factorization system ( Pi-factorization system(rev # 4) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 03:18:21
• factorization system ( factorization system(rev # 3) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 02:50:04
• Pi-factorization system ( Pi-factorization system(rev # 3) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 01:48:23
• Pi-factorization system ( Pi-factorization system(rev # 2) | history )
  by Stephan Alexander Spahn? at December 2, 2012 at 00:41:37
• Pi-factorization system ( Pi-factorization system(rev # 1) | history )
  by Stephan Alexander Spahn? at December 1, 2012 at 20:29:50
• factorization system ( factorization system(rev # 2) | history )
  by Stephan Alexander Spahn? at December 1, 2012 at 20:15:50
• factorization system ( factorization system(rev # 1) | history )
  by Stephan Alexander Spahn? at December 1, 2012 at 06:00:30
• HTT, A.2 model categories ( HTT, A.2 model categories(rev # 19) | history )
  by Stephan Alexander Spahn? at December 1, 2012 at 05:26:55
• (n,1)-category in Ho TT
  by Stephan Alexander Spahn? at December 1, 2012 at 05:18:02
• classical lambda calculus in modern dress ( classical lambda calculus in modern dress(rev # 5) | history )
  by Stephan Alexander Spahn? at December 1, 2012 at 00:50:42
• internal formulation of cohesion ( internal formulation of cohesion(rev # 16) | history )
  by Stephan Alexander Spahn? at November 30, 2012 at 05:58:25
• internal formulation of cohesion ( internal formulation of cohesion(rev # 15) | history )
  by Stephan Alexander Spahn? at November 30, 2012 at 03:56:40
• internal formulation of cohesion ( internal formulation of cohesion(rev # 14) | history )
  by Stephan Alexander Spahn? at November 30, 2012 at 02:18:20
• internal formulation of cohesion ( internal formulation of cohesion(rev # 13) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 23:52:08
• internal formulation of cohesion ( internal formulation of cohesion(rev # 12) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 23:05:36
• internal formulation of cohesion ( internal formulation of cohesion(rev # 11) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 20:22:05
• internal formulation of cohesion ( internal formulation of cohesion(rev # 10) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 18:44:20
• internal formulation of cohesion ( internal formulation of cohesion(rev # 9) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 17:47:07
• homotopy type theory and Voevodsky's univalent foundations
  by Stephan Alexander Spahn? at November 29, 2012 at 16:35:36
• dictionary Ho CT-Ho TT ( dictionary Ho CT-Ho TT(rev # 4) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 15:58:13
• Empty 952
  by Stephan Alexander Spahn? at November 29, 2012 at 15:07:19
• heterogenous equality
  by Stephan Alexander Spahn? at November 29, 2012 at 14:03:20
• classical lambda calculus in modern dress ( classical lambda calculus in modern dress(rev # 4) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 04:58:50
• classical lambda calculus in modern dress ( classical lambda calculus in modern dress(rev # 3) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 03:07:33
• classical lambda calculus in modern dress ( classical lambda calculus in modern dress(rev # 2) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 01:41:52
• classical lambda calculus in modern dress ( classical lambda calculus in modern dress(rev # 1) | history )
  by Stephan Alexander Spahn? at November 29, 2012 at 00:45:23
• setoid
  by Stephan Alexander Spahn? at November 28, 2012 at 01:23:48
• a syntactical approach to weak omega-groupoids
  by Stephan Alexander Spahn? at November 28, 2012 at 01:23:07
• infinitesimal cohesive type theory ( infinitesimal cohesive type theory(rev # 5) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 23:44:20
• infinitesimal cohesive type theory ( infinitesimal cohesive type theory(rev # 4) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 22:43:27
• internal formulation of cohesion ( internal formulation of cohesion(rev # 8) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 21:27:48
• infinitesimal cohesive type theory ( infinitesimal cohesive type theory(rev # 3) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 20:54:37
• infinitesimal cohesive type theory ( infinitesimal cohesive type theory(rev # 2) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 18:42:30
• internal formulation of cohesion ( internal formulation of cohesion(rev # 7) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 18:37:07
• infinitesimal cohesive type theory ( infinitesimal cohesive type theory(rev # 1) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 16:08:43
• internal formulation of cohesion ( internal formulation of cohesion(rev # 6) | history )
  by Stephan Alexander Spahn? at November 26, 2012 at 16:07:46
• univalence axiom
  by Stephan Alexander Spahn? at November 26, 2012 at 15:31:18
• Ho TT-Coq - references ( Ho TT-Coq - references(rev # 3) | history )
  by Stephan Alexander Spahn? at November 25, 2012 at 17:44:04
• Ho TT-Coq - references ( Ho TT-Coq - references(rev # 2) | history )
  by Stephan Alexander Spahn? at November 24, 2012 at 21:42:58
• Ho TT-Coq - references ( Ho TT-Coq - references(rev # 1) | history )
  by Stephan Alexander Spahn? at November 24, 2012 at 21:08:34
• internal formulation of cohesion ( internal formulation of cohesion(rev # 5) | history )
  by Stephan Alexander Spahn? at November 24, 2012 at 20:54:40
• internal formulation of cohesion ( internal formulation of cohesion(rev # 4) | history )
  by Stephan Alexander Spahn? at November 22, 2012 at 19:31:36
• internal formulation of cohesion ( internal formulation of cohesion(rev # 3) | history )
  by Stephan Alexander Spahn? at November 21, 2012 at 22:29:04
• internal formulation of cohesion ( internal formulation of cohesion(rev # 2) | history )
  by Stephan Alexander Spahn? at November 21, 2012 at 15:20:10
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 13) | history )
  by Stephan Alexander Spahn? at November 20, 2012 at 21:13:27
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 12) | history )
  by Stephan Alexander Spahn? at November 20, 2012 at 16:16:55
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 11) | history )
  by Stephan Alexander Spahn? at November 20, 2012 at 15:19:15
• internal formulation of cohesion ( internal formulation of cohesion(rev # 1) | history )
  by Stephan Alexander Spahn? at November 19, 2012 at 14:13:29
• graph - references
  by Stephan Alexander Spahn? at November 19, 2012 at 13:20:56
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 10) | history )
  by Stephan Alexander Spahn? at November 19, 2012 at 00:44:52
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 9) | history )
  by Stephan Alexander Spahn? at November 19, 2012 at 00:07:16
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 8) | history )
  by Stephan Alexander Spahn? at November 18, 2012 at 23:32:56