nLab
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
group object
(
group object(rev # 52)
|
history
)
by
Tim
at April 18, 2024 at 14:40:11
groupoid object
(
groupoid object(rev # 10)
|
history
)
by
Tim
at April 18, 2024 at 14:39:27
internal category
(
internal category(rev # 97)
|
history
)
by
Tim
at April 18, 2024 at 14:38:47
internalization
(
internalization(rev # 90)
|
history
)
by
Tim
at April 18, 2024 at 14:38:12
module object
(
module object(rev # 21)
|
history
)
by
Tim
at April 18, 2024 at 14:36:28
pro-object
(
pro-object(rev # 76)
|
history
)
by
Tim
at April 18, 2024 at 14:35:54
shear map
(
shear map(rev # 12)
|
history
)
by
Tim
at April 18, 2024 at 14:35:03
simplex category
(
simplex category(rev # 79)
|
history
)
by
Tim
at April 18, 2024 at 14:33:14
simplicial object
(
simplicial object(rev # 43)
|
history
)
by
Tim
at April 18, 2024 at 14:32:00
linear logic
(
linear logic(rev # 128)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 12:32:00
stable Dold-Kan correspondence
(
stable Dold-Kan correspondence(rev # 20)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 12:12:17
idempotent monad
(
idempotent monad(rev # 66)
|
history
)
by
Naïm Favier
?
at April 18, 2024 at 11:14:45
categorical semantics
(
categorical semantics(rev # 23)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 08:40:11
Sandbox
(
Sandbox(rev # 3311)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 08:39:34
Manos Lydakis
(
Manos Lydakis(rev # 3)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 07:56:28
Gamma-space
(
Gamma-space(rev # 23)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 07:55:44
quantum reader monad
(
quantum reader monad(rev # 19)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 07:48:38
dg-nerve
(
dg-nerve(rev # 14)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 04:06:54
Vadim Schechtman
(
Vadim Schechtman(rev # 4)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 04:05:57
Vladimir Hinich
(
Vladimir Hinich(rev # 10)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 04:05:16
zero
(
zero(rev # 6)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 03:52:48
vector
(
vector(rev # 6)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 03:51:28
zero vector
(
zero vector(rev # 2)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 03:50:18
vector space
(
vector space(rev # 41)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 03:49:15
Sandbox
(
Sandbox(rev # 3310)
|
history
)
by
Urs Schreiber
at April 18, 2024 at 03:46:58
zero vector
(
zero vector(rev # 1)
|
history
)
by
Hank Igoe
?
at April 18, 2024 at 01:55:15
dg-nerve
(
dg-nerve(rev # 13)
|
history
)
by
Tim Porter
at April 17, 2024 at 19:25:46
Vladimir Hinich
(
Vladimir Hinich(rev # 9)
|
history
)
by
Tim Porter
at April 17, 2024 at 18:15:01
dg-nerve
(
dg-nerve(rev # 12)
|
history
)
by
Tim Porter
at April 17, 2024 at 18:13:03
James Hanson
by
Anonymouse
?
at April 17, 2024 at 18:01:30
countable set
(
countable set(rev # 17)
|
history
)
by
Anonymouse
?
at April 17, 2024 at 18:00:24
Heyting prealgebra
(
Heyting prealgebra(rev # 9)
|
history
)
by
Anonymouse
?
at April 17, 2024 at 17:59:38
principle of omniscience
(
principle of omniscience(rev # 46)
|
history
)
by
Anonymouse
?
at April 17, 2024 at 17:59:28
Rezk completion
(
Rezk completion(rev # 8)
|
history
)
by
Hugo Herbelin
at April 17, 2024 at 17:24:17
(n-connected, n-truncated) factorization system
(
(n-connected, n-truncated) factorization system(rev # 24)
|
history
)
by
Hugo Herbelin
at April 17, 2024 at 17:10:31
Galois connection
(
Galois connection(rev # 25)
|
history
)
by
Hugo Herbelin
at April 17, 2024 at 16:49:37
weak factorization system
(
weak factorization system(rev # 47)
|
history
)
by
Hugo Herbelin
at April 17, 2024 at 16:39:09
cocontinuous functor
(
cocontinuous functor(rev # 7)
|
history
)
by
charlie
?
at April 17, 2024 at 15:46:57
Dold-Kan correspondence
(
Dold-Kan correspondence(rev # 129)
|
history
)
by
Tim Porter
at April 17, 2024 at 13:56:23
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 319)
|
history
)
by
Urs Schreiber
at April 17, 2024 at 11:35:59
conservative extension
by
Urs Schreiber
at April 17, 2024 at 11:13:33
theory
(
theory(rev # 39)
|
history
)
by
Urs Schreiber
at April 17, 2024 at 11:11:35
Martin-Löf dependent type theory
(
Martin-Löf dependent type theory(rev # 51)
|
history
)
by
Urs Schreiber
at April 17, 2024 at 11:05:06
locally graded category
(
locally graded category(rev # 7)
|
history
)
by
David Corfield
at April 17, 2024 at 09:32:36
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 318)
|
history
)
by
Urs Schreiber
at April 17, 2024 at 08:14:01
homotopy groups of spheres
(
homotopy groups of spheres(rev # 56)
|
history
)
by
perezl.alonso
at April 17, 2024 at 08:10:24
Beck-Chevalley condition
(
Beck-Chevalley condition(rev # 59)
|
history
)
by
Vít Jelínek
?
at April 17, 2024 at 07:31:28
simple type theory
(
simple type theory(rev # 10)
|
history
)
by
varkor
at April 17, 2024 at 06:44:04
AdS-QCD correspondence
(
AdS-QCD correspondence(rev # 196)
|
history
)
by
Urs Schreiber
at April 17, 2024 at 04:11:59
supersymmetric quantum mechanics
(
supersymmetric quantum mechanics(rev # 30)
|
history
)
by
Urs Schreiber
at April 17, 2024 at 04:08:29
path groupoid
(
path groupoid(rev # 22)
|
history
)
by
minor person
?
at April 16, 2024 at 21:54:27
D=3 supergravity
(
D=3 supergravity(rev # 15)
|
history
)
by
perezl.alonso
at April 16, 2024 at 16:47:22
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 317)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 15:34:31
homotopy type theory
(
homotopy type theory(rev # 150)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 15:15:55
parametrized spectrum
(
parametrized spectrum(rev # 36)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 14:48:55
model structure on chain complexes
(
model structure on chain complexes(rev # 110)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 14:38:38
Gamma-space
(
Gamma-space(rev # 22)
|
history
)
by
Dmitri Pavlov
at April 16, 2024 at 14:29:30
model of type theory in an (infinity,1)-topos
(
model of type theory in an (infinity,1)-topos(rev # 5)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 14:20:23
relation between type theory and category theory
(
relation between type theory and category theory(rev # 89)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 14:16:30
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 316)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 14:05:36
additive and abelian categories
(
additive and abelian categories(rev # 25)
|
history
)
by
C
?
at April 16, 2024 at 13:45:17
Gamma-set
(
Gamma-set(rev # 4)
|
history
)
by
Zoran Škoda
at April 16, 2024 at 13:23:49
Gamma-space
(
Gamma-space(rev # 21)
|
history
)
by
Zoran Škoda
at April 16, 2024 at 13:13:57
Jonathan Beardsley
(
Jonathan Beardsley(rev # 15)
|
history
)
by
Zoran Škoda
at April 16, 2024 at 13:06:16
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 315)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 13:05:13
linear type theory
(
linear type theory(rev # 60)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 12:41:20
linear logic
(
linear logic(rev # 127)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 12:40:47
Quipper
(
Quipper(rev # 32)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 12:38:12
hypergroup
(
hypergroup(rev # 7)
|
history
)
by
Zoran Škoda
at April 16, 2024 at 12:36:06
hypermagma
(
hypermagma(rev # 4)
|
history
)
by
Zoran Škoda
at April 16, 2024 at 12:28:54
multivalued group
(
multivalued group(rev # 3)
|
history
)
by
Zoran Škoda
at April 16, 2024 at 12:21:24
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 314)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 11:50:34
Sandbox
(
Sandbox(rev # 3309)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 11:16:53
additive and abelian categories
(
additive and abelian categories(rev # 24)
|
history
)
by
C
?
at April 16, 2024 at 11:12:28
Deligne's theorem on tensor categories
(
Deligne's theorem on tensor categories(rev # 83)
|
history
)
by
perezl.alonso
at April 16, 2024 at 09:14:26
n-plectic geometry
(
n-plectic geometry(rev # 35)
|
history
)
by
perezl.alonso
at April 16, 2024 at 09:07:32
AQFT
(
AQFT(rev # 90)
|
history
)
by
perezl.alonso
at April 16, 2024 at 09:02:10
braided monoidal category
(
braided monoidal category(rev # 53)
|
history
)
by
perezl.alonso
at April 16, 2024 at 08:58:41
(infinity,1)-Grothendieck construction
(
(infinity,1)-Grothendieck construction(rev # 55)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 08:20:22
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 313)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 08:03:05
Alberto Cattaneo
(
Alberto Cattaneo(rev # 13)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 07:51:58
first-order formulation of gravity
(
first-order formulation of gravity(rev # 29)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 07:51:18
manifold with boundary
(
manifold with boundary(rev # 24)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 07:44:20
nerve
(
nerve(rev # 85)
|
history
)
by
Tim Porter
at April 16, 2024 at 06:36:56
cartesian bicategory
(
cartesian bicategory(rev # 27)
|
history
)
by
Mike Shulman
at April 16, 2024 at 05:45:41
Jürg Fröhlich
(
Jürg Fröhlich(rev # 10)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 04:47:44
interpretation of quantum mechanics
(
interpretation of quantum mechanics(rev # 42)
|
history
)
by
Urs Schreiber
at April 16, 2024 at 04:46:23
Ivan Di Liberti
(
Ivan Di Liberti(rev # 14)
|
history
)
by
Ivan
?
at April 15, 2024 at 21:08:10
maximal torus
(
maximal torus(rev # 11)
|
history
)
by
Daniel Teixeira
?
at April 15, 2024 at 17:19:10
abelian Lie algebra
(
abelian Lie algebra(rev # 3)
|
history
)
by
Daniel Teixeira
?
at April 15, 2024 at 17:15:38
infinity-action
(
infinity-action(rev # 46)
|
history
)
by
perezl.alonso
at April 15, 2024 at 15:01:39
test category
(
test category(rev # 37)
|
history
)
by
Evan Cavallo
at April 15, 2024 at 13:36:44
dependent sum
(
dependent sum(rev # 19)
|
history
)
by
Urs Schreiber
at April 15, 2024 at 13:28:54
biology
(
biology(rev # 16)
|
history
)
by
David Corfield
at April 15, 2024 at 13:14:24
Elisa Ercolessi
by
Urs Schreiber
at April 15, 2024 at 13:12:34
canonical commutation relation
(
canonical commutation relation(rev # 11)
|
history
)
by
Urs Schreiber
at April 15, 2024 at 13:08:44
Center for Quantum and Topological Systems
(
Center for Quantum and Topological Systems(rev # 312)
|
history
)
by
Urs Schreiber
at April 15, 2024 at 13:05:07
strict factorization system
(
strict factorization system(rev # 10)
|
history
)
by
Bryce Clarke
at April 15, 2024 at 12:34:27
cubical set - exposition
(
cubical set - exposition(rev # 10)
|
history
)
by
Evan Cavallo
at April 15, 2024 at 12:30:36
list of theses in category theory
(
list of theses in category theory(rev # 55)
|
history
)
by
paoloperrone
at April 15, 2024 at 09:38:27
« Previous
1
2
3
4
5
6
7
8
9
10
Next »