Spahn Latest Revisions

• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 5) | history )
  by Stephan Alexander Spahn? at January 30, 2013 at 03:58:39
• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 4) | history )
  by Stephan Alexander Spahn? at January 30, 2013 at 02:58:57
• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 3) | history )
  by Stephan Alexander Spahn? at January 29, 2013 at 08:29:28
• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 2) | history )
  by Stephan Alexander Spahn? at January 29, 2013 at 07:38:30
• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 1) | history )
  by Stephan Alexander Spahn? at January 29, 2013 at 07:03:16
• level in a topos ( level in a topos(rev # 2) | history )
  by Stephan Alexander Spahn? at January 29, 2013 at 00:57:18
• level in a topos ( level in a topos(rev # 1) | history )
  by Stephan Alexander Spahn? at January 28, 2013 at 09:07:47
• univalence in simplicial sets
  by Stephan Alexander Spahn? at January 25, 2013 at 01:39:55
• notes on Lawvere-Tierney topologies, monads, object classifiers, local toposes, indexed functors
  by Stephan Alexander Spahn? at January 13, 2013 at 04:43:58
• extensive quantity
  by Stephan Alexander Spahn? at January 9, 2013 at 23:43:14
• axiomatic cohesion ( axiomatic cohesion(rev # 12) | history )
  by Stephan Alexander Spahn? at January 9, 2013 at 23:14:20
• axiomatic cohesion ( axiomatic cohesion(rev # 11) | history )
  by Stephan Alexander Spahn? at January 9, 2013 at 23:14:19
• strength
  by Stephan Alexander Spahn? at January 9, 2013 at 22:55:58
• monads, operads, algebraic theories, substitution
  by Stephan Alexander Spahn? at January 9, 2013 at 04:14:45
• axiomatic cohesion ( axiomatic cohesion(rev # 10) | history )
  by Stephan Alexander Spahn? at January 9, 2013 at 02:12:15
• axiomatic cohesion ( axiomatic cohesion(rev # 9) | history )
  by Stephan Alexander Spahn? at January 9, 2013 at 01:29:35
• effect algebra of predicates
  by Stephan Alexander Spahn? at January 8, 2013 at 03:45:45
• axiomatic cohesion ( axiomatic cohesion(rev # 8) | history )
  by Stephan Alexander Spahn? at January 8, 2013 at 01:21:17
• axiomatic cohesion ( axiomatic cohesion(rev # 7) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 23:43:27
• axiomatic cohesion ( axiomatic cohesion(rev # 6) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 21:22:11
• axiomatic cohesion ( axiomatic cohesion(rev # 5) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 20:35:44
• axiomatic cohesion ( axiomatic cohesion(rev # 4) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 19:35:47
• axiomatic cohesion ( axiomatic cohesion(rev # 3) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 17:21:18
• effect algebra ( effect algebra(rev # 3) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 16:07:50
• monad (functional programming)
  by Stephan Alexander Spahn? at January 7, 2013 at 16:05:44
• Eugenio Moggi
  by Stephan Alexander Spahn? at January 7, 2013 at 15:50:42
• axiomatic cohesion ( axiomatic cohesion(rev # 2) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 10:35:30
• axiomatic cohesion ( axiomatic cohesion(rev # 1) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 02:36:43
• effect algebra ( effect algebra(rev # 2) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 02:14:51
• extensive category
  by Stephan Alexander Spahn? at January 7, 2013 at 01:49:57
• effect algebra ( effect algebra(rev # 1) | history )
  by Stephan Alexander Spahn? at January 7, 2013 at 01:02:03
• Poset
  by Stephan Alexander Spahn? at January 7, 2013 at 00:39:36
• codensity monad ( codensity monad(rev # 1) | history )
  by Stephan Alexander Spahn? at December 27, 2012 at 05:04:10
• motivic measure
  by Stephan Alexander Spahn? at December 27, 2012 at 02:43:12
• model theory ( model theory(rev # 3) | history )
  by Stephan Alexander Spahn? at December 27, 2012 at 01:40:06
• model theory ( model theory(rev # 2) | history )
  by Stephan Alexander Spahn? at December 27, 2012 at 01:07:55
• model theory ( model theory(rev # 1) | history )
  by Stephan Alexander Spahn? at December 27, 2012 at 00:30:55
• foundations ( foundations(rev # 9) | history )
  by Stephan Alexander Spahn? at December 27, 2012 at 00:15:11
• new directions in categorical logic
  by Stephan Alexander Spahn? at December 25, 2012 at 07:49:12
• type category ( type category(rev # 1) | history )
  by Stephan Alexander Spahn? at December 25, 2012 at 06:36:09
• mates
  by Stephan Alexander Spahn? at December 23, 2012 at 23:31:00
• adjunctions, modalities and closures ( adjunctions, modalities and closures(rev # 4) | history )
  by Stephan Alexander Spahn? at December 23, 2012 at 22:40:47
• adjunctions, modalities and closures ( adjunctions, modalities and closures(rev # 3) | history )
  by Stephan Alexander Spahn? at December 23, 2012 at 22:40:46
• adjunctions, modalities and closures ( adjunctions, modalities and closures(rev # 2) | history )
  by Stephan Alexander Spahn? at December 20, 2012 at 16:01:09
• adjunctions, modalities and closures ( adjunctions, modalities and closures(rev # 1) | history )
  by Stephan Alexander Spahn? at December 20, 2012 at 06:27:52
• sheaf on a sheaf ( sheaf on a sheaf(rev # 23) | history )
  by Stephan Alexander Spahn? at December 18, 2012 at 00:33:11
• sheaf on a sheaf ( sheaf on a sheaf(rev # 22) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 22:16:18
• sheaf on a sheaf ( sheaf on a sheaf(rev # 21) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 20:39:40
• sheaf on a sheaf ( sheaf on a sheaf(rev # 20) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 18:03:24
• sheaf on a sheaf ( sheaf on a sheaf(rev # 19) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 17:09:33
• sheaf on a sheaf ( sheaf on a sheaf(rev # 18) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 13:11:49
• sheaf on a sheaf ( sheaf on a sheaf(rev # 17) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 12:39:24
• sheaf on a sheaf ( sheaf on a sheaf(rev # 16) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 06:18:35
• sheaf on a sheaf ( sheaf on a sheaf(rev # 15) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 05:34:18
• sheaf on a sheaf ( sheaf on a sheaf(rev # 14) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 04:39:16
• sheaf on a sheaf ( sheaf on a sheaf(rev # 13) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 03:44:05
• spam
  by Stephan Alexander Spahn? at December 17, 2012 at 03:13:43
• factorization of a monad
  by Stephan Alexander Spahn? at December 17, 2012 at 02:23:45
• 几何易经 ( 几何易经(rev # 2) | history )
  by Stephan Alexander Spahn? at December 17, 2012 at 00:46:29
• 几何易经 ( 几何易经(rev # 1) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 23:35:14
• sheaf on a sheaf ( sheaf on a sheaf(rev # 12) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 21:33:51
• sheaf on a sheaf ( sheaf on a sheaf(rev # 11) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 20:16:18
• sheaf on a sheaf ( sheaf on a sheaf(rev # 10) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 19:09:19
• sheaf on a sheaf ( sheaf on a sheaf(rev # 9) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 17:08:00
• sheaf on a sheaf ( sheaf on a sheaf(rev # 8) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 04:53:53
• locally representable structured (infinity,1)-topos ( locally representable structured (infinity,1)-topos(rev # 5) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 04:23:10
• sheaf on a sheaf ( sheaf on a sheaf(rev # 7) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 03:42:26
• locally representable structured (infinity,1)-topos ( locally representable structured (infinity,1)-topos(rev # 4) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 03:19:49
• sheaf on a sheaf ( sheaf on a sheaf(rev # 6) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 02:54:54
• sheaf on a sheaf ( sheaf on a sheaf(rev # 5) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 02:00:37
• sheaf on a sheaf ( sheaf on a sheaf(rev # 4) | history )
  by Stephan Alexander Spahn? at December 16, 2012 at 01:29:19
• sheaf on a sheaf ( sheaf on a sheaf(rev # 3) | history )
  by Stephan Alexander Spahn? at December 15, 2012 at 22:48:00
• modus
  by Stephan Alexander Spahn? at December 15, 2012 at 21:54:26
• locally representable structured (infinity,1)-topos ( locally representable structured (infinity,1)-topos(rev # 3) | history )
  by Stephan Alexander Spahn? at December 15, 2012 at 20:28:04
• sheaf on a sheaf ( sheaf on a sheaf(rev # 2) | history )
  by Stephan Alexander Spahn? at December 15, 2012 at 19:34:11
• sheaf on a sheaf ( sheaf on a sheaf(rev # 1) | history )
  by Stephan Alexander Spahn? at December 15, 2012 at 17:28:39
• copy locally representable structured (infinity,1)-topos
  by Stephan Alexander Spahn? at December 15, 2012 at 04:55:48
• locally representable structured (infinity,1)-topos ( locally representable structured (infinity,1)-topos(rev # 2) | history )
  by Stephan Alexander Spahn? at December 15, 2012 at 04:53:49
• locally representable structured (infinity,1)-topos ( locally representable structured (infinity,1)-topos(rev # 1) | history )
  by Stephan Alexander Spahn? at December 15, 2012 at 03:00:36
• newpage cohesion
  by Stephan Alexander Spahn? at December 14, 2012 at 22:46:47
• neorealism
  by Stephan Alexander Spahn? at December 14, 2012 at 20:31:09
• newpage étale types ( newpage étale types(rev # 5) | history )
  by Stephan Alexander Spahn? at December 13, 2012 at 23:08:18
• newpage étale types ( newpage étale types(rev # 4) | history )
  by Stephan Alexander Spahn? at December 13, 2012 at 18:20:08
• newpage étale types ( newpage étale types(rev # 3) | history )
  by Stephan Alexander Spahn? at December 13, 2012 at 04:49:20
• newpage étale types ( newpage étale types(rev # 2) | history )
  by Stephan Alexander Spahn? at December 13, 2012 at 03:41:29
• newpage étale types ( newpage étale types(rev # 1) | history )
  by Stephan Alexander Spahn? at December 13, 2012 at 02:40:05
• étale types ( étale types(rev # 24) | history )
  by Stephan Alexander Spahn? at December 11, 2012 at 21:50:46
• étale types ( étale types(rev # 23) | history )
  by Stephan Alexander Spahn? at December 11, 2012 at 20:51:49
• étale types ( étale types(rev # 22) | history )
  by Stephan Alexander Spahn? at December 11, 2012 at 20:05:19
• étale types ( étale types(rev # 21) | history )
  by Stephan Alexander Spahn? at December 11, 2012 at 19:12:34
• étale types ( étale types(rev # 20) | history )
  by Stephan Alexander Spahn? at December 11, 2012 at 17:55:12
• étale types ( étale types(rev # 19) | history )
  by Stephan Alexander Spahn? at December 11, 2012 at 00:04:37
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 14) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 17:27:14
• subtopos ( subtopos(rev # 2) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 16:22:30
• subtopos ( subtopos(rev # 1) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 15:25:50
• étale types ( étale types(rev # 18) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 12:54:05
• multivariable adjunction
  by Stephan Alexander Spahn? at December 10, 2012 at 04:07:07
• étale types ( étale types(rev # 17) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 03:32:17
• étale types ( étale types(rev # 16) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 02:50:19
• reflective subcategory of a topos ( reflective subcategory of a topos(rev # 13) | history )
  by Stephan Alexander Spahn? at December 10, 2012 at 00:28:31