Spahn
Recently Revised
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Categories
:[Any] S5-slideshow,
cohesion
,
operads
,
people
,
reference
November 30, 2022
a reading guide to HTT
(
diff
|
history
)
by
Anonymous
?
at November 30, 2022 at 05:31:01
June 11, 2022
Segal condition
(
diff
|
history
)
by
Christian Sattler
?
at June 11, 2022 at 10:54:33
Clemens Berger, A Cellular Nerve for Higher Categories
(
diff
|
history
)
by
Christian Sattler
?
at June 11, 2022 at 10:44:13
October 19, 2018
codensity monad
(
diff
|
history
)
by
Todd Trimble
?
at October 19, 2018 at 12:32:33
February 23, 2017
universal polynomial
by
Anonymous
?
at February 23, 2017 at 06:51:06
December 12, 2014
kirelagin
by
kirelagin
at December 12, 2014 at 12:15:26
type category
(
diff
|
history
)
by
kirelagin
at December 12, 2014 at 12:05:58
May 19, 2013
algebraic- and coalgebraic semantics of modal logic
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at May 19, 2013 at 18:31:29
May 2, 2013
idempotent monad
(
diff
|
history
)
by
Anonymous
?
at May 2, 2013 at 00:32:05
March 23, 2013
aspects of topoi
by
Stephan Alexander Spahn
?
at March 23, 2013 at 04:38:16
March 2, 2013
notes on elephant
by
Stephan Alexander Spahn
?
at March 2, 2013 at 05:35:59
February 28, 2013
polynomial functor
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 28, 2013 at 07:36:58
monad on a quasicategory
by
Stephan Alexander Spahn
?
at February 28, 2013 at 04:11:01
February 27, 2013
polynomial monad
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 27, 2013 at 23:31:57
higher inductive type
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 27, 2013 at 04:15:02
February 26, 2013
rules of type theories
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 26, 2013 at 02:53:29
February 25, 2013
modal logic
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 21:40:22
W-type
by
Stephan Alexander Spahn
?
at February 25, 2013 at 07:47:44
Ho TT-Coq - references
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 25, 2013 at 07:30:42
February 19, 2013
categorical logic and type theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 19, 2013 at 03:25:07
February 18, 2013
modalities and multimodalities
by
Stephan Alexander Spahn
?
at February 18, 2013 at 23:59:52
notes on modal logic
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 22:26:11
bisimulation
by
Stephan Alexander Spahn
?
at February 18, 2013 at 05:36:37
Et/X
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 18, 2013 at 00:51:50
February 16, 2013
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
February 15, 2013
the higher derived cahiers topos
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 15, 2013 at 01:30:01
February 14, 2013
Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 14, 2013 at 07:59:55
Lawvere et al, algebraic theories
by
Stephan Alexander Spahn
?
at February 14, 2013 at 06:05:01
February 12, 2013
monoidal quasicategory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 12, 2013 at 06:00:40
February 11, 2013
relative nerve
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 11, 2013 at 22:33:18
February 6, 2013
mapping simplex
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 6, 2013 at 00:34:08
February 5, 2013
Monads and the Barr-Beck Theorem
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at February 5, 2013 at 22:32:00
January 29, 2013
level in a topos
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at January 29, 2013 at 00:57:18
January 25, 2013
univalence in simplicial sets
by
Stephan Alexander Spahn
?
at January 25, 2013 at 01:39:55
January 13, 2013
notes on Lawvere-Tierney topologies, monads, object classifiers, local toposes, indexed functors
by
Stephan Alexander Spahn
?
at January 13, 2013 at 04:43:58
January 9, 2013
extensive quantity
by
Stephan Alexander Spahn
?
at January 9, 2013 at 23:43:14
axiomatic cohesion
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at January 9, 2013 at 23:14:20
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
January 8, 2013
effect algebra of predicates
by
Stephan Alexander Spahn
?
at January 8, 2013 at 03:45:45
January 7, 2013
effect algebra
(
diff
|
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
extensive category
by
Stephan Alexander Spahn
?
at January 7, 2013 at 01:49:57
Poset
by
Stephan Alexander Spahn
?
at January 7, 2013 at 00:39:36
December 27, 2012
motivic measure
by
Stephan Alexander Spahn
?
at December 27, 2012 at 02:43:12
model theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 01:40:06
foundations
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 27, 2012 at 00:15:11
December 25, 2012
new directions in categorical logic
by
Stephan Alexander Spahn
?
at December 25, 2012 at 07:49:12
December 23, 2012
mates
by
Stephan Alexander Spahn
?
at December 23, 2012 at 23:31:00
adjunctions, modalities and closures
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 23, 2012 at 22:40:47
December 18, 2012
sheaf on a sheaf
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 18, 2012 at 00:33:11
December 17, 2012
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
几何易经
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 17, 2012 at 00:46:29
December 16, 2012
locally representable structured (infinity,1)-topos
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 16, 2012 at 04:23:10
December 15, 2012
modus
by
Stephan Alexander Spahn
?
at December 15, 2012 at 21:54:26
copy locally representable structured (infinity,1)-topos
by
Stephan Alexander Spahn
?
at December 15, 2012 at 04:55:48
December 14, 2012
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
December 13, 2012
newpage étale types
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 13, 2012 at 23:08:18
December 11, 2012
étale types
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 11, 2012 at 21:50:46
December 10, 2012
reflective subcategory of a topos
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 17:27:14
subtopos
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 10, 2012 at 16:22:30
multivariable adjunction
by
Stephan Alexander Spahn
?
at December 10, 2012 at 04:07:07
December 9, 2012
étale topos
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 23:24:00
Ad(K)
by
Stephan Alexander Spahn
?
at December 9, 2012 at 17:17:16
December 8, 2012
total category
by
Stephan Alexander Spahn
?
at December 8, 2012 at 01:39:42
December 6, 2012
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
December 4, 2012
internal formulation of cohesion
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 4, 2012 at 23:18:34
December 3, 2012
Alexandre Miquel
by
Stephan Alexander Spahn
?
at December 3, 2012 at 13:12:22
December 2, 2012
Pi-closure
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 23:46:24
factorization system
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 18:28:30
Pi-factorization system
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 2, 2012 at 18:27:35
December 1, 2012
HTT, A.2 model categories
(
diff
|
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
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at December 1, 2012 at 00:50:42
November 29, 2012
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
(
diff
|
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
November 28, 2012
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
November 26, 2012
infinitesimal cohesive type theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 26, 2012 at 23:44:20
univalence axiom
by
Stephan Alexander Spahn
?
at November 26, 2012 at 15:31:18
November 19, 2012
graph - references
by
Stephan Alexander Spahn
?
at November 19, 2012 at 13:20:56
November 16, 2012
directed object - references
by
Stephan Alexander Spahn
?
at November 16, 2012 at 19:16:34
combinatorial shape
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 16, 2012 at 18:08:16
November 13, 2012
nerve
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 13, 2012 at 15:07:23
November 12, 2012
nerves and Segal conditions
by
Stephan Alexander Spahn
?
at November 12, 2012 at 14:09:53
realisation-and-nerve adjunction
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 12, 2012 at 02:20:52
November 9, 2012
directed object
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 9, 2012 at 17:38:17
November 8, 2012
segment object
by
Stephan Alexander Spahn
?
at November 8, 2012 at 17:49:40
November 7, 2012
interval object
by
Stephan Alexander Spahn
?
at November 7, 2012 at 22:13:47
directed object'
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 7, 2012 at 17:19:47
November 6, 2012
directed algebraic structure
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 6, 2012 at 14:47:39
weighted homotopy theory
by
Stephan Alexander Spahn
?
at November 6, 2012 at 14:29:05
directed homotopy theory
by
Stephan Alexander Spahn
?
at November 6, 2012 at 14:22:32
November 5, 2012
n-categories, hyperstructures and cohesive Ho TT
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 5, 2012 at 02:36:45
November 2, 2012
category object
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at November 2, 2012 at 00:23:49
October 23, 2012
categorical distribution
by
Stephan Alexander Spahn
?
at October 23, 2012 at 17:55:25
September 4, 2012
field with one element
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at September 4, 2012 at 16:17:32
axioms of choice
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at September 4, 2012 at 12:17:10
August 26, 2012
applications of operads
by
Stephan Alexander Spahn
?
at August 26, 2012 at 14:14:11
Feynman diagram
by
Stephan Alexander Spahn
?
at August 26, 2012 at 14:11:54
August 25, 2012
the fundamental group and Galois theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 25, 2012 at 23:22:01
Gallina example
by
Stephan Alexander Spahn
?
at August 25, 2012 at 12:25:24
August 24, 2012
new page Galois theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 24, 2012 at 17:03:49
August 22, 2012
new page number theory
by
Stephan Alexander Spahn
?
at August 22, 2012 at 15:09:57
category theoretic aspects of the theory of group schemes
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 22, 2012 at 13:04:31
August 21, 2012
Galois connection
by
Stephan Alexander Spahn
?
at August 21, 2012 at 22:11:11
August 20, 2012
Empty 788
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 20, 2012 at 16:39:20
new page Krull dimension
by
Stephan Alexander Spahn
?
at August 20, 2012 at 16:20:58
August 19, 2012
derivation
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 19, 2012 at 13:13:33
August 18, 2012
graded derivation
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 18, 2012 at 20:27:43
August 11, 2012
ethics of mathematics
by
Stephan Alexander Spahn
?
at August 11, 2012 at 13:36:12
August 10, 2012
combinatorics of trees
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 10, 2012 at 20:44:59
aesthetics of mathematics
by
Stephan Alexander Spahn
?
at August 10, 2012 at 15:32:30
August 9, 2012
timeline of the theory of operads
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 9, 2012 at 22:08:29
combinatorial species
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 9, 2012 at 19:40:35
combinatorics
by
Stephan Alexander Spahn
?
at August 9, 2012 at 16:27:24
Witt polynomial
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 9, 2012 at 16:19:55
August 8, 2012
philosophy of mathematics
by
Stephan Alexander Spahn
?
at August 8, 2012 at 22:20:28
Coq
by
Stephan Alexander Spahn
?
at August 8, 2012 at 21:40:07
August 7, 2012
substitution
by
Stephan Alexander Spahn
?
at August 7, 2012 at 20:05:10
Primiero, information and knowledge, chapter 3, formal representation of the notion of information
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 7, 2012 at 20:01:50
internal type theory and nonstandard type theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 7, 2012 at 14:38:40
type theory
by
Stephan Alexander Spahn
?
at August 7, 2012 at 14:38:25
August 6, 2012
HTT, 1. an overview of higher category theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 6, 2012 at 23:44:18
Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 6, 2012 at 13:33:18
information theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at August 6, 2012 at 13:11:14
August 4, 2012
Formalizing Belief Revision in Type Theory
by
Stephan Alexander Spahn
?
at August 4, 2012 at 21:41:41
Rod Nedepelt
by
Stephan Alexander Spahn
?
at August 4, 2012 at 18:57:08
Primiero, information and knowledge, chapter 2, analyticity and information
by
Stephan Alexander Spahn
?
at August 4, 2012 at 16:03:42
Giuseppe Primiero
by
Stephan Alexander Spahn
?
at August 4, 2012 at 00:07:50
July 23, 2012
couniversal mapping property 1
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at July 23, 2012 at 18:09:49
July 21, 2012
examples of (group) schemes
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at July 21, 2012 at 20:27:22
July 20, 2012
coalgebras, corings and birings in the theory of group shemes
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at July 20, 2012 at 17:09:17
July 18, 2012
p-torsion
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at July 18, 2012 at 22:45:48
June 29, 2012
HTT, A.3.1
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 23:37:20
HTT, 1.2, the language of higher category theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 23:25:01
HTT, A.3 simplicial categories
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 22:26:09
HTT, A.3.2
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 22:24:15
HTT, A.2.2
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 22:15:07
model structure on s Set Cat in HTT
by
Stephan Alexander Spahn
?
at June 29, 2012 at 19:17:22
HTT, 1.1, fondations for higher category theory
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 17:02:52
Joyal model structure in HTT
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 14:27:34
Grothendieck construction in HTT
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 11:55:28
June 28, 2012
HTT, 2. fibrations of simplicial sets
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 28, 2012 at 15:28:51
June 23, 2012
HTT, 4. limits and colimits
by
Stephan Alexander Spahn
?
at June 23, 2012 at 14:35:24
HTT, 5. presentable and accessible infinity-categories
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 23, 2012 at 14:32:15
spam 1
by
Stephan Alexander Spahn
?
at June 23, 2012 at 14:26:24
June 22, 2012
cosimplicial-thickening functor
by
Stephan Alexander Spahn
?
at June 22, 2012 at 12:32:15
June 19, 2012
continuum hypothesis
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 19, 2012 at 17:13:39
June 16, 2012
Haskell
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 16, 2012 at 21:47:33
monads in Haskell
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 16, 2012 at 21:34:56
June 14, 2012
Fiore and Leinster on complex numbers
by
Stephan Alexander Spahn
?
at June 14, 2012 at 12:54:36
June 12, 2012
Witt vectors
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 12, 2012 at 20:28:38
Galois module
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 12, 2012 at 10:56:18
Sylow's theorem
by
Stephan Alexander Spahn
?
at June 12, 2012 at 10:53:22
June 9, 2012
duality
by
Stephan Alexander Spahn
?
at June 9, 2012 at 13:20:09
Cartier duality
by
Stephan Alexander Spahn
?
at June 9, 2012 at 12:42:57
June 4, 2012
display of a formal p-divisible group
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 4, 2012 at 14:37:00
June 3, 2012
p-divisible simplicial group scheme
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 3, 2012 at 22:33:23
simplicial scheme
by
Stephan Alexander Spahn
?
at June 3, 2012 at 15:57:24
June 1, 2012
group algebra
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 1, 2012 at 21:08:39
diagonalizable group scheme
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 1, 2012 at 13:47:19
relation of certain classes of group schemes
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 1, 2012 at 12:22:59
constant group scheme
by
Stephan Alexander Spahn
?
at June 1, 2012 at 12:09:15
multiplicative group scheme
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at June 1, 2012 at 11:46:18
étale scheme
by
Stephan Alexander Spahn
?
at June 1, 2012 at 00:21:29
étale group scheme
by
Stephan Alexander Spahn
?
at June 1, 2012 at 00:18:05
May 31, 2012
the p-divisible group A(p)
by
Stephan Alexander Spahn
?
at May 31, 2012 at 23:56:49
lambda ring
(
diff
|
history
)
by
Stephan Alexander Spahn
?
at May 31, 2012 at 15:32:32
May 30, 2012
Hazewinkel, Witt vectors
by
Stephan Alexander Spahn
?
at May 30, 2012 at 17:58:53
Home Page
(
diff
|
history
)
by
admin
?
at May 30, 2012 at 13:03:46