Spahn Latest Revisions

• a reading guide to HTT ( a reading guide to HTT(rev # 15) | history )
  by Anonymous? at November 30, 2022 at 05:31:01
• Segal condition ( Segal condition(rev # 6) | history )
  by Christian Sattler? at June 11, 2022 at 10:54:33
• Clemens Berger, A Cellular Nerve for Higher Categories ( Clemens Berger, A Cellular Nerve for Higher Categories(rev # 14) | history )
  by Christian Sattler? at June 11, 2022 at 10:44:13
• codensity monad ( codensity monad(rev # 2) | history )
  by Todd Trimble? at October 19, 2018 at 12:32:33
• universal polynomial
  by Anonymous? at February 23, 2017 at 06:51:06
• kirelagin
  by kirelagin at December 12, 2014 at 12:15:26
• type category ( type category(rev # 2) | history )
  by kirelagin at December 12, 2014 at 12:05:58
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 14) | history )
  by Stephan Alexander Spahn? at May 19, 2013 at 18:31:29
• idempotent monad ( idempotent monad(rev # 2) | history )
  by Anonymous? at May 2, 2013 at 00:32:05
• aspects of topoi
  by Stephan Alexander Spahn? at March 23, 2013 at 04:38:16
• notes on elephant
  by Stephan Alexander Spahn? at March 2, 2013 at 05:35:59
• polynomial functor ( polynomial functor(rev # 3) | history )
  by Stephan Alexander Spahn? at February 28, 2013 at 07:36:58
• polynomial functor ( polynomial functor(rev # 2) | history )
  by Stephan Alexander Spahn? at February 28, 2013 at 06:13:25
• monad on a quasicategory
  by Stephan Alexander Spahn? at February 28, 2013 at 04:11:01
• polynomial functor ( polynomial functor(rev # 1) | history )
  by Stephan Alexander Spahn? at February 28, 2013 at 01:20:10
• polynomial monad ( polynomial monad(rev # 3) | history )
  by Stephan Alexander Spahn? at February 27, 2013 at 23:31:57
• higher inductive type ( higher inductive type(rev # 14) | history )
  by Stephan Alexander Spahn? at February 27, 2013 at 04:15:02
• higher inductive type ( higher inductive type(rev # 13) | history )
  by Stephan Alexander Spahn? at February 27, 2013 at 02:12:23
• higher inductive type ( higher inductive type(rev # 12) | history )
  by Stephan Alexander Spahn? at February 27, 2013 at 00:19:53
• higher inductive type ( higher inductive type(rev # 11) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 23:43:11
• higher inductive type ( higher inductive type(rev # 10) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 21:12:05
• higher inductive type ( higher inductive type(rev # 9) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 19:17:51
• higher inductive type ( higher inductive type(rev # 8) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 07:23:46
• higher inductive type ( higher inductive type(rev # 7) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 05:56:57
• higher inductive type ( higher inductive type(rev # 6) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 05:16:54
• higher inductive type ( higher inductive type(rev # 5) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 03:13:14
• rules of type theories ( rules of type theories(rev # 2) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 02:53:29
• rules of type theories ( rules of type theories(rev # 1) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 01:17:22
• higher inductive type ( higher inductive type(rev # 4) | history )
  by Stephan Alexander Spahn? at February 26, 2013 at 01:05:26
• higher inductive type ( higher inductive type(rev # 3) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 23:03:36
• modal logic ( modal logic(rev # 3) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 21:40:22
• higher inductive type ( higher inductive type(rev # 2) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 20:44:37
• modal logic ( modal logic(rev # 2) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 09:47:34
• modal logic ( modal logic(rev # 1) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 09:04:06
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 13) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 08:24:20
• higher inductive type ( higher inductive type(rev # 1) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 07:48:22
• W-type
  by Stephan Alexander Spahn? at February 25, 2013 at 07:47:44
• Ho TT-Coq - references ( Ho TT-Coq - references(rev # 4) | history )
  by Stephan Alexander Spahn? at February 25, 2013 at 07:30:42
• categorical logic and type theory ( categorical logic and type theory(rev # 2) | history )
  by Stephan Alexander Spahn? at February 19, 2013 at 03:25:07
• categorical logic and type theory ( categorical logic and type theory(rev # 1) | history )
  by Stephan Alexander Spahn? at February 19, 2013 at 01:16:56
• modalities and multimodalities
  by Stephan Alexander Spahn? at February 18, 2013 at 23:59:52
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 12) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 23:29:26
• notes on modal logic ( notes on modal logic(rev # 4) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 22:26:11
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 11) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 22:21:52
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 10) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 10:28:39
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 9) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 08:50:07
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 8) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 07:51:16
• bisimulation
  by Stephan Alexander Spahn? at February 18, 2013 at 05:36:37
• idempotent monad ( idempotent monad(rev # 1) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 03:58:44
• Et/X ( Et/X(rev # 2) | history )
  by Stephan Alexander Spahn? at February 18, 2013 at 00:51:50
• polynomial monad ( polynomial monad(rev # 2) | history )
  by Stephan Alexander Spahn? at February 17, 2013 at 06:07:03
• polynomial monad ( polynomial monad(rev # 1) | history )
  by Stephan Alexander Spahn? at February 17, 2013 at 05:06:44
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 7) | history )
  by Stephan Alexander Spahn? at February 17, 2013 at 05:05:12
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 6) | history )
  by Stephan Alexander Spahn? at February 17, 2013 at 04:22:46
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 5) | history )
  by Stephan Alexander Spahn? at February 17, 2013 at 02:24:24
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 4) | history )
  by Stephan Alexander Spahn? at February 17, 2013 at 00:35:45
• coalgebra over a comonad
  by Stephan Alexander Spahn? at February 16, 2013 at 08:32:43
• bimodule
  by Stephan Alexander Spahn? at February 16, 2013 at 08:32:29
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 3) | history )
  by Stephan Alexander Spahn? at February 16, 2013 at 07:36:36
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 2) | history )
  by Stephan Alexander Spahn? at February 16, 2013 at 06:21:24
• notes on modal logic ( notes on modal logic(rev # 3) | history )
  by Stephan Alexander Spahn? at February 16, 2013 at 04:14:34
• algebraic- and coalgebraic semantics of modal logic ( algebraic- and coalgebraic semantics of modal logic(rev # 1) | history )
  by Stephan Alexander Spahn? at February 16, 2013 at 03:43:23
• notes on modal logic ( notes on modal logic(rev # 2) | history )
  by Stephan Alexander Spahn? at February 16, 2013 at 03:03:11
• notes on modal logic ( notes on modal logic(rev # 1) | history )
  by Stephan Alexander Spahn? at February 16, 2013 at 01:51:06
• Et/X ( Et/X(rev # 1) | history )
  by Stephan Alexander Spahn? at February 15, 2013 at 08:23:20
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 14) | history )
  by Stephan Alexander Spahn? at February 15, 2013 at 01:30:01
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 13) | history )
  by Stephan Alexander Spahn? at February 15, 2013 at 00:57:06
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 12) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 20:45:40
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 11) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 10:14:08
• Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads ( Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads(rev # 2) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 07:59:55
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 10) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 07:59:31
• Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads ( Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads(rev # 1) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 06:06:24
• Lawvere et al, algebraic theories
  by Stephan Alexander Spahn? at February 14, 2013 at 06:05:01
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 9) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 06:04:14
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 8) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 05:09:13
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 7) | history )
  by Stephan Alexander Spahn? at February 14, 2013 at 01:29:39
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 6) | history )
  by Stephan Alexander Spahn? at February 13, 2013 at 23:41:44
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 5) | history )
  by Stephan Alexander Spahn? at February 13, 2013 at 08:43:46
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 4) | history )
  by Stephan Alexander Spahn? at February 13, 2013 at 08:12:25
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 3) | history )
  by Stephan Alexander Spahn? at February 13, 2013 at 06:29:05
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 2) | history )
  by Stephan Alexander Spahn? at February 13, 2013 at 05:14:31
• the higher derived cahiers topos ( the higher derived cahiers topos(rev # 1) | history )
  by Stephan Alexander Spahn? at February 13, 2013 at 03:39:30
• monoidal quasicategory ( monoidal quasicategory(rev # 11) | history )
  by Stephan Alexander Spahn? at February 12, 2013 at 06:00:40
• monoidal quasicategory ( monoidal quasicategory(rev # 10) | history )
  by Stephan Alexander Spahn? at February 12, 2013 at 05:08:33
• monoidal quasicategory ( monoidal quasicategory(rev # 9) | history )
  by Stephan Alexander Spahn? at February 12, 2013 at 03:54:39
• monoidal quasicategory ( monoidal quasicategory(rev # 8) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 23:19:36
• relative nerve ( relative nerve(rev # 3) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 22:33:18
• relative nerve ( relative nerve(rev # 2) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 08:42:28
• relative nerve ( relative nerve(rev # 1) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 07:44:50
• monoidal quasicategory ( monoidal quasicategory(rev # 7) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 06:26:08
• monoidal quasicategory ( monoidal quasicategory(rev # 6) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 05:55:56
• monoidal quasicategory ( monoidal quasicategory(rev # 5) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 05:03:44
• monoidal quasicategory ( monoidal quasicategory(rev # 4) | history )
  by Stephan Alexander Spahn? at February 11, 2013 at 01:06:39
• monoidal quasicategory ( monoidal quasicategory(rev # 3) | history )
  by Stephan Alexander Spahn? at February 10, 2013 at 07:36:02
• monoidal quasicategory ( monoidal quasicategory(rev # 2) | history )
  by Stephan Alexander Spahn? at February 10, 2013 at 06:35:04
• monoidal quasicategory ( monoidal quasicategory(rev # 1) | history )
  by Stephan Alexander Spahn? at February 10, 2013 at 03:17:29
• mapping simplex ( mapping simplex(rev # 2) | history )
  by Stephan Alexander Spahn? at February 6, 2013 at 00:34:08
• mapping simplex ( mapping simplex(rev # 1) | history )
  by Stephan Alexander Spahn? at February 5, 2013 at 22:52:00
• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 7) | history )
  by Stephan Alexander Spahn? at February 5, 2013 at 22:32:00
• Monads and the Barr-Beck Theorem ( Monads and the Barr-Beck Theorem(rev # 6) | history )
  by Stephan Alexander Spahn? at January 30, 2013 at 06:15:23