nLab
Recently Revised
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
Categories
:[Any]
category
,
drafts
,
foundational axiom
,
meta
,
people
,
place
,
reference
,
references
,
spam
March 18, 2010
unitary operator
(
diff
|
history
)
by
Toby Bartels
at March 18, 2010 23:49:15 from 98.19.48.131
Maslov index
(
diff
|
history
)
by
Toby Bartels
at March 18, 2010 23:43:27 from 98.19.48.131
tangent (infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 23:36:21 from 87.212.203.135
join of simplicial sets
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 23:21:11 from 87.212.203.135
presentable (infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 22:56:49 from 87.212.203.135
equivariant localization and elimination of nodes
by
Zoran Škoda
at March 18, 2010 21:50:12 from 161.53.130.104
mirror symmetry
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 21:42:13 from 87.212.203.135
symplectic geometry
(
diff
|
history
)
by
Zoran Škoda
at March 18, 2010 21:39:02 from 161.53.130.104
semiclassical approximation
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 21:32:25 from 87.212.203.135
symplectic vector space
(
diff
|
history
)
by
Zoran Škoda
at March 18, 2010 20:27:58 from 161.53.130.104
Lagrangian Grassmanian
by
Zoran Škoda
at March 18, 2010 20:21:11 from 161.53.130.104
symplectomorphism
by
Zoran Škoda
at March 18, 2010 19:57:46 from 161.53.130.104
quantization
(
diff
|
history
)
by
Zoran Škoda
at March 18, 2010 19:21:09 from 161.53.130.104
physicscontents
(
diff
|
history
)
by
Zoran Škoda
at March 18, 2010 19:20:33 from 161.53.130.104
quantum mechanics
(
diff
|
history
)
by
Zoran Škoda
at March 18, 2010 17:06:27 from 161.53.130.104
Haag-Kastler axioms
(
diff
|
history
)
by
Tim van Beek
at March 18, 2010 14:11:44 from 192.76.162.8
limit in a quasi-category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 12:33:36 from 131.211.235.143
homotopy Kan extension
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 12:26:48 from 131.211.235.143
functor category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 12:26:00 from 131.211.235.143
Higher Topos Theory
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 11:34:23 from 87.212.203.135
model category theory - contents
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 09:26:53 from 87.212.203.135
combinatorial simplicial model category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 09:23:22 from 87.212.203.135
enriched functor category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 09:20:46 from 87.212.203.135
enriched model category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 09:20:02 from 87.212.203.135
over quasi-category
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 08:30:20 from 87.212.203.135
homotopy groups in an (infinity,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 07:09:31 from 87.212.203.135
right/left Kan fibration
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 07:06:00 from 87.212.203.135
Cartesian fibration
(
diff
|
history
)
by
Urs Schreiber
at March 18, 2010 06:52:13 from 87.212.203.135
FAQ
(
diff
|
history
)
by
Mike Shulman
at March 18, 2010 05:14:33 from 173.73.124.4
Online Resources
(
diff
|
history
)
by
Eric Forgy
at March 18, 2010 04:12:21 from 220.241.233.67
March 17, 2010
Sandbox
(
diff
|
history
)
by
Toby Bartels
at March 17, 2010 22:14:00 from 98.16.138.249
locally constant sheaf
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 20:19:36 from 131.211.234.61
Geometric and topological structures related to M-branes
(
diff
|
history
)
by
Zoran Škoda
at March 17, 2010 20:07:58 from 161.53.130.104
nice topological space
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 20:04:09 from 131.211.234.61
Top
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 20:00:28 from 131.211.234.61
compactly generated space
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 19:56:19 from 131.211.234.61
model structure on topological spaces
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 19:38:57 from 131.211.234.61
Grothendieck construction
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 19:06:58 from 131.211.234.61
stack
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 18:07:34 from 131.211.234.61
join of quasi-categories
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 17:27:40 from 131.211.234.61
Čech methods
(
diff
|
history
)
by
Harry
?
at March 17, 2010 16:25:35 from 67.194.132.91
cofinal (infinity,1)-functor
by
Urs Schreiber
at March 17, 2010 15:18:31 from 131.211.234.61
Nori's Tannakian theorem
by
Zoran Škoda
at March 17, 2010 14:38:04 from 161.53.130.104
motive
(
diff
|
history
)
by
Zoran Škoda
at March 17, 2010 14:34:47 from 161.53.130.104
cofinal functor
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 14:30:34 from 131.211.234.61
cochain on a simplicial set
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 14:05:51 from 131.211.234.61
twisted cohomology
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 11:51:17 from 87.212.203.135
smooth structure of the path groupoid
(
diff
|
history
)
by
Andrew Stacey
at March 17, 2010 10:24:53 from 129.241.15.70
spectral measure
(
diff
|
history
)
by
Tim van Beek
at March 17, 2010 08:10:07 from 192.76.162.8
transferred model structure
(
diff
|
history
)
by
Mike Shulman
at March 17, 2010 01:30:04 from 173.73.124.4
Čech model structure on simplicial presheaves
(
diff
|
history
)
by
Mike Shulman
at March 17, 2010 01:28:48 from 173.73.124.4
k-surjective functor
(
diff
|
history
)
by
Urs Schreiber
at March 17, 2010 00:28:45 from 87.212.203.135
March 16, 2010
Frank Pfäffle
(
diff
|
history
)
by
Toby Bartels
at March 16, 2010 23:55:04 from 75.88.92.203
Christian Bär
(
diff
|
history
)
by
Toby Bartels
at March 16, 2010 23:54:32 from 75.88.92.203
Domenico Fiorenza
(
diff
|
history
)
by
Domenico Fiorenza
at March 16, 2010 18:28:59 from 87.13.187.144
Wightman axioms
(
diff
|
history
)
by
Tim van Beek
at March 16, 2010 17:38:00 from 192.76.162.8
singular cohomology
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 16:27:26 from 131.211.36.96
adjoint functor
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 14:53:20 from 131.211.234.233
n-truncated object of an (infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 14:24:34 from 131.211.234.233
Universal Homotopy Theories
(
diff
|
history
)
by
Zoran Škoda
at March 16, 2010 14:22:02 from 161.53.130.104
Daniel Dugger
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 14:08:30 from 131.211.234.233
global model structure on simplicial presheaves
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 13:59:17 from 131.211.234.233
model structure on simplicial presheaves
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 13:44:08 from 131.211.234.233
path integral
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 13:28:17 from 131.211.234.233
simplicial model category
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 08:52:55 from 87.212.203.135
model structure for left fibrations
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 08:51:35 from 87.212.203.135
Quillen adjunction
(
diff
|
history
)
by
Urs Schreiber
at March 16, 2010 08:30:11 from 87.212.203.135
Max Karoubi
(
diff
|
history
)
by
Tim Porter
at March 16, 2010 06:51:03 from 95.147.237.29
March 15, 2010
model structure on simplicial sheaves
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 23:54:31 from 87.212.203.135
tripos
(
diff
|
history
)
by
Sridhar Ramesh
at March 15, 2010 23:35:30 from 67.180.31.171
Lev Pontrjagin
(
diff
|
history
)
by
Toby Bartels
at March 15, 2010 22:16:04 from 75.117.105.171
special characters
(
diff
|
history
)
by
Toby Bartels
at March 15, 2010 22:12:29 from 75.117.105.171
string structure
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 21:16:10 from 131.211.234.61
super Poincare Lie algebra
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 21:05:31 from 131.211.234.61
division algebra and supersymmetry
by
Urs Schreiber
at March 15, 2010 20:58:59 from 131.211.234.61
spin structure
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 20:14:31 from 131.211.234.61
string theory
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 19:50:56 from 131.211.234.61
(infinity,1)-category of (infinity,1)-functors
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 19:31:25 from 131.211.234.61
Reedy model structure
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 19:27:57 from 131.211.234.61
Hisham Sati
(
diff
|
history
)
by
Zoran Škoda
at March 15, 2010 18:08:40 from 161.53.130.104
algebraic space
(
diff
|
history
)
by
Zoran Škoda
at March 15, 2010 15:40:52 from 161.53.130.104
ind-scheme
by
Zoran Škoda
at March 15, 2010 15:18:20 from 161.53.130.104
jet space
(
diff
|
history
)
by
Zoran Škoda
at March 15, 2010 15:15:45 from 161.53.130.104
David Ben-Zvi
(
diff
|
history
)
by
Zoran Škoda
at March 15, 2010 14:55:29 from 161.53.130.104
(infinity,1)-Grothendieck construction
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 14:25:58 from 131.211.36.96
global model structure on functors
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 11:36:14 from 131.211.234.27
generalized Reedy category
(
diff
|
history
)
by
Urs Schreiber
at March 15, 2010 11:23:36 from 131.211.234.27
March 14, 2010
Amnon Neeman
by
Toby Bartels
at March 14, 2010 21:21:51 from 75.88.69.211
locally convex space
(
diff
|
history
)
by
Toby Bartels
at March 14, 2010 21:10:49 from 75.88.69.211
redirect
(
diff
|
history
)
by
Toby Bartels
at March 14, 2010 21:07:26 from 75.88.69.211
algebraic topology
(
diff
|
history
)
by
Toby Bartels
at March 14, 2010 20:34:36 from 75.88.69.211
Young diagram
(
diff
|
history
)
by
Anonymous Coward
at March 14, 2010 15:49:53 from 70.112.184.239
path groupoid
(
diff
|
history
)
by
Andrew Stacey
at March 14, 2010 14:26:05 from 62.92.155.7
Chern character
(
diff
|
history
)
by
Domenico Fiorenza
at March 14, 2010 08:40:35 from 87.21.226.77
March 13, 2010
Conduche functor
by
Mike Shulman
at March 13, 2010 21:18:29 from 75.3.151.132
Grothendieck fibration
(
diff
|
history
)
by
Mike Shulman
at March 13, 2010 20:47:42 from 75.3.151.132
exponential object
(
diff
|
history
)
by
Mike Shulman
at March 13, 2010 20:23:42 from 75.3.151.132
perfect field
(
diff
|
history
)
by
Anonymous Coward
at March 13, 2010 18:23:24 from 163.1.180.170
direct category
(
diff
|
history
)
by
Mike Shulman
at March 13, 2010 18:21:35 from 75.3.151.132
geometric shapes for higher structures
(
diff
|
history
)
by
Mike Shulman
at March 13, 2010 17:44:51 from 75.3.151.132
opetope
(
diff
|
history
)
by
Mike Shulman
at March 13, 2010 17:42:35 from 75.3.151.132
SVGsandbox
(
diff
|
history
)
by
Domenico Fiorenza
at March 13, 2010 17:05:58 from 87.21.210.68
definition of topology
(
diff
|
history
)
by
Zoran Škoda
at March 13, 2010 16:42:05 from 95.168.106.156
Reedy category
(
diff
|
history
)
by
Mike Shulman
at March 13, 2010 15:03:47 from 75.3.151.132
simplicial set
(
diff
|
history
)
by
Tim Porter
at March 13, 2010 06:59:09 from 95.147.237.181
twisting cochain
(
diff
|
history
)
by
Dylan Thurston
?
at March 13, 2010 01:16:06 from 198.129.67.74
Osterwalder-Schrader theorem
(
diff
|
history
)
by
Toby Bartels
at March 13, 2010 00:39:08 from 98.16.130.15
March 12, 2010
model structure on cosimplicial rings
(
diff
|
history
)
by
Urs Schreiber
at March 12, 2010 21:40:34 from 134.100.32.208
space and quantity
(
diff
|
history
)
by
Urs Schreiber
at March 12, 2010 19:21:41 from 134.100.32.31
(infinity,1)-category of (infinity,1)-presheaves
(
diff
|
history
)
by
Urs Schreiber
at March 12, 2010 10:59:53 from 131.211.234.61
model structure on sSet-enriched presheaves
(
diff
|
history
)
by
Urs Schreiber
at March 12, 2010 10:54:28 from 131.211.234.61
Mittag-Leffler condition
(
diff
|
history
)
by
Tim Porter
at March 12, 2010 10:40:18 from 95.147.237.205
von Neumann algebra
(
diff
|
history
)
by
Tim van Beek
at March 12, 2010 08:37:14 from 192.76.162.8
stable pro-object
(
diff
|
history
)
by
Tim Porter
at March 12, 2010 07:41:43 from 95.147.237.205
fibration sequence
(
diff
|
history
)
by
Domenico Fiorenza
at March 12, 2010 06:46:54 from 87.21.218.153
Mike Shulman
(
diff
|
history
)
by
Mike Shulman
at March 12, 2010 05:04:02 from 75.3.151.132
monoidal model category
(
diff
|
history
)
by
Mike Shulman
at March 12, 2010 05:02:48 from 75.3.151.132
symmetric monoidal smash product of spectra
(
diff
|
history
)
by
Mike Shulman
at March 12, 2010 05:01:50 from 75.3.151.132
regular monomorphism
(
diff
|
history
)
by
Mike Shulman
at March 12, 2010 04:36:05 from 75.3.151.132
Kan complex
(
diff
|
history
)
by
Eric Forgy
at March 12, 2010 01:42:32 from 220.241.233.67
higher category theory - contents
(
diff
|
history
)
by
David Roberts
at March 12, 2010 01:29:06 from 203.24.207.128
March 11, 2010
database of categories
(
diff
|
history
)
by
Rafael Borowiecki
at March 11, 2010 22:57:04 from 83.233.242.242
Bertrand Toën
(
diff
|
history
)
by
Tim Porter
at March 11, 2010 21:04:34 from 95.147.238.207
proper homotopy theory
(
diff
|
history
)
by
Tim Porter
at March 11, 2010 19:08:59 from 95.147.238.207
smooth algebra
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 18:46:31 from 134.100.32.208
infinity-groupoid
(
diff
|
history
)
by
Tim Porter
at March 11, 2010 18:29:06 from 95.147.238.207
algebraic definition of higher category
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 11:59:46 from 129.67.186.152
transfinite composition
(
diff
|
history
)
by
Herman Stel
at March 11, 2010 11:43:00 from 131.211.150.204
Denis-Charles Cisinski
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 10:19:27 from 192.76.7.139
principal 2-bundle
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 08:56:28 from 192.76.7.139
butterfly
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 08:52:52 from 192.76.7.139
omega-nerve
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 08:38:20 from 192.76.7.139
weak complicial set
(
diff
|
history
)
by
Urs Schreiber
at March 11, 2010 08:38:13 from 192.76.7.139
quantum operations and channels
(
diff
|
history
)
by
Ian Durham
at March 11, 2010 02:00:58 from 216.195.135.141
wall crossing
(
diff
|
history
)
by
Zoran Škoda
at March 11, 2010 00:11:28 from 193.198.69.254
March 10, 2010
limits and colimits by example
(
diff
|
history
)
by
Urs Schreiber
at March 10, 2010 22:52:32 from 192.76.7.139
Angelo Vistoli
by
Urs Schreiber
at March 10, 2010 21:48:03 from 192.76.7.139
Elephant
(
diff
|
history
)
by
Urs Schreiber
at March 10, 2010 20:37:18 from 192.76.7.139
locally connected geometric morphism
(
diff
|
history
)
by
Urs Schreiber
at March 10, 2010 20:36:11 from 192.76.7.139
Gelfand spectrum
(
diff
|
history
)
by
Jonas Meyer
?
at March 10, 2010 20:35:09 from 128.255.45.80
locally n-connected (infinity,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at March 10, 2010 20:34:24 from 192.76.7.139
essential geometric morphism
(
diff
|
history
)
by
Urs Schreiber
at March 10, 2010 20:30:50 from 192.76.7.139
Richard Garner
(
diff
|
history
)
by
Mike Shulman
at March 10, 2010 19:40:44 from 128.135.197.116
double category
(
diff
|
history
)
by
Mike Shulman
at March 10, 2010 19:39:20 from 128.135.197.116
quasitopos
(
diff
|
history
)
by
Mike Shulman
at March 10, 2010 19:15:55 from 128.135.197.116
(infinity,1)Cat
(
diff
|
history
)
by
Mike Shulman
at March 10, 2010 17:07:04 from 128.135.197.116
dense functor
(
diff
|
history
)
by
Mike Shulman
at March 10, 2010 17:06:19 from 128.135.197.116
local model structure on simplicial presheaves
(
diff
|
history
)
by
Herman Stel
at March 10, 2010 09:56:13 from 146.50.29.92
AQFT
(
diff
|
history
)
by
Urs Schreiber
at March 10, 2010 09:29:54 from 192.76.7.139
Čech homotopy
(
diff
|
history
)
by
Tim Porter
at March 10, 2010 06:47:01 from 95.147.236.193
generator
(
diff
|
history
)
by
Mike Shulman
at March 10, 2010 05:19:00 from 75.3.151.132
March 9, 2010
Charles Ehresmann
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 21:36:38 from 173.190.149.136
Chern-Simons theory
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 21:32:44 from 173.190.149.136
Vladimir Voevodsky
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 21:13:52 from 173.190.149.136
Vladimir Arnold
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:50:36 from 173.190.149.136
Vladimir Drinfel'd
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:49:58 from 173.190.149.136
Élie Cartan
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:48:20 from 173.190.149.136
Eduard Čech
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:42:44 from 173.190.149.136
Čech cover
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:39:04 from 173.190.149.136
Čech nerve
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:36:44 from 173.190.149.136
HowTo
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:25:48 from 173.190.149.136
Čech cohomology
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:21:26 from 173.190.149.136
Čech cohomology > history
(
diff
|
history
)
by
Toby Bartels
at March 9, 2010 20:14:14 from 173.190.149.136
Morse lemma
(
diff
|
history
)
by
Zoran Škoda
at March 9, 2010 19:28:18 from 161.53.130.104
regular differential operator
(
diff
|
history
)
by
Zoran Škoda
at March 9, 2010 17:55:38 from 161.53.130.104
D-module
(
diff
|
history
)
by
Zoran Škoda
at March 9, 2010 15:27:50 from 161.53.130.104
characteristic class
(
diff
|
history
)
by
Zoran Škoda
at March 9, 2010 15:19:26 from 161.53.130.104
algebraic Lefschetz formula
by
Zoran Škoda
at March 9, 2010 14:34:55 from 161.53.130.104
derivator
(
diff
|
history
)
by
Zoran Škoda
at March 9, 2010 12:39:49 from 161.53.130.104
building
(
diff
|
history
)
by
Tim van Beek
at March 9, 2010 11:47:59 from 192.76.162.8
group cohomology
(
diff
|
history
)
by
Urs Schreiber
at March 9, 2010 11:26:35 from 192.76.7.139
trace
(
diff
|
history
)
by
Urs Schreiber
at March 9, 2010 01:20:18 from 192.76.7.139
March 8, 2010
cubical set
(
diff
|
history
)
by
Urs Schreiber
at March 8, 2010 19:24:23 from 192.76.7.139
model structure on cubical sets
(
diff
|
history
)
by
Urs Schreiber
at March 8, 2010 19:23:39 from 192.76.7.139
fundamental group
(
diff
|
history
)
by
Tim Porter
at March 8, 2010 19:01:25 from 95.147.237.46
simply connected space
(
diff
|
history
)
by
Urs Schreiber
at March 8, 2010 18:32:20 from 192.76.7.139
rational homotopy equivalence
(
diff
|
history
)
by
Urs Schreiber
at March 8, 2010 18:31:29 from 192.76.7.139
matrix Hopf algebra
(
diff
|
history
)
by
Zoran Škoda
at March 8, 2010 15:44:56 from 161.53.130.104
rational homotopy theory
(
diff
|
history
)
by
Urs Schreiber
at March 8, 2010 14:36:17 from 134.100.32.31
March 7, 2010
Borsuk's shape theory
(
diff
|
history
)
by
Tim Porter
at March 7, 2010 20:36:11 from 95.147.237.54
March 6, 2010
partial trace
(
diff
|
history
)
by
Toby Bartels
at March 6, 2010 23:40:54 from 75.117.106.207
Models for Smooth Infinitesimal Analysis
(
diff
|
history
)
by
Urs Schreiber
at March 6, 2010 11:46:33 from 134.100.32.208
de Rham theorem
(
diff
|
history
)
by
Urs Schreiber
at March 6, 2010 11:45:31 from 134.100.32.208
linear logic
(
diff
|
history
)
by
Urs Schreiber
at March 6, 2010 11:39:37 from 134.100.32.208
March 5, 2010
Kähler differential
(
diff
|
history
)
by
Urs Schreiber
at March 5, 2010 20:30:32 from 134.100.32.213
internal logic of an (infinity,1)-topos
(
diff
|
history
)
by
Mike Shulman
at March 5, 2010 20:26:04 from 128.135.72.152
Menagerie
(
diff
|
history
)
by
Tim Porter
at March 5, 2010 19:56:27 from 95.147.237.42
Tim Porter
(
diff
|
history
)
by
Tim Porter
at March 5, 2010 17:40:20 from 95.147.237.42
Tim van Beek
(
diff
|
history
)
by
Tim van Beek
at March 5, 2010 16:35:55 from 192.76.162.8
homotopy coherent diagram
(
diff
|
history
)
by
Tim Porter
at March 5, 2010 12:17:58 from 95.147.237.42
exchange law
(
diff
|
history
)
by
Urs Schreiber
at March 5, 2010 09:06:01 from 87.212.203.135
homotopy coherent nerve
(
diff
|
history
)
by
Urs Schreiber
at March 5, 2010 08:58:27 from 87.212.203.135
shape theory
(
diff
|
history
)
by
Tim Porter
at March 5, 2010 08:28:04 from 95.147.237.42
K. Borsuk
by
Tim Porter
at March 5, 2010 08:27:13 from 95.147.237.42
faithful functor
(
diff
|
history
)
by
Anonymous Coward
at March 5, 2010 05:09:01 from 67.84.223.89
Wick rotation
(
diff
|
history
)
by
David Roberts
at March 5, 2010 00:51:10 from 203.24.207.87
universal covering space
(
diff
|
history
)
by
Urs Schreiber
at March 5, 2010 00:16:12 from 87.212.203.135
March 4, 2010
Postnikov tower in an (infinity,1)-category
by
Urs Schreiber
at March 4, 2010 23:54:54 from 87.212.203.135
Postnikov system
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 23:53:26 from 87.212.203.135
category of sheaves
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 20:13:08 from 131.211.234.98
Grothendieck topos
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 20:11:57 from 131.211.234.98
(infinity,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 20:07:55 from 131.211.234.98
Tannaka duality
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 19:44:29 from 131.211.234.98
rational homotopy theory in an (infinity,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 18:32:24 from 131.211.234.98
Birkhoff's theorem
(
diff
|
history
)
by
Ian Durham
at March 4, 2010 18:14:30 from 216.195.135.141
Hilbert cube
(
diff
|
history
)
by
Tim Porter
at March 4, 2010 18:05:25 from 95.147.236.16
Warsaw circle
(
diff
|
history
)
by
Tim Porter
at March 4, 2010 17:19:46 from 95.147.236.16
composition
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 07:55:26 from 87.212.203.135
path category
(
diff
|
history
)
by
Urs Schreiber
at March 4, 2010 07:28:41 from 87.212.203.135
marked simplicial set
(
diff
|
history
)
by
Emily Riehl
at March 4, 2010 02:04:04 from 137.111.238.14
Dyson formula
by
Ian Durham
at March 4, 2010 01:00:20 from 216.195.135.141
Hamiltonian
(
diff
|
history
)
by
Ian Durham
at March 4, 2010 00:28:05 from 216.195.135.141
March 3, 2010
Trimble n-category
(
diff
|
history
)
by
Urs Schreiber
at March 3, 2010 23:01:25 from 87.212.203.135
simplicial complex
(
diff
|
history
)
by
Tim Porter
at March 3, 2010 21:03:03 from 95.147.238.243
entanglement
(
diff
|
history
)
by
Ian Durham
at March 3, 2010 20:30:21 from 216.195.135.141
diffiety
(
diff
|
history
)
by
Zoran Škoda
at March 3, 2010 20:29:49 from 161.53.130.104
deformation theory
(
diff
|
history
)
by
Zoran Škoda
at March 3, 2010 20:04:07 from 161.53.130.104
simplicial T-complex
(
diff
|
history
)
by
Urs Schreiber
at March 3, 2010 18:35:48 from 131.211.235.188
operator algebra
(
diff
|
history
)
by
Ian Durham
at March 3, 2010 18:26:38 from 216.195.135.141
Ian Durham
(
diff
|
history
)
by
Ian Durham
at March 3, 2010 18:18:47 from 216.195.135.141
hypercrossed complex
(
diff
|
history
)
by
Tim Porter
at March 3, 2010 18:14:20 from 95.147.238.243
Frobenius algebra
(
diff
|
history
)
by
Aleks Kissinger
at March 3, 2010 17:53:08 from 129.67.151.48
group T-complex
(
diff
|
history
)
by
Tim Porter
at March 3, 2010 17:51:07 from 95.147.238.243
PROP
(
diff
|
history
)
by
Aleks Kissinger
at March 3, 2010 17:50:55 from 129.67.151.48
simplicial groupoid
(
diff
|
history
)
by
Tim Porter
at March 3, 2010 17:17:55 from 95.147.238.243
crossed complex
(
diff
|
history
)
by
Tim Porter
at March 3, 2010 17:08:56 from 95.147.238.243
hermitian matrix
(
diff
|
history
)
by
Ian Durham
at March 3, 2010 16:08:41 from 216.195.135.141
locally cartesian closed category
(
diff
|
history
)
by
Mike Shulman
at March 3, 2010 15:29:03 from 75.3.151.132
Thomas Nikolaus
(
diff
|
history
)
by
Zoran Škoda
at March 3, 2010 14:28:27 from 161.53.130.104
cubical T-complex
(
diff
|
history
)
by
Tim Porter
at March 3, 2010 12:59:01 from 95.147.237.125
March 2, 2010
Hamilton operator > history
(
diff
|
history
)
by
Toby Bartels
at March 2, 2010 22:24:34 from 98.19.51.253
Michael Bachtold
(
diff
|
history
)
by
Toby Bartels
at March 2, 2010 22:19:39 from 98.19.51.253
AnonymousCoward
(
diff
|
history
)
by
Toby Bartels
at March 2, 2010 22:18:23 from 98.19.51.253
Krzysztof Gawedzki
(
diff
|
history
)
by
Toby Bartels
at March 2, 2010 22:17:10 from 98.19.51.253
C-star algebra
(
diff
|
history
)
by
Jonas Meyer
?
at March 2, 2010 20:50:54 from 128.255.45.80
sigma-model
(
diff
|
history
)
by
Urs Schreiber
at March 2, 2010 19:06:45 from 131.211.235.146
enriched category
(
diff
|
history
)
by
Mike Shulman
at March 2, 2010 18:54:45 from 75.3.151.132
torsor
(
diff
|
history
)
by
Urs Schreiber
at March 2, 2010 18:05:56 from 131.211.36.96
supermanifold
(
diff
|
history
)
by
Martin Olbermann
?
at March 2, 2010 17:48:16 from 192.68.254.7
complex supermanifold
(
diff
|
history
)
by
Martin Olbermann
?
at March 2, 2010 17:33:35 from 192.68.254.7
Michael Boardman
(
diff
|
history
)
by
Anonymous Heroic Speller
at March 2, 2010 16:57:54 from 141.217.18.217
geometric stack
(
diff
|
history
)
by
Urs Schreiber
at March 2, 2010 15:22:37 from 131.211.234.98
(infinity,1)-topos - contents
(
diff
|
history
)
by
Urs Schreiber
at March 2, 2010 14:08:35 from 134.100.32.31
density matrix
(
diff
|
history
)
by
Ian Durham
at March 2, 2010 12:29:41 from 216.195.135.141
quantum information
(
diff
|
history
)
by
Ian Durham
at March 2, 2010 12:26:11 from 216.195.135.141
model structure on cosimplicial algebras > history
by
Urs Schreiber
at March 2, 2010 09:32:28 from 87.212.203.135
intermediate value theorem
(
diff
|
history
)
by
Toby Bartels
at March 2, 2010 04:00:32 from 98.16.133.26
Sibe Mardesic
(
diff
|
history
)
by
Toby Bartels
at March 2, 2010 00:00:54 from 98.16.133.26
March 1, 2010
Ioannis Vlassopoulos
(
diff
|
history
)
by
Toby Bartels
at March 1, 2010 22:45:43 from 173.190.146.225
Marius Dadarlat
(
diff
|
history
)
by
Toby Bartels
at March 1, 2010 22:37:02 from 173.190.146.225
Kalb-Ramond field
(
diff
|
history
)
by
Urs Schreiber
at March 1, 2010 22:00:51 from 87.212.203.135
profunctor
(
diff
|
history
)
by
Mike Shulman
at March 1, 2010 20:26:01 from 128.135.230.139
span
(
diff
|
history
)
by
Mike Shulman
at March 1, 2010 20:25:06 from 128.135.230.139
dg-category
(
diff
|
history
)
by
Urs Schreiber
at March 1, 2010 19:38:08 from 131.211.235.130
operad
(
diff
|
history
)
by
Urs Schreiber
at March 1, 2010 17:13:57 from 131.211.235.130
(sub)object classifier in an (infinity,1)-topos
(
diff
|
history
)
by
David Corfield
at March 1, 2010 13:21:47 from 86.158.59.231
calculus of constructions
by
David Corfield
at March 1, 2010 13:18:45 from 86.158.59.231
model structure on operads
by
Urs Schreiber
at March 1, 2010 10:30:15 from 87.212.203.135
February 28, 2010
quantaloid
(
diff
|
history
)
by
Todd Trimble
at February 28, 2010 23:33:01 from 69.118.56.215
simplicial ring
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 22:18:28 from 87.212.203.135
(infinity,1)-categorical hom-space
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 22:08:05 from 87.212.203.135
Bob Coecke
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 21:54:58 from 87.212.203.135
fpqc topology
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 20:55:06 from 87.212.203.135
model structure on dg-algebras
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 20:37:14 from 87.212.203.135
stable space
(
diff
|
history
)
by
Tim Porter
at February 28, 2010 20:11:13 from 95.147.236.129
homotopy limit
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 18:24:16 from 87.212.203.135
dagger-category
(
diff
|
history
)
by
Tim Porter
at February 28, 2010 18:02:37 from 95.147.236.129
Samson Abramsky
by
Tim Porter
at February 28, 2010 17:48:25 from 95.147.236.129
symmetric monoidal category
(
diff
|
history
)
by
Urs Schreiber
at February 28, 2010 17:25:44 from 87.212.203.135
Aleks Kissinger
by
Urs Schreiber
at February 28, 2010 17:22:14 from 87.212.203.135
quantale
(
diff
|
history
)
by
Todd Trimble
at February 28, 2010 15:15:30 from 69.118.56.215
metric space
(
diff
|
history
)
by
Eric Forgy
at February 28, 2010 04:56:56 from 220.241.233.67
February 27, 2010
inhabited set
(
diff
|
history
)
by
Toby Bartels
at February 27, 2010 23:25:37 from 75.117.104.93
type theory
(
diff
|
history
)
by
Toby Bartels
at February 27, 2010 23:23:07 from 75.117.104.93
dependent type
(
diff
|
history
)
by
Toby Bartels
at February 27, 2010 23:07:38 from 75.117.104.93
dependent product
(
diff
|
history
)
by
Toby Bartels
at February 27, 2010 23:02:02 from 75.117.104.93
display map
(
diff
|
history
)
by
Toby Bartels
at February 27, 2010 22:59:59 from 75.117.104.93
internal logic
(
diff
|
history
)
by
Mike Shulman
at February 27, 2010 22:05:14 from 75.3.151.132
infinity-stack
(
diff
|
history
)
by
Urs Schreiber
at February 27, 2010 11:30:30 from 87.212.203.135
multisymplectic geometry
(
diff
|
history
)
by
Chris Rogers
at February 27, 2010 09:18:28 from 75.142.223.210
constructive mathematics
(
diff
|
history
)
by
Harry
?
at February 27, 2010 07:28:15 from 67.194.132.91
type theory - contents
(
diff
|
history
)
by
Mike Shulman
at February 27, 2010 04:06:09 from 75.3.151.132
Mitchell-Benabou language
(
diff
|
history
)
by
Mike Shulman
at February 27, 2010 04:00:20 from 75.3.151.132
February 26, 2010
identity type
by
Mike Shulman
at February 26, 2010 22:57:28 from 128.135.72.152
propositions as types
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 22:39:29 from 128.135.72.152
context
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 22:39:23 from 128.135.72.152
hyperfunction
(
diff
|
history
)
by
Zoran Škoda
at February 26, 2010 21:53:30 from 161.53.130.104
microlocal analysis
(
diff
|
history
)
by
Zoran Škoda
at February 26, 2010 21:49:56 from 161.53.130.104
crystal basis
(
diff
|
history
)
by
Zoran Škoda
at February 26, 2010 21:39:11 from 161.53.130.104
Lars Hörmander
(
diff
|
history
)
by
Zoran Škoda
at February 26, 2010 21:15:11 from 161.53.130.104
algebraic microlocalization
by
Zoran Škoda
at February 26, 2010 21:12:16 from 161.53.130.104
Contributors
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 20:36:57 from 98.19.53.220
equilogical space
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 20:23:23 from 98.19.53.220
partial equivalence relation
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 20:04:49 from 98.19.53.220
Cauchy sequence
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 20:04:22 from 98.19.53.220
algebraic lattice
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 19:51:46 from 98.19.53.220
categorical shape theory
(
diff
|
history
)
by
Tim Porter
at February 26, 2010 19:03:56 from 95.147.237.202
Jochen Heinloth
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 16:10:49 from 98.19.53.220
crystal
(
diff
|
history
)
by
David Corfield
at February 26, 2010 16:10:19 from 86.163.174.143
Directed Algebraic Topology
(
diff
|
history
)
by
Tim Porter
at February 26, 2010 13:13:33 from 95.147.237.202
fibration of simplicial sets > history
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 06:26:53 from 98.16.137.52
fibration of quasi-categories
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 06:25:49 from 98.16.137.52
fibered category > history
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 06:24:13 from 98.16.137.52
Cornelius Mertzlufft-Paufler
(
diff
|
history
)
by
Toby Bartels
at February 26, 2010 06:10:29 from 98.16.137.52
Batanin omega-category
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 05:31:23 from 75.3.151.132
path space object
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 05:30:41 from 75.3.151.132
monomorphism in an (infinity,1)-category
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 05:24:32 from 75.3.151.132
groupoid object in an (infinity,1)-category
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 05:19:23 from 75.3.151.132
cleavage
(
diff
|
history
)
by
Mike Shulman
at February 26, 2010 03:28:23 from 75.3.151.132
folk model structure on Cat
(
diff
|
history
)
by
joyal
at February 26, 2010 02:33:56 from 132.208.30.243
folk model structure
(
diff
|
history
)
by
joyal
at February 26, 2010 02:28:58 from 132.208.30.243
orthogonal factorization system
(
diff
|
history
)
by
joyal
at February 26, 2010 02:23:41 from 132.208.30.243
subobject classifier
(
diff
|
history
)
by
Urs Schreiber
at February 26, 2010 01:17:39 from 87.212.203.135
February 25, 2010
Masaki Kashiwara
(
diff
|
history
)
by
Toby Bartels
at February 25, 2010 23:26:56 from 98.16.137.52
motivic cohomology
(
diff
|
history
)
by
Peter Arndt
at February 25, 2010 21:18:58 from 131.111.24.179
admin
(
diff
|
history
)
by
Toby Bartels
at February 25, 2010 20:40:42 from 98.16.135.96
Gavin Wraith
(
diff
|
history
)
by
Toby Bartels
at February 25, 2010 20:29:58 from 98.16.135.96
Gabriel C. Drummond-Cole
(
diff
|
history
)
by
Toby Bartels
at February 25, 2010 20:28:32 from 98.16.135.96
Claire Tomesch
(
diff
|
history
)
by
Toby Bartels
at February 25, 2010 20:22:34 from 98.16.135.96
etale cohomology
(
diff
|
history
)
by
Toby Bartels
at February 25, 2010 20:14:16 from 98.16.135.96
element in an abelian category
(
diff
|
history
)
by
Zoran Škoda
at February 25, 2010 19:01:03 from 161.53.130.104
Peter Arndt
by
Urs Schreiber
at February 25, 2010 18:14:00 from 131.211.235.212
de Rham space
(
diff
|
history
)
by
Zoran Škoda
at February 25, 2010 17:52:49 from 161.53.130.104
simplicial skeleton
(
diff
|
history
)
by
Urs Schreiber
at February 25, 2010 15:55:14 from 131.211.36.96
exercise in groupoidification - the path integral
(
diff
|
history
)
by
Jacques Distler
at February 25, 2010 13:24:55 from 70.112.184.239
Koszul duality
(
diff
|
history
)
by
Zoran Škoda
at February 25, 2010 13:03:07 from 161.53.130.104
coskeleton > history
by
Urs Schreiber
at February 25, 2010 10:40:32 from 87.212.203.135
nerve
(
diff
|
history
)
by
Tim Porter
at February 25, 2010 10:32:48 from 95.147.237.244
solid functor
(
diff
|
history
)
by
Jacques Distler
at February 25, 2010 09:22:02 from 70.112.184.239
Froelicher space
(
diff
|
history
)
by
Jacques Distler
at February 25, 2010 09:10:16 from 70.112.184.239
fibration fibered in groupoids
(
diff
|
history
)
by
Urs Schreiber
at February 25, 2010 00:56:24 from 87.212.203.135
February 24, 2010
BV-BRST formalism
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 23:16:33 from 131.211.235.127
nPOV
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 23:12:33 from 131.211.235.127
derived stack
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 23:04:26 from 131.211.235.127
(infinity,1)-site
by
Urs Schreiber
at February 24, 2010 23:00:47 from 131.211.235.127
site
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 22:59:34 from 131.211.235.127
topological localization
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 22:52:39 from 131.211.235.127
SSet-site
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 22:48:45 from 131.211.235.127
model site
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 22:46:29 from 131.211.235.127
Lie infinity-algebroid
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 22:32:25 from 131.211.235.127
Hilbert uniformization
by
Zoran Škoda
at February 24, 2010 20:43:07 from 193.198.162.14
Koszul complex
by
Zoran Škoda
at February 24, 2010 20:03:58 from 193.198.162.14
homotopy lifting property
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 19:16:14 from 131.211.235.127
Batalin-Vilkovisky quantization
by
Zoran Škoda
at February 24, 2010 19:10:50 from 193.198.162.14
quasi-category
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 18:42:37 from 131.211.235.127
opposite quasi-category
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 18:40:04 from 131.211.235.127
opposite (infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 18:36:09 from 131.211.235.127
Kenneth Brown
by
Urs Schreiber
at February 24, 2010 18:07:50 from 131.211.235.127
algebra for a C-C bimodule
(
diff
|
history
)
by
Mike Shulman
at February 24, 2010 17:14:25 from 128.135.239.234
well-pointed topos
(
diff
|
history
)
by
Mike Shulman
at February 24, 2010 17:02:47 from 128.135.239.234
Chenchang Zhu
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 16:57:06 from 131.211.235.127
Lie theory for stacky Lie groupoids
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 15:13:58 from 131.211.235.127
natural numbers object
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 14:55:28 from 131.211.235.127
global section
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 14:50:58 from 131.211.235.127
Set
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 14:44:18 from 131.211.235.127
stabilization
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 14:41:19 from 131.211.235.127
model structure on dendroidal sets
(
diff
|
history
)
by
Thomas Nikolaus
at February 24, 2010 12:59:37 from 134.100.221.107
Ho(Top)
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 12:51:44 from 87.212.203.135
weak homotopy equivalence
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 12:48:32 from 87.212.203.135
homotopy equivalence
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 12:46:43 from 87.212.203.135
FinSet
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 12:23:19 from 87.212.203.135
topos
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 12:03:41 from 87.212.203.135
homotopy category
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 10:34:59 from 87.212.203.135
monomorphism
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 09:50:10 from 87.212.203.135
universal fibration of (infinity,1)-categories
(
diff
|
history
)
by
David Corfield
at February 24, 2010 09:10:37 from 86.152.177.15
Boolean topos
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 09:03:24 from 87.212.203.135
first-order hyperdoctrine
(
diff
|
history
)
by
Sridhar Ramesh
at February 24, 2010 04:42:28 from 67.180.31.171
Heyting prealgebra
(
diff
|
history
)
by
Sridhar Ramesh
at February 24, 2010 04:38:08 from 67.180.31.171
complete Heyting algebra
(
diff
|
history
)
by
Toby Bartels
at February 24, 2010 03:35:18 from 75.88.94.75
effective topos
(
diff
|
history
)
by
Sridhar Ramesh
at February 24, 2010 00:55:59 from 128.32.213.178
Hochschild cohomology
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 00:40:27 from 87.212.203.135
free loop space object
(
diff
|
history
)
by
Urs Schreiber
at February 24, 2010 00:39:04 from 87.212.203.135
February 23, 2010
category of partial equivalence relations
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 22:27:46 from 67.180.31.171
Yoneda embedding
(
diff
|
history
)
by
Urs Schreiber
at February 23, 2010 21:16:45 from 87.212.203.135
partial combinatory algebra
by
Sridhar Ramesh
at February 23, 2010 21:02:53 from 67.180.31.171
bicartesian closed category
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 20:50:10 from 67.180.31.171
Heyting algebra
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 20:49:05 from 67.180.31.171
commutative algebraic theory
(
diff
|
history
)
by
Andrew Stacey
at February 23, 2010 19:38:47 from 80.203.115.53
subquotient
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 19:28:20 from 67.180.31.171
Infinity-Grpd
(
diff
|
history
)
by
Urs Schreiber
at February 23, 2010 19:22:28 from 87.212.203.135
pro-object
(
diff
|
history
)
by
Tim Porter
at February 23, 2010 18:43:23 from 95.147.237.60
glutos
by
Zoran Škoda
at February 23, 2010 11:41:19 from 161.53.130.104
shape of an (infinity,1)-topos
(
diff
|
history
)
by
Tim Porter
at February 23, 2010 10:41:29 from 95.147.237.60
cartesian closed category
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 10:33:13 from 67.180.31.171
localic topos
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 09:04:24 from 67.180.31.171
dense subcategory
(
diff
|
history
)
by
Urs Schreiber
at February 23, 2010 08:47:01 from 87.212.203.135
algebra for an endofunctor
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 07:20:49 from 67.180.31.171
coalgebra for an endofunctor
(
diff
|
history
)
by
Sridhar Ramesh
at February 23, 2010 07:06:51 from 67.180.31.171
February 22, 2010
formal dg-algebra
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 22:01:20 from 131.211.234.184
Sullivan model
by
Urs Schreiber
at February 22, 2010 21:55:14 from 131.211.234.184
rational topological space
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 21:34:43 from 131.211.234.184
Bott periodicity theorem
by
Zoran Škoda
at February 22, 2010 21:06:53 from 161.53.130.104
perverse sheaf
(
diff
|
history
)
by
Zoran Škoda
at February 22, 2010 20:56:12 from 161.53.130.104
(infinity,1)-category of (infinity,1)-sheaves
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 20:55:08 from 131.211.234.184
anafunctor
(
diff
|
history
)
by
Mike Shulman
at February 22, 2010 20:54:15 from 128.135.239.253
Alexander Beilinson
(
diff
|
history
)
by
Zoran Škoda
at February 22, 2010 20:48:30 from 161.53.130.104
Grothendieck connection
(
diff
|
history
)
by
Zoran Škoda
at February 22, 2010 20:21:56 from 161.53.130.104
universal colimits
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 19:36:07 from 131.211.234.184
Alexander Rosenberg
(
diff
|
history
)
by
Zoran Škoda
at February 22, 2010 18:18:40 from 161.53.130.104
Q-category
(
diff
|
history
)
by
Zoran Škoda
at February 22, 2010 18:10:46 from 161.53.130.104
coherence theorems
(
diff
|
history
)
by
Mike Shulman
at February 22, 2010 18:05:21 from 75.3.151.132
clique
(
diff
|
history
)
by
Mike Shulman
at February 22, 2010 17:55:51 from 75.3.151.132
Alan Hatcher
by
Urs Schreiber
at February 22, 2010 17:07:42 from 131.211.234.184
differential graded algebra
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 16:19:51 from 131.211.234.184
connected space
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 16:04:35 from 131.211.234.184
Daniel Quillen
by
Urs Schreiber
at February 22, 2010 15:55:46 from 131.211.234.184
hypercomplete (infinity,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 15:34:33 from 131.211.234.184
locally contractible space
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 15:30:38 from 131.211.234.184
contractible space
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 15:25:05 from 131.211.234.184
abelian category
(
diff
|
history
)
by
Zoran Škoda
at February 22, 2010 14:06:42 from 161.53.130.104
rationalization
by
Urs Schreiber
at February 22, 2010 11:45:18 from 131.211.36.96
algebraic stack
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 11:20:01 from 131.211.36.96
differentiable stack
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 11:17:47 from 131.211.36.96
representable morphism of stacks
(
diff
|
history
)
by
Urs Schreiber
at February 22, 2010 10:55:21 from 131.211.36.96
continuous map
(
diff
|
history
)
by
Toby Bartels
at February 22, 2010 00:58:42 from 173.190.158.192
February 21, 2010
natural transformation
(
diff
|
history
)
by
Sridhar Ramesh
at February 21, 2010 08:44:21 from 71.202.14.238
experimental alternative definition of functor
(
diff
|
history
)
by
Eric Forgy
at February 21, 2010 05:39:58 from 119.247.164.4
natural transformation (discussion)
(
diff
|
history
)
by
Eric Forgy
at February 21, 2010 01:32:05 from 119.247.164.4
foundations
(
diff
|
history
)
by
Toby Bartels
at February 21, 2010 00:17:34 from 98.16.141.177
Philip Higgins
(
diff
|
history
)
by
Toby Bartels
at February 21, 2010 00:06:38 from 98.16.141.177
February 20, 2010
pushout
(
diff
|
history
)
by
Gonçalo Marques
?
at February 20, 2010 03:12:51 from 85.245.181.100
February 19, 2010
Jacobson radical
(
diff
|
history
)
by
Zoran Škoda
at February 19, 2010 16:34:31 from 161.53.130.104
SVG Editor HowTo
(
diff
|
history
)
by
Jacques Distler
at February 19, 2010 07:28:56 from 70.112.184.239
decalage
(
diff
|
history
)
by
Tim Porter
at February 19, 2010 07:07:48 from 95.147.237.106
February 18, 2010
five lemma
(
diff
|
history
)
by
Urs Schreiber
at February 18, 2010 21:27:12 from 131.211.235.24
FQFT
(
diff
|
history
)
by
Urs Schreiber
at February 18, 2010 20:46:05 from 131.211.235.24
Goodwillie calculus
(
diff
|
history
)
by
Zoran Škoda
at February 18, 2010 20:39:59 from 161.53.130.104
regular differential operator in noncommutative geometry
by
Zoran Škoda
at February 18, 2010 19:58:21 from 161.53.130.104
coherent sheaf
(
diff
|
history
)
by
Zoran Škoda
at February 18, 2010 17:51:01 from 161.53.130.104
crystalline cohomology
by
Anonymous Coward
at February 18, 2010 17:06:04 from 190.17.17.210
Carlo Rovelli
by
Urs Schreiber
at February 18, 2010 15:59:12 from 131.211.235.24
Categories and Sheaves
(
diff
|
history
)
by
Zoran Škoda
at February 18, 2010 15:52:52 from 161.53.130.104
Pierre Schapira
by
Zoran Škoda
at February 18, 2010 15:50:57 from 161.53.130.104
homotopy type
(
diff
|
history
)
by
Tim Porter
at February 18, 2010 15:43:29 from 95.147.236.115
Hans-Joachim Baues
(
diff
|
history
)
by
Tim Porter
at February 18, 2010 14:58:14 from 95.147.236.115
homotopy n-type
(
diff
|
history
)
by
Tim Porter
at February 18, 2010 13:45:14 from 95.147.236.115
Hadamard lemma
(
diff
|
history
)
by
Urs Schreiber
at February 18, 2010 08:57:06 from 87.212.203.135
derivation
(
diff
|
history
)
by
Urs Schreiber
at February 18, 2010 08:48:15 from 87.212.203.135
Fermat theory
(
diff
|
history
)
by
Urs Schreiber
at February 18, 2010 08:23:32 from 87.212.203.135
infinitesimal object
(
diff
|
history
)
by
Urs Schreiber
at February 18, 2010 08:03:06 from 87.212.203.135
bisimplicial object
(
diff
|
history
)
by
Tim Porter
at February 18, 2010 06:58:30 from 95.147.236.115
February 17, 2010
model structure for quasi-categories
(
diff
|
history
)
by
Urs Schreiber
at February 17, 2010 22:04:36 from 134.100.32.213
A-infinity-category
(
diff
|
history
)
by
jim stasheff
at February 17, 2010 21:56:05 from 96.227.167.117
filtered category
(
diff
|
history
)
by
Mike Shulman
at February 17, 2010 19:12:39 from 128.135.239.114
complete Segal space
(
diff
|
history
)
by
Mike Shulman
at February 17, 2010 16:47:56 from 128.135.239.114
mapping cone
(
diff
|
history
)
by
Urs Schreiber
at February 17, 2010 15:31:17 from 131.211.234.217
ASSet
(
diff
|
history
)
by
Urs Schreiber
at February 17, 2010 15:12:22 from 131.211.36.96
model structure on sSet-categories
(
diff
|
history
)
by
Urs Schreiber
at February 17, 2010 14:23:37 from 131.211.234.184
simplicial localization
(
diff
|
history
)
by
Urs Schreiber
at February 17, 2010 14:11:50 from 131.211.36.96
cartesian morphism
(
diff
|
history
)
by
Urs Schreiber
at February 17, 2010 12:19:29 from 131.211.234.184
topological concrete category
(
diff
|
history
)
by
Mike Shulman
at February 17, 2010 04:32:25 from 75.3.151.132
sink
(
diff
|
history
)
by
Mike Shulman
at February 17, 2010 04:26:15 from 75.3.151.132
February 16, 2010
Quillen equivalence
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 19:22:05 from 87.212.203.135
SSet Cat
by
Urs Schreiber
at February 16, 2010 19:01:26 from 87.212.203.135
simplicially enriched category
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 18:37:34 from 87.212.203.135
Henry Whitehead
(
diff
|
history
)
by
Toby Bartels
at February 16, 2010 16:53:47 from 12.183.255.106
simplicial category
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 16:46:52 from 87.212.203.135
category theory - contents
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 16:45:43 from 87.212.203.135
Fredholm operator
(
diff
|
history
)
by
Zoran Škoda
at February 16, 2010 16:18:25 from 161.53.130.104
heat kernel
(
diff
|
history
)
by
Zoran Škoda
at February 16, 2010 16:09:38 from 161.53.130.104
model structure on marked simplicial over-sets
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 14:40:40 from 87.212.203.135
(infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 12:35:58 from 87.212.203.135
(infinity,1)-category of (infinity,1)-categories
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 12:35:01 from 87.212.203.135
pretriangulated dg-category
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 10:38:45 from 87.212.203.135
algebraic homotopy
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 10:22:14 from 87.212.203.135
model structure for complete Segal spaces
(
diff
|
history
)
by
Urs Schreiber
at February 16, 2010 09:52:48 from 87.212.203.135
cylinder functor
(
diff
|
history
)
by
Tim Porter
at February 16, 2010 08:28:49 from 95.147.236.167
homotopy (as a transformation)
(
diff
|
history
)
by
Tim Porter
at February 16, 2010 08:01:24 from 95.147.236.167
February 15, 2010
Segal space
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 22:46:18 from 87.212.203.135
stable category
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 20:08:32 from 131.211.234.10
Kan fibration
(
diff
|
history
)
by
Mike Shulman
at February 15, 2010 19:58:23 from 128.135.197.202
derived functor
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 19:42:34 from 131.211.234.10
suspended category
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 19:33:48 from 131.211.234.10
Painleve transcendent
(
diff
|
history
)
by
Zoran Škoda
at February 15, 2010 18:49:43 from 161.53.130.104
enhanced triangulated category
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 18:39:43 from 131.211.234.10
Zoran Škoda
(
diff
|
history
)
by
Zoran Škoda
at February 15, 2010 18:22:30 from 161.53.130.104
holonomic quantum field
(
diff
|
history
)
by
Zoran Škoda
at February 15, 2010 17:20:18 from 161.53.130.104
(infinity,1)-functor
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 12:15:42 from 131.211.36.96
model structure on categories with weak equivalences
by
Urs Schreiber
at February 15, 2010 12:02:58 from 131.211.36.96
category with weak equivalences
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 12:02:13 from 131.211.36.96
local net
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 10:16:02 from 134.100.32.208
adjoint (infinity,1)-functor
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 08:08:56 from 134.100.32.213
SimpSet
(
diff
|
history
)
by
Urs Schreiber
at February 15, 2010 07:18:28 from 134.100.32.208
music
(
diff
|
history
)
by
Tim Porter
at February 15, 2010 07:16:15 from 95.147.236.40
linguistics
(
diff
|
history
)
by
Toby Bartels
at February 15, 2010 06:02:56 from 12.157.243.234
February 14, 2010
weak factorization system
(
diff
|
history
)
by
joyal
at February 14, 2010 16:12:35 from 132.208.30.243
relation between quasi-categories and simplicial categories
(
diff
|
history
)
by
Urs Schreiber
at February 14, 2010 09:50:49 from 134.100.32.208
February 13, 2010
bar construction
(
diff
|
history
)
by
Tim Porter
at February 13, 2010 20:40:29 from 95.147.237.77
motivation for sheaves, cohomology and higher stacks
(
diff
|
history
)
by
Patrick Schultz
at February 13, 2010 19:05:45 from 67.171.246.168
Peter C Marks
by
Peter C Marks
at February 13, 2010 18:18:37 from 72.224.151.120
diagram
(
diff
|
history
)
by
Peter C Marks
at February 13, 2010 18:14:24 from 72.224.151.120
fc-multicategory
(
diff
|
history
)
by
Mike Shulman
at February 13, 2010 01:38:03 from 75.3.151.132
February 12, 2010
flabby sheaf
(
diff
|
history
)
by
Zoran Škoda
at February 12, 2010 20:38:16 from 161.53.130.104
intersection cohomology
by
Zoran Škoda
at February 12, 2010 19:28:31 from 161.53.130.104
cotangent complex
(
diff
|
history
)
by
Zoran Škoda
at February 12, 2010 17:49:58 from 161.53.130.104
FGA explained
by
Zoran Škoda
at February 12, 2010 17:39:06 from 161.53.130.104
formal spectrum
(
diff
|
history
)
by
Zoran Škoda
at February 12, 2010 17:35:52 from 161.53.130.104
formal scheme
(
diff
|
history
)
by
Zoran Škoda
at February 12, 2010 17:34:26 from 161.53.130.104
topologically ringed space
by
Zoran Škoda
at February 12, 2010 16:54:04 from 161.53.130.104
Jean-Marc Cordier
by
Tim Porter
at February 12, 2010 16:35:08 from 95.147.237.47
Rainer Vogt
(
diff
|
history
)
by
Tim Porter
at February 12, 2010 15:57:39 from 95.147.237.47
locally presentable category
(
diff
|
history
)
by
Todd Trimble
at February 12, 2010 13:34:35 from 69.118.56.215
(n,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at February 12, 2010 02:04:38 from 87.212.203.135
WISC
(
diff
|
history
)
by
David Roberts
at February 12, 2010 01:52:28 from 203.24.207.38
axiom of multiple choice
(
diff
|
history
)
by
Mike Shulman
at February 12, 2010 01:14:11 from 75.3.151.132
axiom of choice
(
diff
|
history
)
by
Mike Shulman
at February 12, 2010 01:14:00 from 75.3.151.132
COSHEP
(
diff
|
history
)
by
Mike Shulman
at February 12, 2010 01:13:24 from 75.3.151.132
connected object
(
diff
|
history
)
by
Urs Schreiber
at February 12, 2010 00:57:06 from 87.212.203.135
compact object - contents
(
diff
|
history
)
by
Urs Schreiber
at February 12, 2010 00:55:56 from 87.212.203.135
February 11, 2010
geometric morphism
(
diff
|
history
)
by
Urs Schreiber
at February 11, 2010 23:21:09 from 87.212.203.135
sub-quasi-category
(
diff
|
history
)
by
Urs Schreiber
at February 11, 2010 23:05:59 from 87.212.203.135
stable (infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at February 11, 2010 23:00:18 from 87.212.203.135
quotient object
(
diff
|
history
)
by
Urs Schreiber
at February 11, 2010 22:05:43 from 87.212.203.135
orthogonal subcategory problem
(
diff
|
history
)
by
Zoran Škoda
at February 11, 2010 21:00:11 from 161.53.130.104
Marta Bunge
(
diff
|
history
)
by
Zoran Škoda
at February 11, 2010 18:58:03 from 161.53.130.104
Grothendieck's Galois theory
(
diff
|
history
)
by
Zoran Škoda
at February 11, 2010 17:18:23 from 161.53.130.104
externalization
by
Zoran Škoda
at February 11, 2010 17:10:49 from 161.53.130.104
permutation representation
(
diff
|
history
)
by
Zoran Škoda
at February 11, 2010 16:14:08 from 161.53.130.104
fibration
(
diff
|
history
)
by
Urs Schreiber
at February 11, 2010 13:54:54 from 131.211.36.96
February 10, 2010
Catégories Tannakiennes
(
diff
|
history
)
by
Urs Schreiber
at February 10, 2010 22:09:54 from 131.211.234.10
Tadao Tannaka
by
Zoran Škoda
at February 10, 2010 21:45:21 from 161.53.130.104
Ross Street
(
diff
|
history
)
by
Zoran Škoda
at February 10, 2010 21:26:24 from 161.53.130.104
Andre Joyal
(
diff
|
history
)
by
Zoran Škoda
at February 10, 2010 21:24:46 from 161.53.130.104
Sandbox > SVG
(
diff
|
history
)
by
Andrew Stacey
at February 10, 2010 21:11:27 from 80.203.115.53
homotopy (as an operation)
(
diff
|
history
)
by
Urs Schreiber
at February 10, 2010 19:22:50 from 131.211.234.10
homotopy
(
diff
|
history
)
by
Urs Schreiber
at February 10, 2010 19:16:29 from 131.211.234.10
quasifibration
(
diff
|
history
)
by
Urs Schreiber
at February 10, 2010 17:23:12 from 131.211.234.10
string group
(
diff
|
history
)
by
David Corfield
at February 10, 2010 14:55:41 from 129.12.18.138
Andre Henriques
by
Urs Schreiber
at February 10, 2010 10:15:38 from 87.212.203.135
action groupoid
(
diff
|
history
)
by
Urs Schreiber
at February 10, 2010 09:04:56 from 87.212.203.135
surjection
(
diff
|
history
)
by
Mike Shulman
at February 10, 2010 02:59:04 from 75.3.151.132
small violations of choice
(
diff
|
history
)
by
Mike Shulman
at February 10, 2010 01:46:17 from 75.3.151.132
countable choice
(
diff
|
history
)
by
Mike Shulman
at February 10, 2010 01:26:07 from 75.3.151.132
February 9, 2010
Yoneda reduction
(
diff
|
history
)
by
Urs Schreiber
at February 9, 2010 22:27:56 from 87.212.203.135
Yoneda lemma
(
diff
|
history
)
by
Urs Schreiber
at February 9, 2010 22:24:46 from 87.212.203.135
reconstruction theorem
(
diff
|
history
)
by
Urs Schreiber
at February 9, 2010 20:07:02 from 87.212.203.135
Yoneda lemma for (infinity,1)-categories
(
diff
|
history
)
by
Urs Schreiber
at February 9, 2010 19:59:49 from 87.212.203.135
specialization order
(
diff
|
history
)
by
Mike Shulman
at February 9, 2010 17:41:18 from 128.135.194.54
point of a topos
(
diff
|
history
)
by
Mike Shulman
at February 9, 2010 17:39:13 from 128.135.194.54
direct image
(
diff
|
history
)
by
Zoran Škoda
at February 9, 2010 16:41:11 from 161.53.130.104
restriction and extension of sheaves
(
diff
|
history
)
by
Toby Bartels
at February 9, 2010 16:21:43 from 12.53.235.42
natural parametrization
(
diff
|
history
)
by
Toby Bartels
at February 9, 2010 15:55:55 from 12.53.235.42
idempotent adjunction
(
diff
|
history
)
by
Toby Bartels
at February 9, 2010 15:48:27 from 12.53.235.42
section
(
diff
|
history
)
by
Urs Schreiber
at February 9, 2010 09:44:18 from 87.212.203.135
well-connected space
(
diff
|
history
)
by
David Roberts
at February 9, 2010 01:00:27 from 203.24.207.214
February 8, 2010
paracompact space
(
diff
|
history
)
by
Urs Schreiber
at February 8, 2010 23:35:15 from 87.212.203.135
horn
(
diff
|
history
)
by
Mike Shulman
at February 8, 2010 22:15:22 from 128.135.194.253
curvature
(
diff
|
history
)
by
Zoran Škoda
at February 8, 2010 20:21:19 from 161.53.130.104
pretopos
(
diff
|
history
)
by
Mike Shulman
at February 8, 2010 19:06:41 from 75.3.151.132
W-type
by
Mike Shulman
at February 8, 2010 19:02:52 from 75.3.151.132
regular epimorphism
(
diff
|
history
)
by
Urs Schreiber
at February 8, 2010 17:57:09 from 131.211.36.96
effective epimorphism
(
diff
|
history
)
by
Urs Schreiber
at February 8, 2010 17:56:35 from 131.211.36.96
sketch
(
diff
|
history
)
by
Urs Schreiber
at February 8, 2010 17:15:19 from 131.211.36.96
Kan extension
(
diff
|
history
)
by
Anonymous Coward
at February 8, 2010 00:18:34 from 76.67.18.61
February 7, 2010
hyperstructure
(
diff
|
history
)
by
Urs Schreiber
at February 7, 2010 18:20:51 from 134.100.32.208
finitely complete category
(
diff
|
history
)
by
Noam Zeilberger
?
at February 7, 2010 17:50:33 from 193.52.24.125
homotopical algebra
(
diff
|
history
)
by
Toby Bartels
at February 7, 2010 17:02:44 from 173.60.119.197
algebraic fundamental group
(
diff
|
history
)
by
Toby Bartels
at February 7, 2010 16:47:34 from 173.60.119.197
profinite group
(
diff
|
history
)
by
Toby Bartels
at February 7, 2010 16:47:15 from 173.60.119.197
profinite homotopy type
by
Tim Porter
?
at February 7, 2010 08:59:19 from 95.147.237.91
February 6, 2010
global element
(
diff
|
history
)
by
Toby Bartels
at February 6, 2010 20:18:25 from 173.60.119.197
geometric embedding
(
diff
|
history
)
by
Toby Bartels
at February 6, 2010 20:11:09 from 173.60.119.197
space
(
diff
|
history
)
by
Urs Schreiber
at February 6, 2010 13:11:56 from 134.100.32.213
Sheaves in Geometry and Logic
(
diff
|
history
)
by
Urs Schreiber
at February 6, 2010 02:23:32 from 134.100.32.213
constant sheaf
(
diff
|
history
)
by
Urs Schreiber
at February 6, 2010 01:25:19 from 134.100.32.213
commutativity of limits and colimits
(
diff
|
history
)
by
Urs Schreiber
at February 6, 2010 00:50:32 from 134.100.32.213
etale space
(
diff
|
history
)
by
Toby Bartels
at February 6, 2010 00:25:03 from 173.60.119.197
February 5, 2010
petit topos
(
diff
|
history
)
by
Urs Schreiber
at February 5, 2010 23:03:32 from 134.100.32.213
cohomology
(
diff
|
history
)
by
Urs Schreiber
at February 5, 2010 22:37:57 from 134.100.32.213
point of a locale
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 22:02:10 from 173.60.119.197
completely prime filter
by
Toby Bartels
at February 5, 2010 22:01:49 from 173.60.119.197
prime element
by
Toby Bartels
at February 5, 2010 22:01:30 from 173.60.119.197
filter
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 21:51:36 from 173.60.119.197
point
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 21:23:22 from 173.60.119.197
Stone Spaces
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 21:23:07 from 173.60.119.197
etale map
(
diff
|
history
)
by
Zoran Škoda
at February 5, 2010 21:21:30 from 161.53.130.104
Galois extension
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:44:24 from 173.60.119.197
separable field extension
(
diff
|
history
)
by
Zoran Škoda
at February 5, 2010 20:44:19 from 161.53.130.104
spectral triple
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:37:21 from 173.60.119.197
associative unital algebra
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:27:52 from 173.60.119.197
separable algebra
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:27:19 from 173.60.119.197
Como
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:22:28 from 173.60.119.197
Galois Theories
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:19:23 from 173.60.119.197
SGA1
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:17:07 from 173.60.119.197
profinite space
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:15:59 from 173.60.119.197
fundamental group of a topos
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 20:10:56 from 173.60.119.197
category over a category
(
diff
|
history
)
by
Tim Porter
at February 5, 2010 19:43:22 from 95.147.236.201
categorical Galois theory
(
diff
|
history
)
by
Zoran Škoda
at February 5, 2010 19:03:20 from 161.53.130.104
EGA
(
diff
|
history
)
by
Zoran Škoda
at February 5, 2010 18:45:56 from 161.53.130.104
Stone space
by
Tim Porter
at February 5, 2010 18:42:17 from 95.147.236.201
homotopy theory
(
diff
|
history
)
by
Urs Schreiber
at February 5, 2010 18:23:06 from 134.100.32.213
profinite completion of a group
(
diff
|
history
)
by
Tim Porter
at February 5, 2010 17:33:56 from 95.147.236.201
(infinity,n)-category of cobordisms
(
diff
|
history
)
by
David Corfield
at February 5, 2010 14:47:32 from 86.162.139.77
etale morphism
(
diff
|
history
)
by
Toby Bartels
at February 5, 2010 04:20:44 from 173.60.119.197
locally constant infinity-stack
(
diff
|
history
)
by
Urs Schreiber
at February 5, 2010 03:36:30 from 87.212.203.135
cohomology - contents
(
diff
|
history
)
by
Urs Schreiber
at February 5, 2010 00:56:40 from 87.212.203.135
local system
(
diff
|
history
)
by
Urs Schreiber
at February 5, 2010 00:54:38 from 87.212.203.135
February 4, 2010
covering space
(
diff
|
history
)
by
Urs Schreiber
at February 4, 2010 23:53:24 from 87.212.203.135
Pietro Polesello
by
Urs Schreiber
at February 4, 2010 23:32:36 from 87.212.203.135
Ingo Waschkies
by
Urs Schreiber
at February 4, 2010 23:30:48 from 87.212.203.135
infinity-group
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 22:45:33 from 173.60.119.197
locally constant ∞-stack > history
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 22:40:46 from 173.60.119.197
(n,r)-category
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 22:39:53 from 173.60.119.197
simplicial group
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 22:38:00 from 173.60.119.197
representation
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 22:27:40 from 173.60.119.197
locally constant function
(
diff
|
history
)
by
Urs Schreiber
at February 4, 2010 22:05:18 from 87.212.203.135
monodromy
by
Urs Schreiber
at February 4, 2010 21:36:37 from 87.212.203.135
D'Auria-Fre formulation of supergravity
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 20:51:47 from 173.60.119.197
Green-Schwarz mechanism
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 20:50:45 from 173.60.119.197
gauge fixing
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 20:47:54 from 173.60.119.197
category of representations
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 20:45:43 from 173.60.119.197
differential equation
(
diff
|
history
)
by
Toby Bartels
at February 4, 2010 20:43:58 from 173.60.119.197
stalk
(
diff
|
history
)
by
Urs Schreiber
at February 4, 2010 16:37:14 from 87.212.203.135
holomorph
(
diff
|
history
)
by
Tim Porter
at February 4, 2010 15:21:25 from 95.147.237.50
constant stack
by
Urs Schreiber
at February 4, 2010 15:18:59 from 87.212.203.135
constant infinity-stack
(
diff
|
history
)
by
Urs Schreiber
at February 4, 2010 15:10:33 from 87.212.203.135
derived smooth manifold
(
diff
|
history
)
by
Urs Schreiber
at February 4, 2010 11:14:59 from 87.212.203.135
February 3, 2010
Richard Williamson
by
Urs Schreiber
at February 3, 2010 23:14:51 from 87.212.203.135
internal profunctor
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 22:45:07 from 87.212.203.135
synthetic differential geometry
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 19:42:58 from 131.211.234.184
Bill Lawvere
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 18:25:55 from 131.211.234.184
higher geometry - contents
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 16:30:04 from 131.211.234.184
higher geometry
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 15:07:34 from 131.211.36.96
gravity as a BF theory
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 13:48:57 from 131.211.36.96
n-category
(
diff
|
history
)
by
Mike Shulman
at February 3, 2010 06:13:08 from 75.3.151.132
canonical morphism
(
diff
|
history
)
by
Toby Bartels
at February 3, 2010 05:20:16 from 173.60.119.197
geometry (for structured (infinity,1)-toposes)
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 00:21:48 from 87.212.203.135
smooth locus
(
diff
|
history
)
by
Urs Schreiber
at February 3, 2010 00:13:27 from 87.212.203.135
February 2, 2010
axiom of foundation
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 23:53:18 from 173.60.119.197
material-structural adjunction
(
diff
|
history
)
by
Urs Schreiber
at February 2, 2010 23:42:00 from 87.212.203.135
set theory
(
diff
|
history
)
by
Mike Shulman
at February 2, 2010 22:26:13 from 128.135.239.242
universal construction
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 22:06:08 from 173.60.119.197
Mostowski's collapsing lemma
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 21:19:13 from 173.60.119.197
size issues
by
Toby Bartels
at February 2, 2010 21:08:42 from 173.60.119.197
action
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 21:03:13 from 173.60.119.197
transitive set
(
diff
|
history
)
by
Mike Shulman
at February 2, 2010 20:58:15 from 128.135.197.49
transitive closure
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 20:40:22 from 173.60.119.197
cofibration
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 20:33:53 from 173.60.119.197
Waldhausen category
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 20:31:25 from 173.60.119.197
Gabriel-Zisman
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 20:27:08 from 173.60.119.197
Pierre Gabriel
(
diff
|
history
)
by
Zoran Škoda
at February 2, 2010 19:37:16 from 161.53.130.104
essential supremum
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 19:06:36 from 173.60.119.197
CatLab
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 17:17:30 from 173.60.119.197
simplicial C-infinity-ring
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 17:14:30 from 173.60.119.197
Jiri Vanzura
(
diff
|
history
)
by
Toby Bartels
at February 2, 2010 16:57:15 from 173.60.119.197
Peter Michor
by
Urs Schreiber
at February 2, 2010 13:17:19 from 131.211.36.96
Eduardo Dubuc
by
Urs Schreiber
at February 2, 2010 13:00:39 from 131.211.36.96
Dominic Joyce
by
Urs Schreiber
at February 2, 2010 11:58:53 from 131.211.36.96
chain complex
(
diff
|
history
)
by
joyal
at February 2, 2010 02:19:25 from 132.208.29.228
tractable model category
(
diff
|
history
)
by
Urs Schreiber
at February 2, 2010 01:14:47 from 87.212.203.135
(infinity,1)-category theory
(
diff
|
history
)
by
Urs Schreiber
at February 2, 2010 00:52:54 from 87.212.203.135
terminal object in a quasi-category
(
diff
|
history
)
by
Urs Schreiber
at February 2, 2010 00:34:00 from 87.212.203.135
February 1, 2010
Loc
by
Toby Bartels
at February 1, 2010 23:57:20 from 173.60.119.197
locale
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 23:54:32 from 173.60.119.197
subframe
by
Toby Bartels
at February 1, 2010 23:24:54 from 173.60.119.197
class function
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 22:10:45 from 173.60.119.197
Edwin Spanier
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 22:10:22 from 173.60.119.197
directed join
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 20:55:24 from 173.60.119.197
Frm
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 20:49:11 from 173.60.119.197
frame
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:59:33 from 173.60.119.197
discrete space
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:58:44 from 173.60.119.197
CompBoolAlg
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:57:10 from 173.60.119.197
CompLat
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:56:47 from 173.60.119.197
SemiLat
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:48:50 from 173.60.119.197
upper set
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:46:52 from 173.60.119.197
lower set
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:44:12 from 173.60.119.197
SupLat
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 19:32:54 from 173.60.119.197
HeytAlg
by
Toby Bartels
at February 1, 2010 18:53:37 from 173.60.119.197
ultrafilter
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 17:39:34 from 173.60.119.197
universal property > history
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 17:34:35 from 173.60.119.197
ultraproduct
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 17:32:57 from 173.60.119.197
terminal object
(
diff
|
history
)
by
Urs Schreiber
at February 1, 2010 17:30:36 from 131.211.36.96
finite set
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 17:22:30 from 173.60.119.197
weak multilimit
(
diff
|
history
)
by
Toby Bartels
at February 1, 2010 17:03:05 from 173.60.119.197
Segal category
(
diff
|
history
)
by
Urs Schreiber
at February 1, 2010 15:22:17 from 131.211.36.96
semi-strict infinity-category
(
diff
|
history
)
by
Urs Schreiber
at February 1, 2010 14:49:28 from 131.211.36.96
semifree dga
(
diff
|
history
)
by
Zoran Škoda
at February 1, 2010 14:46:41 from 161.53.130.104
general linear group
(
diff
|
history
)
by
Urs Schreiber
at February 1, 2010 12:51:20 from 131.211.36.96
January 31, 2010
discrete category
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 23:22:48 from 173.60.119.197
motives and dg-categories
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 23:03:55 from 173.60.119.197
open map
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 19:40:19 from 173.60.119.197
inverse image
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 18:53:21 from 173.60.119.197
complete Boolean algebra
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 18:05:40 from 173.60.119.197
truth value
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 17:41:22 from 173.60.119.197
suplattice
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 17:40:36 from 173.60.119.197
Topological Quantum Field Theories from Compact Lie Groups
(
diff
|
history
)
by
Domenico Fiorenza
at January 31, 2010 10:45:47 from 87.21.226.8
power set
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 06:17:54 from 173.60.119.197
BoolAlg
by
Toby Bartels
at January 31, 2010 06:08:54 from 173.60.119.197
Boolean algebra
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 06:05:00 from 173.60.119.197
distributive lattice
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 06:04:37 from 173.60.119.197
complete lattice
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 06:03:16 from 173.60.119.197
DistLat
by
Toby Bartels
at January 31, 2010 05:37:07 from 173.60.119.197
Lat
by
Toby Bartels
at January 31, 2010 05:18:39 from 173.60.119.197
lattice
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 04:57:52 from 173.60.119.197
singleton
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 04:05:32 from 173.60.119.197
complement
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 03:57:24 from 173.60.119.197
wide subcategory
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 03:49:05 from 173.60.119.197
replete subcategory
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 03:48:36 from 173.60.119.197
subcategory
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 03:45:16 from 173.60.119.197
semilattice
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 03:35:29 from 173.60.119.197
combinatorial spectrum
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 01:41:44 from 173.60.119.197
preserved limit
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 00:50:22 from 173.60.119.197
presheaf
(
diff
|
history
)
by
Toby Bartels
at January 31, 2010 00:44:56 from 173.60.119.197
January 30, 2010
direction
(
diff
|
history
)
by
Toby Bartels
at January 30, 2010 17:41:53 from 173.60.119.197
interval object
(
diff
|
history
)
by
Urs Schreiber
at January 30, 2010 00:23:22 from 134.100.32.213
January 29, 2010
vertical categorification
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 23:48:39 from 173.60.119.197
directed colimit
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 23:47:25 from 173.60.119.197
equivariant homotopy theory
(
diff
|
history
)
by
Urs Schreiber
at January 29, 2010 20:53:33 from 134.100.32.213
Lie algebra cohomology
(
diff
|
history
)
by
John Baez
at January 29, 2010 20:39:21 from 99.11.157.15
totally convex space
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 16:52:39 from 173.60.119.197
subobject
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 16:50:51 from 173.60.119.197
comma category
(
diff
|
history
)
by
Noam Zeilberger
?
at January 29, 2010 14:41:37 from 128.93.62.106
permutation
by
Toby Bartels
at January 29, 2010 13:57:55 from 173.60.119.197
zero morphism
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 13:24:23 from 173.60.119.197
algebraic theories in functional analysis
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 13:10:03 from 173.60.119.197
monadicity theorem
(
diff
|
history
)
by
Andrew Stacey
at January 29, 2010 11:32:16 from 129.241.15.70
cycle category
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 01:09:45 from 169.235.38.121
category of cycles > history
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 00:54:33 from 169.235.38.121
cyclic cohomology
(
diff
|
history
)
by
Toby Bartels
at January 29, 2010 00:25:06 from 169.235.38.121
January 28, 2010
Higgs bundle
(
diff
|
history
)
by
Urs Schreiber
at January 28, 2010 23:11:05 from 92.237.184.194
sober space
(
diff
|
history
)
by
Mike Shulman
at January 28, 2010 22:54:02 from 128.135.197.48
Galois connection
(
diff
|
history
)
by
Mike Shulman
at January 28, 2010 22:53:50 from 128.135.197.48
full image
(
diff
|
history
)
by
Mike Shulman
at January 28, 2010 22:53:28 from 128.135.197.48
topological infinity-groupoid
(
diff
|
history
)
by
David Roberts
at January 28, 2010 22:35:18 from 203.24.207.218
equivariant stable homotopy theory
(
diff
|
history
)
by
Urs Schreiber
at January 28, 2010 20:06:40 from 92.237.184.59
Bert Guillou
(
diff
|
history
)
by
Toby Bartels
at January 28, 2010 19:25:47 from 173.60.119.197
physics
(
diff
|
history
)
by
Toby Bartels
at January 28, 2010 19:15:45 from 173.60.119.197
Bredon cohomology
(
diff
|
history
)
by
Urs Schreiber
at January 28, 2010 18:25:27 from 92.237.184.59
January 27, 2010
A Survey of Elliptic Cohomology
(
diff
|
history
)
by
Ryan Grady
at January 27, 2010 23:10:15 from 129.74.109.89
dendroidal set
(
diff
|
history
)
by
Thomas Nikolaus
at January 27, 2010 22:40:45 from 213.39.143.173
supergravity Lie 3-algebra
(
diff
|
history
)
by
John Huerta
at January 27, 2010 22:23:34 from 169.235.45.64
hyperplane section theorem
(
diff
|
history
)
by
Toby Bartels
at January 27, 2010 22:10:15 from 173.60.119.197
geometry
(
diff
|
history
)
by
Zoran Škoda
at January 27, 2010 21:03:03 from 161.53.130.104
model structure on simplicial sets
(
diff
|
history
)
by
Anonymous Coward
at January 27, 2010 19:32:28 from 213.39.131.196
classifying topos
(
diff
|
history
)
by
Toby Bartels
at January 27, 2010 19:09:42 from 173.60.119.197
higher category theory and physics
(
diff
|
history
)
by
Toby Bartels
at January 27, 2010 19:02:40 from 173.60.119.197
idempotent complete (infinity,1)-category
(
diff
|
history
)
by
Toby Bartels
at January 27, 2010 18:58:14 from 173.60.119.197
locally ringed space
(
diff
|
history
)
by
Toby Bartels
at January 27, 2010 18:54:28 from 173.60.119.197
quasicompact
(
diff
|
history
)
by
Toby Bartels
at January 27, 2010 18:42:54 from 173.60.119.197
structured (infinity,1)-topos
(
diff
|
history
)
by
Urs Schreiber
at January 27, 2010 18:04:06 from 92.237.184.59
Constantin Teleman
(
diff
|
history
)
by
Urs Schreiber
at January 27, 2010 17:25:40 from 92.237.184.59
Mike Hopkins
(
diff
|
history
)
by
Urs Schreiber
at January 27, 2010 17:25:00 from 92.237.184.59
Dan Freed
(
diff
|
history
)
by
Urs Schreiber
at January 27, 2010 17:24:03 from 92.237.184.59
category algebra
(
diff
|
history
)
by
Urs Schreiber
at January 27, 2010 14:46:27 from 92.237.184.59
flat functor
(
diff
|
history
)
by
Urs Schreiber
at January 27, 2010 10:21:55 from 82.113.106.5
January 26, 2010
Anna Marie Bohmann
by
Urs Schreiber
at January 26, 2010 22:08:37 from 92.237.184.194
Urs Schreiber
(
diff
|
history
)
by
Urs Schreiber
at January 26, 2010 22:02:05 from 92.237.184.194
test category
(
diff
|
history
)
by
Zoran Škoda
at January 26, 2010 20:44:00 from 161.53.130.104
Branislav Jurco
(
diff
|
history
)
by
Zoran Škoda
at January 26, 2010 19:09:45 from 161.53.130.104
simplicial de Rham complex
(
diff
|
history
)
by
Toby Bartels
at January 26, 2010 19:01:40 from 173.60.119.197
higher category theory
(
diff
|
history
)
by
Tim van Beek
at January 26, 2010 17:28:17 from 192.76.162.8
Andrew Stacey
(
diff
|
history
)
by
Andrew Stacey
at January 26, 2010 09:13:03 from 80.203.115.53
January 25, 2010
Kan fibrant replacement
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 21:55:55 from 173.60.119.197
dinatural transformation
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 20:45:31 from 173.60.119.197
complicial
(
diff
|
history
)
by
Zoran Škoda
at January 25, 2010 19:17:06 from 161.53.130.104
David Nadler
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 18:37:33 from 173.60.119.197
smooth loop space
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 18:33:42 from 173.60.119.197
BrownAHT
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 18:32:05 from 173.60.119.197
Poincare group
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 18:15:39 from 173.60.119.197
A Survey of Elliptic Cohomology - A-equivariant cohomology
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 16:57:53 from 173.60.119.197
equivariant cohomology
(
diff
|
history
)
by
Toby Bartels
at January 25, 2010 16:57:34 from 173.60.119.197
generalized continuity
(
diff
|
history
)
by
Victor Porton
at January 25, 2010 16:31:49 from 87.68.244.37
partially ordered dagger category
(
diff
|
history
)
by
Victor Porton
at January 25, 2010 16:31:16 from 87.68.244.37
Homotopy Theory of Higher Categories
(
diff
|
history
)
by
Zoran Škoda
at January 25, 2010 11:01:19 from 161.53.130.104
David Roberts
(
diff
|
history
)
by
David Roberts
at January 25, 2010 03:59:06 from 203.24.207.174
January 24, 2010
Brooke Shipley
by
Urs Schreiber
at January 24, 2010 22:49:57 from 92.237.184.194
monoidal Dold-Kan correspondence
(
diff
|
history
)
by
Urs Schreiber
at January 24, 2010 22:48:46 from 92.237.184.194
Stefan Schwede
by
Urs Schreiber
at January 24, 2010 22:45:49 from 92.237.184.194
stable model category
(
diff
|
history
)
by
Urs Schreiber
at January 24, 2010 22:42:56 from 92.237.184.194
ZFC
(
diff
|
history
)
by
Urs Schreiber
at January 24, 2010 20:19:53 from 92.237.184.194
nonstandard analysis
(
diff
|
history
)
by
Mike Shulman
at January 24, 2010 05:20:24 from 75.3.151.132
multiplicative cohomology theory
(
diff
|
history
)
by
Urs Schreiber
at January 24, 2010 01:40:20 from 82.113.121.3
January 23, 2010
Carlos Simpson
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 21:54:42 from 92.237.184.59
geometric infinity-function theory
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 19:25:30 from 92.237.184.59
chain homology and cohomology
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 19:00:50 from 92.237.184.59
algebra in an (infinity,1)-category
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 18:53:53 from 92.237.184.59
Hochschild-Kostant-Rosenberg theorem
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 18:49:14 from 92.237.184.59
module over a monad
(
diff
|
history
)
by
Finn Lawler
at January 23, 2010 01:29:15 from 86.44.201.251
ananatural transformation
(
diff
|
history
)
by
Toby Bartels
at January 23, 2010 00:45:47 from 173.60.119.197
inverse
(
diff
|
history
)
by
Toby Bartels
at January 23, 2010 00:42:33 from 173.60.119.197
Konrad Waldorf
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 00:19:13 from 92.237.184.194
relative cohomology
(
diff
|
history
)
by
Urs Schreiber
at January 23, 2010 00:13:22 from 92.237.184.194
generalized the
(
diff
|
history
)
by
Toby Bartels
at January 23, 2010 00:12:43 from 173.60.119.197
January 22, 2010
Fréchet space
by
Toby Bartels
at January 22, 2010 23:36:23 from 173.60.119.197
Diff
(
diff
|
history
)
by
Toby Bartels
at January 22, 2010 23:34:12 from 173.60.119.197
BPS state
(
diff
|
history
)
by
Toby Bartels
at January 22, 2010 23:02:21 from 173.60.119.197
Fréchet manifold
(
diff
|
history
)
by
Toby Bartels
at January 22, 2010 22:54:00 from 173.60.119.197
loop space object
(
diff
|
history
)
by
Urs Schreiber
at January 22, 2010 22:06:06 from 92.237.184.194
Valery Lunts
by
Zoran Škoda
at January 22, 2010 17:53:20 from 161.53.130.104
Dmitri Orlov
(
diff
|
history
)
by
Zoran Škoda
at January 22, 2010 17:38:29 from 161.53.130.104
hypersimplex
(
diff
|
history
)
by
Toby Bartels
at January 22, 2010 17:20:40 from 173.60.119.197
strict category
(
diff
|
history
)
by
Toby Bartels
at January 22, 2010 16:34:22 from 173.60.119.197
barycenter
by
Zoran Škoda
at January 22, 2010 15:59:48 from 161.53.130.104
Georges Maltsiniotis
(
diff
|
history
)
by
Zoran Škoda
at January 22, 2010 15:47:00 from 161.53.130.104
local isomorphism
(
diff
|
history
)
by
Anonymous Coward
at January 22, 2010 14:49:10 from 76.67.18.61
January 21, 2010
Ivan Mirkovic
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 21:30:04 from 173.60.119.197
principal infinity-bundle
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 21:06:31 from 173.60.119.197
geometric representation theory
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 20:38:22 from 173.60.119.197
BBDG decomposition theorem
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 20:37:16 from 173.60.119.197
Alexandre Kirillov
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 20:30:04 from 173.60.119.197
constant function
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 20:21:43 from 173.60.119.197
Victor Ginzburg
(
diff
|
history
)
by
Zoran Škoda
at January 21, 2010 20:06:00 from 161.53.130.104
Chow group
(
diff
|
history
)
by
Zoran Škoda
at January 21, 2010 19:18:01 from 161.53.130.104
stable homotopy theory
(
diff
|
history
)
by
Urs Schreiber
at January 21, 2010 17:22:26 from 92.237.184.59
triangulated category
(
diff
|
history
)
by
Urs Schreiber
at January 21, 2010 17:10:33 from 92.237.184.59
Neil Strickland
by
Urs Schreiber
at January 21, 2010 17:07:53 from 92.237.184.59
representation theory
(
diff
|
history
)
by
Zoran Škoda
at January 21, 2010 17:03:32 from 161.53.130.104
Ofer Gabber
by
Zoran Škoda
at January 21, 2010 16:42:46 from 161.53.130.104
simplicial weak omega-category
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:47:18 from 173.60.119.197
quasicoherent sheaf
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:47:10 from 173.60.119.197
n-fibration
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:47:03 from 173.60.119.197
ind-object
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:46:49 from 173.60.119.197
delooping
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:46:38 from 173.60.119.197
category of generalized elements
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:46:31 from 173.60.119.197
bicategory of fractions
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:46:24 from 173.60.119.197
2-vector space
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:46:12 from 173.60.119.197
2-category of 2-dimensional cobordisms
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:46:06 from 173.60.119.197
(2,1)-dimensional Euclidean field theory
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:45:55 from 173.60.119.197
hypergeometric function
(
diff
|
history
)
by
Zoran Škoda
at January 21, 2010 14:34:23 from 161.53.130.104
Andrei Zelevinsky
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 14:22:35 from 173.60.119.197
Volodymyr Lyubashenko
(
diff
|
history
)
by
Toby Bartels
at January 21, 2010 12:16:08 from 173.60.119.197
Hurewicz fibration
(
diff
|
history
)
by
Zoran Škoda
at January 21, 2010 10:35:47 from 161.53.130.104
Nisnevich site
(
diff
|
history
)
by
Urs Schreiber
at January 21, 2010 00:17:46 from 92.237.184.194
A1-homotopy theory
(
diff
|
history
)
by
Urs Schreiber
at January 21, 2010 00:12:52 from 92.237.184.194
Eric Friedlander
by
Urs Schreiber
at January 21, 2010 00:04:15 from 92.237.184.194
January 20, 2010
Chris Schommer-Pries
(
diff
|
history
)
by
Urs Schreiber
at January 20, 2010 23:53:52 from 92.237.184.194
homotopy localization
(
diff
|
history
)
by
Urs Schreiber
at January 20, 2010 23:41:41 from 92.237.184.194
momentum
(
diff
|
history
)
by
Toby Bartels
at January 20, 2010 22:58:07 from 173.60.119.197
cellular approximation theorem
(
diff
|
history
)
by
Toby Bartels
at January 20, 2010 16:44:33 from 173.60.119.197
spectrum object
(
diff
|
history
)
by
Toby Bartels
at January 20, 2010 16:42:38 from 173.60.119.197
CW approximation
(
diff
|
history
)
by
Toby Bartels
at January 20, 2010 16:36:02 from 173.60.119.197
complex cobordism cohomology theory
(
diff
|
history
)
by
Zoran Škoda
at January 20, 2010 13:53:14 from 161.53.130.104
mathematics
(
diff
|
history
)
by
Andrew Stacey
at January 20, 2010 10:00:42 from 129.241.15.70
January 19, 2010
John Greenlees
by
Urs Schreiber
at January 19, 2010 22:48:33 from 92.237.184.194
orbit category
(
diff
|
history
)
by
Urs Schreiber
at January 19, 2010 22:43:14 from 92.237.184.194
subgroup
by
Urs Schreiber
at January 19, 2010 22:37:51 from 92.237.184.194
coordinate-free spectrum
(
diff
|
history
)
by
Urs Schreiber
at January 19, 2010 22:14:52 from 92.237.184.194
homological algebra
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 20:08:03 from 173.60.119.197
Stable Infinity-Categories
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 20:04:52 from 173.60.119.197
CW complex
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 18:34:27 from 173.60.119.197
Ek-Algebras
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 18:30:01 from 173.60.119.197
multilimit
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 18:28:31 from 173.60.119.197
monad
(
diff
|
history
)
by
Urs Schreiber
at January 19, 2010 18:14:50 from 92.237.184.59
Jacobian conjecture
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 18:12:37 from 173.60.119.197
John Francis
(
diff
|
history
)
by
Zoran Škoda
at January 19, 2010 13:48:58 from 161.53.130.104
spectrum
(
diff
|
history
)
by
Urs Schreiber
at January 19, 2010 12:13:42 from 92.237.184.59
module
(
diff
|
history
)
by
Urs Schreiber
at January 19, 2010 09:58:39 from 92.237.184.59
internal category
(
diff
|
history
)
by
Toby Bartels
at January 19, 2010 06:23:30 from 173.60.119.197
January 18, 2010
Serre-Swan theorem
(
diff
|
history
)
by
Toby Bartels
at January 18, 2010 22:07:21 from 173.60.119.197
quasicoherent ∞-stack > history
(
diff
|
history
)
by
Toby Bartels
at January 18, 2010 22:04:47 from 173.60.119.197
foliation
by
Zoran Škoda
at January 18, 2010 20:36:01 from 161.53.130.104
Janez Mrčun
(
diff
|
history
)
by
Zoran Škoda
at January 18, 2010 19:25:28 from 161.53.130.104
integrable distribution
by
Zoran Škoda
at January 18, 2010 19:08:54 from 161.53.130.104
logical functor
(
diff
|
history
)
by
Toby Bartels
at January 18, 2010 18:43:04 from 173.60.119.197
Heyting category
(
diff
|
history
)
by
Mike Shulman
at January 18, 2010 18:26:00 from 75.3.151.132
quasicoherent infinity-stack
by
Urs Schreiber
at January 18, 2010 18:07:37 from 92.237.184.59
Romie Banerjee
(
diff
|
history
)
by
Toby Bartels
at January 18, 2010 17:15:09 from 173.60.119.197
essentially algebraic theory
(
diff
|
history
)
by
Toby Bartels
at January 18, 2010 17:07:45 from 173.60.119.197
Gabriele Vezzosi
by
Urs Schreiber
at January 18, 2010 16:36:45 from 92.237.184.59
David Spivak
by
Urs Schreiber
at January 18, 2010 16:33:31 from 92.237.184.59
Ieke Moerdijk
(
diff
|
history
)
by
Zoran Škoda
at January 18, 2010 13:26:45 from 161.53.130.104
geometric theory
(
diff
|
history
)
by
Urs Schreiber
at January 18, 2010 11:31:38 from 134.100.32.213
theory
by
Urs Schreiber
at January 18, 2010 11:22:31 from 134.100.32.213
Lawvere theory
(
diff
|
history
)
by
Urs Schreiber
at January 18, 2010 11:18:39 from 134.100.32.213
algebraic theory
(
diff
|
history
)
by
Urs Schreiber
at January 18, 2010 11:14:31 from 134.100.32.213
categorytheorycontents
by
Eric Forgy
at January 18, 2010 01:01:38 from 220.241.233.67
January 17, 2010
smooth natural numbers
(
diff
|
history
)
by
Toby Bartels
at January 17, 2010 19:12:01 from 173.60.119.197
lab elf
(
diff
|
history
)
by
Toby Bartels
at January 17, 2010 02:29:00 from 173.60.119.197
Banach space
(
diff
|
history
)
by
Toby Bartels
at January 17, 2010 02:24:12 from 173.60.119.197
infinitesimal number
(
diff
|
history
)
by
Toby Bartels
at January 17, 2010 02:02:38 from 173.60.119.197
doctrine
(
diff
|
history
)
by
Toby Bartels
at January 17, 2010 01:42:42 from 173.60.119.197
January 16, 2010
Bousfield localization of model categories
(
diff
|
history
)
by
Toby Bartels
at January 16, 2010 19:05:35 from 173.60.119.197
Dwyer-Kan localisation > history
(
diff
|
history
)
by
Toby Bartels
at January 16, 2010 18:58:19 from 173.60.119.197
nilpotent element
(
diff
|
history
)
by
Mike Shulman
at January 16, 2010 18:05:13 from 75.3.151.132
model structure on homotopical presheaves
(
diff
|
history
)
by
Urs Schreiber
at January 16, 2010 15:37:07 from 134.100.32.208
Deligne cohomology
(
diff
|
history
)
by
Urs Schreiber
at January 16, 2010 14:24:35 from 134.100.32.31
category
(
diff
|
history
)
by
Urs Schreiber
at January 16, 2010 13:43:28 from 134.100.32.31
Vaughan Pratt
(
diff
|
history
)
by
Urs Schreiber
at January 16, 2010 09:35:39 from 134.100.32.31
pure set
(
diff
|
history
)
by
Toby Bartels
at January 16, 2010 08:06:27 from 173.60.119.197
Eric Forgy
(
diff
|
history
)
by
lab elf
at January 16, 2010 04:27:59 from 119.247.164.4
January 15, 2010
punny title
(
diff
|
history
)
by
Toby Bartels
at January 15, 2010 21:55:19 from 173.60.119.197
derived algebraic geometry
(
diff
|
history
)
by
Zoran Škoda
at January 15, 2010 20:58:34 from 193.198.162.13
monadic descent
(
diff
|
history
)
by
Urs Schreiber
at January 15, 2010 20:46:07 from 134.100.32.213
topological K-theory
(
diff
|
history
)
by
Urs Schreiber
at January 15, 2010 20:39:55 from 134.100.32.213
sequence
(
diff
|
history
)
by
Toby Bartels
at January 15, 2010 20:35:25 from 173.60.119.197
Lie infinity-groupoid
(
diff
|
history
)
by
Toby Bartels
at January 15, 2010 18:05:13 from 173.60.119.197
colimit
(
diff
|
history
)
by
David Corfield
at January 15, 2010 17:50:46 from 86.150.110.25
January 14, 2010
intuitionistic logic
(
diff
|
history
)
by
Mike Shulman
at January 14, 2010 21:48:52 from 128.135.197.92
configuration scheme
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 21:05:35 from 169.235.55.112
noncommutative thin scheme
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 21:04:07 from 169.235.55.112
bounded operator
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 21:02:22 from 169.235.55.112
reflexive Banach space
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 21:00:03 from 169.235.55.112
multi-valued function
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:56:05 from 169.235.55.112
perfect Morse function
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:55:37 from 169.235.55.112
Morse theory
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:54:31 from 169.235.55.112
relatively compact subspace
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:51:31 from 169.235.55.112
compact operator
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:49:42 from 169.235.55.112
Lebesgue space
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:46:32 from 169.235.55.112
Sobolev space
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:43:54 from 169.235.55.112
fundamental solution
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 20:41:29 from 169.235.55.112
functional analysis
(
diff
|
history
)
by
Zoran Škoda
at January 14, 2010 20:32:32 from 193.198.162.13
analysis
(
diff
|
history
)
by
Zoran Škoda
at January 14, 2010 20:31:26 from 193.198.162.13
urelement
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 18:54:16 from 173.60.119.197
coherent logic
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 18:31:29 from 173.60.119.197
Morse function
(
diff
|
history
)
by
Zoran Škoda
at January 14, 2010 18:27:33 from 193.198.162.13
Raoul Bott
(
diff
|
history
)
by
Zoran Škoda
at January 14, 2010 18:13:34 from 193.198.162.13
Paul Bressler
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 18:07:15 from 173.60.119.197
left adjoint
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 18:05:28 from 173.60.119.197
relative scheme > history
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 17:29:03 from 173.60.119.197
oriental > Delta2
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 10:05:28 from 129.241.15.70
oriental
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 10:03:07 from 129.241.15.70
monoidal category
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:49:17 from 129.241.15.70
induced representation
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:44:09 from 129.241.15.70
differential graded Lie algebra
(
diff
|
history
)
by
Urs Schreiber
at January 14, 2010 09:40:00 from 82.113.121.194
generalized smooth space
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:38:15 from 129.241.15.70
comma object
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:35:18 from 129.241.15.70
associahedron
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:31:19 from 129.241.15.70
adjunction > zigzagepsilon
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:28:18 from 129.241.15.70
adjunction > zigzageta
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:27:31 from 129.241.15.70
triangle identities
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:23:41 from 129.241.15.70
adjunction
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:21:19 from 129.241.15.70
pentagon decagon hexagon identity
(
diff
|
history
)
by
Andrew Stacey
at January 14, 2010 09:19:11 from 129.241.15.70
coherent category
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 06:18:27 from 173.60.119.197
bottom
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 06:17:32 from 173.60.119.197
coherent formula
(
diff
|
history
)
by
Mike Shulman
at January 14, 2010 05:58:50 from 75.3.151.132
L-infinity-algebra
(
diff
|
history
)
by
Toby Bartels
at January 14, 2010 00:17:16 from 173.60.119.197
January 13, 2010
internal category in a monoidal category
(
diff
|
history
)
by
David Roberts
at January 13, 2010 23:43:27 from 203.24.207.95
scheme as a locally affine structured (infinity,1)-topos
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 17:55:25 from 173.60.119.197
scheme
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 17:48:50 from 173.60.119.197
relative point of view
by
Toby Bartels
at January 13, 2010 17:26:47 from 173.60.119.197
relative scheme
by
Toby Bartels
at January 13, 2010 17:24:32 from 173.60.119.197
group
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 17:19:51 from 173.60.119.197
flat morphism
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 17:01:40 from 173.60.119.197
function set
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 13:49:51 from 173.60.119.197
internal set
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 13:49:46 from 173.60.119.197
internal infinity-groupoid
(
diff
|
history
)
by
Urs Schreiber
at January 13, 2010 10:24:54 from 82.113.106.228
conformal field theory
(
diff
|
history
)
by
Urs Schreiber
at January 13, 2010 09:20:41 from 82.113.106.7
Ingo Runkel
by
Urs Schreiber
at January 13, 2010 09:18:54 from 82.113.106.7
Liang Kong
by
Urs Schreiber
at January 13, 2010 09:17:24 from 82.113.106.7
preset
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 01:11:28 from 173.60.119.197
inhabited object
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 00:59:31 from 173.60.119.197
Sophus Lie
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 00:49:00 from 173.60.119.197
Henri Cartan
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 00:48:18 from 173.60.119.197
Claudio Hermida
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 00:40:29 from 173.60.119.197
(infinity,1)-monad
(
diff
|
history
)
by
Toby Bartels
at January 13, 2010 00:37:22 from 173.60.119.197
January 12, 2010
Ho(Cat)
(
diff
|
history
)
by
Toby Bartels
at January 12, 2010 23:22:08 from 173.60.119.197
potential theory
by
Zoran Škoda
at January 12, 2010 22:46:37 from 93.136.30.142
Thomason model structure
(
diff
|
history
)
by
David Roberts
at January 12, 2010 22:43:45 from 203.24.207.195
fine sheaf
(
diff
|
history
)
by
Zoran Škoda
at January 12, 2010 19:05:56 from 193.198.162.13
Verdier's abelianization functor
by
Zoran Škoda
at January 12, 2010 17:19:51 from 193.198.162.13
higher monadic descent
(
diff
|
history
)
by
Zoran Škoda
at January 12, 2010 17:16:04 from 193.198.162.13
local Lie group
by
Zoran Škoda
at January 12, 2010 16:58:16 from 193.198.162.13
Lie group
(
diff
|
history
)
by
Zoran Škoda
at January 12, 2010 16:52:50 from 193.198.162.13
Timeline of category theory and related mathematics
(
diff
|
history
)
by
Zoran Škoda
at January 12, 2010 16:36:21 from 193.198.162.13
Kathryn Hess
(
diff
|
history
)
by
Zoran Škoda
at January 12, 2010 16:16:07 from 193.198.162.13
2-monad
(
diff
|
history
)
by
Zoran Škoda
at January 12, 2010 16:04:26 from 193.198.162.13
germ
(
diff
|
history
)
by
Urs Schreiber
at January 12, 2010 15:30:16 from 87.212.203.135
synthetic differential geometry - contents
(
diff
|
history
)
by
Urs Schreiber
at January 12, 2010 11:31:39 from 87.212.203.135
January 11, 2010
nonabelian groupoid cohomology
(
diff
|
history
)
by
David Roberts
at January 11, 2010 23:45:35 from 203.24.207.198
Pavol Severa
(
diff
|
history
)
by
Urs Schreiber
at January 11, 2010 21:11:21 from 87.212.203.135
groupoid cohomology
(
diff
|
history
)
by
Urs Schreiber
at January 11, 2010 21:00:23 from 87.212.203.135
cohomology of a category
by
Urs Schreiber
at January 11, 2010 20:56:35 from 87.212.203.135
arithmetic geometry
by
Zoran Škoda
at January 11, 2010 19:43:04 from 193.198.162.13
Mikhail Kapranov
(
diff
|
history
)
by
Zoran Škoda
at January 11, 2010 19:15:41 from 193.198.162.13
dual number
(
diff
|
history
)
by
Urs Schreiber
at January 11, 2010 18:24:14 from 87.212.203.135
noncommutative geometry
(
diff
|
history
)
by
Zoran Škoda
at January 11, 2010 17:30:04 from 193.198.162.13
accessible category
(
diff
|
history
)
by
Mike Shulman
at January 11, 2010 16:42:20 from 75.3.151.132
Karoubi envelope
(
diff
|
history
)
by
Mike Shulman
at January 11, 2010 16:38:48 from 75.3.151.132
combinatorial model category
(
diff
|
history
)
by
Claire Tomesch
at January 11, 2010 16:32:51 from 128.135.197.51
nonabelian cohomology
(
diff
|
history
)
by
David Corfield
at January 11, 2010 14:35:46 from 129.12.18.72
cocycle
(
diff
|
history
)
by
Urs Schreiber
at January 11, 2010 13:40:13 from 87.212.203.135
January 10, 2010
Whitehead tower
(
diff
|
history
)
by
David Roberts
at January 10, 2010 22:47:31 from 203.24.207.209
Herman Stel
(
diff
|
history
)
by
Toby Bartels
at January 10, 2010 17:43:12 from 173.60.119.197
2-group
(
diff
|
history
)
by
domenico_fiorenza
at January 10, 2010 11:24:59 from 62.211.203.91
string 2-group
(
diff
|
history
)
by
domenico_fiorenza
at January 10, 2010 08:47:32 from 62.211.203.91
January 9, 2010
free functor
(
diff
|
history
)
by
Toby Bartels
at January 9, 2010 13:24:53 from 173.60.119.197
free construction > history
(
diff
|
history
)
by
Toby Bartels
at January 9, 2010 13:23:46 from 173.60.119.197
January 8, 2010
Verity on descent for strict omega-groupoid valued presheaves
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 21:59:00 from 82.113.121.224
proper model category
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 20:53:11 from 82.113.106.227
John Huerta
(
diff
|
history
)
by
John Huerta
at January 8, 2010 20:24:08 from 169.235.34.100
free module
by
Urs Schreiber
at January 8, 2010 18:17:09 from 88.128.88.193
coherent module
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 17:30:04 from 88.128.88.193
(infinity,2)-category
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 15:22:33 from 212.23.128.235
(infinity,2)-Categories and the Goodwillie Calculus
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 14:55:48 from 212.23.128.235
codomain fibration
(
diff
|
history
)
by
Mike Shulman
at January 8, 2010 10:53:17 from 12.50.194.194
natural weak factorization system
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 10:27:58 from 88.128.94.203
Eilenberg-Mac Lane space
(
diff
|
history
)
by
Urs Schreiber
at January 8, 2010 10:25:41 from 88.128.94.203
domain opfibration
(
diff
|
history
)
by
Mike Shulman
at January 8, 2010 03:38:42 from 12.50.194.194
Eilenberg-Mac Lane space > history
(
diff
|
history
)
by
Toby Bartels
at January 8, 2010 00:33:32 from 173.60.119.197
Eilenberg-Mac Lane object
(
diff
|
history
)
by
Toby Bartels
at January 8, 2010 00:30:14 from 173.60.119.197
January 7, 2010
biproduct
(
diff
|
history
)
by
Toby Bartels
at January 7, 2010 23:57:46 from 173.60.119.197
choice operator
(
diff
|
history
)
by
Toby Bartels
at January 7, 2010 23:54:05 from 173.60.119.197
Toby Bartels
(
diff
|
history
)
by
Toby Bartels
at January 7, 2010 23:22:50 from 173.60.119.197
locally affine space
(
diff
|
history
)
by
Zoran Škoda
at January 7, 2010 22:25:32 from 193.198.162.13
Lambda-ring
(
diff
|
history
)
by
Zoran Škoda
at January 7, 2010 19:56:23 from 193.198.162.13
gebra theory
(
diff
|
history
)
by
Zoran Škoda
at January 7, 2010 18:16:53 from 193.198.162.13
James Simons
by
Urs Schreiber
at January 7, 2010 17:30:08 from 80.187.216.56
Benabou-Roubaud theorem
(
diff
|
history
)
by
Zoran Škoda
at January 7, 2010 17:29:37 from 193.198.162.13
Simons-Sullivan structured bundle
(
diff
|
history
)
by
Urs Schreiber
at January 7, 2010 17:29:27 from 80.187.216.56
standard Courant algebroid
(
diff
|
history
)
by
Urs Schreiber
at January 7, 2010 17:23:53 from 80.187.216.56
monadic cohomology
by
Zoran Škoda
at January 7, 2010 16:50:59 from 193.198.162.13
cograph of a profunctor
(
diff
|
history
)
by
Mike Shulman
at January 7, 2010 15:53:21 from 75.3.151.132
Yan Soibelman
(
diff
|
history
)
by
Urs Schreiber
at January 7, 2010 15:25:10 from 80.187.216.56
differential cohomology
(
diff
|
history
)
by
Urs Schreiber
at January 7, 2010 14:57:02 from 80.187.216.56
Quadratic Functions in Geometry, Topology,and M-Theory
by
Urs Schreiber
at January 7, 2010 14:56:11 from 80.187.216.56
field strength
(
diff
|
history
)
by
Urs Schreiber
at January 7, 2010 14:03:57 from 80.187.216.56
groupoid of Lie-algebra valued forms
(
diff
|
history
)
by
Urs Schreiber
at January 7, 2010 13:48:40 from 80.187.216.56
SEAR plus epsilon
(
diff
|
history
)
by
Andrew Stacey
at January 7, 2010 10:05:33 from 129.241.15.70
distributive category
(
diff
|
history
)
by
Mike Shulman
at January 7, 2010 05:05:41 from 75.3.151.132
January 6, 2010
Hvedri Inassaridze
(
diff
|
history
)
by
Toby Bartels
at January 6, 2010 22:07:07 from 173.60.119.197
George Janelidze
(
diff
|
history
)
by
Toby Bartels
at January 6, 2010 22:03:34 from 173.60.119.197
under category
(
diff
|
history
)
by
Toby Bartels
at January 6, 2010 22:00:32 from 173.60.119.197
model category
(
diff
|
history
)
by
Zoran Škoda
at January 6, 2010 19:40:35 from 193.198.162.13
quasi-finite CW-complex
by
Zoran Škoda
at January 6, 2010 19:12:24 from 193.198.162.13
Courant algebroid
(
diff
|
history
)
by
Maarten Bergvelt
at January 6, 2010 18:47:42 from 130.126.37.182
n-symplectic manifold
(
diff
|
history
)
by
Maarten Bergvelt
at January 6, 2010 18:41:33 from 130.126.37.182
cograph of a functor
(
diff
|
history
)
by
Mike Shulman
at January 6, 2010 17:23:27 from 128.135.194.7
2-category equipped with proarrows
(
diff
|
history
)
by
Mike Shulman
at January 6, 2010 17:22:24 from 128.135.194.7
2-limit
(
diff
|
history
)
by
Mike Shulman
at January 6, 2010 17:12:23 from 128.135.194.7
Chern-Simons gerbe
by
Urs Schreiber
at January 6, 2010 16:59:17 from 88.128.80.238
lifting gerbe
(
diff
|
history
)
by
Urs Schreiber
at January 6, 2010 16:58:11 from 88.128.80.238
connection on a bundle
(
diff
|
history
)
by
Urs Schreiber
at January 6, 2010 16:49:27 from 88.128.80.238
differential K-theory
(
diff
|
history
)
by
Urs Schreiber
at January 6, 2010 16:44:43 from 88.128.80.238
bundle
(
diff
|
history
)
by
Urs Schreiber
at January 6, 2010 16:43:29 from 88.128.80.238
orthogonal group
(
diff
|
history
)
by
Urs Schreiber
at January 6, 2010 15:54:32 from 88.128.80.238
unitary group
by
Urs Schreiber
at January 6, 2010 15:52:12 from 88.128.80.238
Jacob Lurie
(
diff
|
history
)
by
Urs Schreiber
at January 6, 2010 12:20:04 from 88.128.80.238
January 5, 2010
microbundle
(
diff
|
history
)
by
Urs Schreiber
at January 5, 2010 17:39:01 from 88.128.84.194
Theta-space
(
diff
|
history
)
by
Urs Schreiber
at January 5, 2010 15:04:14 from 88.128.84.194
copresheaf
by
Urs Schreiber
at January 5, 2010 13:15:02 from 88.128.84.194
category theory
(
diff
|
history
)
by
Andrew Stacey
at January 5, 2010 13:13:21 from 129.241.15.70
geometric function theory
(
diff
|
history
)
by
Urs Schreiber
at January 5, 2010 11:48:25 from 88.128.84.194
homotopy hypothesis
(
diff
|
history
)
by
Urs Schreiber
at January 5, 2010 11:06:24 from 88.128.84.194
modular tensor category
(
diff
|
history
)
by
Andrew Stacey
at January 5, 2010 09:18:26 from 129.241.15.70
Deformation Theory
(
diff
|
history
)
by
Toby Bartels
at January 5, 2010 06:32:46 from 12.191.141.234
E-infinity-ring
(
diff
|
history
)
by
Eric Forgy
at January 5, 2010 01:18:42 from 220.241.233.67
January 4, 2010
evil
(
diff
|
history
)
by
Mike Shulman
at January 4, 2010 16:47:27 from 75.3.151.132
well-powered category
(
diff
|
history
)
by
Zoran Škoda
at January 4, 2010 16:46:38 from 193.198.162.13
subcanonical coverage
(
diff
|
history
)
by
Andrew Stacey
at January 4, 2010 14:54:43 from 129.241.15.70
stable homotopy theory - contents
(
diff
|
history
)
by
Urs Schreiber
at January 4, 2010 12:30:29 from 88.128.82.168
suspension object
(
diff
|
history
)
by
Urs Schreiber
at January 4, 2010 12:29:28 from 88.128.82.168
higher algebra - contents
(
diff
|
history
)
by
Urs Schreiber
at January 4, 2010 11:34:17 from 88.128.82.168
tangent bundle
(
diff
|
history
)
by
Urs Schreiber
at January 4, 2010 09:57:03 from 88.128.82.168
infinitesimal singular simplicial complex
(
diff
|
history
)
by
Urs Schreiber
at January 4, 2010 09:45:37 from 88.128.82.168
differential forms in synthetic differential geometry
(
diff
|
history
)
by
Urs Schreiber
at January 4, 2010 09:44:26 from 88.128.82.168
Peter Selinger
(
diff
|
history
)
by
Toby Bartels
at January 4, 2010 05:09:16 from 75.161.4.242
power
(
diff
|
history
)
by
Mike Shulman
at January 4, 2010 02:58:46 from 75.3.151.132
regular and exact completions
(
diff
|
history
)
by
Todd Trimble
at January 4, 2010 01:52:44 from 69.118.56.215
January 3, 2010
exponential ideal
(
diff
|
history
)
by
Mike Shulman
at January 3, 2010 23:01:40 from 75.3.151.132
January 2, 2010
homotopically injective object
by
Mike Shulman
at January 2, 2010 19:18:35 from 75.3.151.132
injective object
(
diff
|
history
)
by
Mike Shulman
at January 2, 2010 19:17:27 from 75.3.151.132
choice object
(
diff
|
history
)
by
Mike Shulman
at January 2, 2010 19:03:36 from 75.3.151.132
generic proof
by
Mike Shulman
at January 2, 2010 06:02:22 from 75.3.151.132
weak factorization system on Set
(
diff
|
history
)
by
Mike Shulman
at January 2, 2010 01:11:27 from 75.3.151.132
January 1, 2010
projective object
(
diff
|
history
)
by
Toby Bartels
at January 1, 2010 18:30:45 from 71.31.221.223
nonabelian Lie algebra cohomology
(
diff
|
history
)
by
Toby Bartels
at January 1, 2010 18:28:03 from 71.31.221.223
nonabelian Lie algebroid cohomology
(
diff
|
history
)
by
Toby Bartels
at January 1, 2010 18:15:03 from 71.31.221.223
core
(
diff
|
history
)
by
Mike Shulman
at January 1, 2010 17:47:02 from 75.3.151.132
universal differential envelope
(
diff
|
history
)
by
Eric Forgy
at January 1, 2010 09:26:06 from 119.247.164.216
December 31, 2009
homomorphism
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 23:17:40 from 71.31.221.223
Ring
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 23:17:20 from 71.31.221.223
monoid object
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 23:16:36 from 71.31.221.223
congruence
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 18:14:17 from 71.31.221.223
normal subobject
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 18:13:14 from 71.31.221.223
normal monomorphism
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 18:10:29 from 71.31.221.223
normal subgroup
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 18:10:14 from 71.31.221.223
Kock-Lawvere axiom
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 15:19:38 from 71.31.221.223
suspension
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 15:04:08 from 71.31.221.223
Whitehead product
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 14:37:46 from 71.31.221.223
cover
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 14:32:51 from 71.31.221.223
canonical topology
(
diff
|
history
)
by
Toby Bartels
at December 31, 2009 14:32:16 from 71.31.221.223
December 30, 2009
Hanno Becker
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 18:08:26 from 151.213.42.84
Weil algebra
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 18:06:53 from 151.213.42.84
target
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 17:43:15 from 151.213.42.84
source
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 17:42:44 from 151.213.42.84
Andre Hirschowitz
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 17:15:57 from 151.213.42.84
HomePage
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 17:14:41 from 151.213.42.84
closed monoidal category
(
diff
|
history
)
by
Urs Schreiber
at December 30, 2009 11:57:35 from 88.128.90.232
species
by
Urs Schreiber
at December 30, 2009 11:54:51 from 88.128.90.232
A Survey of Elliptic Cohomology - descent ss and coefficients
(
diff
|
history
)
by
Martin Olbermann
?
at December 30, 2009 10:47:00 from 192.68.254.7
induced topology
(
diff
|
history
)
by
Mike Shulman
at December 30, 2009 06:41:43 from 97.114.104.156
subspace
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 04:49:36 from 151.213.42.84
Hopf-Galois extension
(
diff
|
history
)
by
Toby Bartels
at December 30, 2009 03:43:11 from 151.213.42.84
December 29, 2009
concrete sheaf
(
diff
|
history
)
by
Urs Schreiber
at December 29, 2009 18:17:23 from 212.23.128.235
topology
(
diff
|
history
)
by
Zoran Škoda
at December 29, 2009 16:43:41 from 161.53.129.73
model structure on chain complexes
(
diff
|
history
)
by
Toby Bartels
at December 29, 2009 08:07:49 from 71.31.210.131
neighborhood retract
(
diff
|
history
)
by
Toby Bartels
at December 29, 2009 08:06:46 from 71.31.210.131
regular category
(
diff
|
history
)
by
Toby Bartels
at December 29, 2009 07:46:50 from 71.31.210.131
nCob
(
diff
|
history
)
by
Toby Bartels
at December 29, 2009 07:33:17 from 71.31.210.131
December 28, 2009
simplicial sheaf
(
diff
|
history
)
by
Mike Shulman
at December 28, 2009 23:34:18 from 97.114.104.156
Trimble on ETCS II
(
diff
|