nLab
Latest Revisions
Redirected from "mapping cylinders".
-
set-level type theory
( set-level type theory(rev # 8) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 12:44:27
-
typal equality
( typal equality(rev # 14) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 12:41:14
-
propositional equality
( propositional equality(rev # 20) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 12:40:21
-
logic over dependent type theory
( logic over dependent type theory(rev # 3) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 12:04:51
-
typal equality
( typal equality(rev # 13) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:50:36
-
equality
( equality(rev # 64) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:40:38
-
principle of equivalence
( principle of equivalence(rev # 119) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:35:50
-
identification
( identification(rev # 6) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:34:06
-
propositions as types
( propositions as types(rev # 53) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:33:22
-
propositions as some types
( propositions as some types(rev # 15) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:32:20
-
uniqueness of identity proofs
( uniqueness of identity proofs(rev # 21) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 11:13:40
-
contractible type
( contractible type(rev # 32) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 10:52:50
-
D-topology
( D-topology(rev # 10) |
history )
-
(n,r)-category
( (n,r)-category(rev # 63) |
history )
by
varkor
at June 16, 2025 at 08:48:15
-
residually finite group
( residually finite group(rev # 8) |
history )
-
residually finite group
( residually finite group(rev # 7) |
history )
-
combinatorial group theory
( combinatorial group theory(rev # 12) |
history )
-
typal equality
( typal equality(rev # 12) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:32:13
-
preset
( preset(rev # 41) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:10:42
-
prefunction
( prefunction(rev # 5) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:10:06
-
propositional equality
( propositional equality(rev # 19) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:09:00
-
typal equality
( typal equality(rev # 11) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:06:12
-
typal equality
( typal equality(rev # 10) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:01:19
-
propositional equality
( propositional equality(rev # 18) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 04:00:42
-
reflexive relation
( reflexive relation(rev # 10) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 03:54:43
-
preset
( preset(rev # 40) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 03:22:27
-
prefunction
( prefunction(rev # 4) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 03:22:00
-
identity of indiscernibles
( identity of indiscernibles(rev # 26) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 03:02:58
-
preset
( preset(rev # 39) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 02:39:15
-
residually finite group
( residually finite group(rev # 6) |
history )
-
propositional equality
( propositional equality(rev # 17) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 01:14:10
-
field (physics)
( field (physics)(rev # 79) |
history )
by
Jesus Lopez?
at June 16, 2025 at 01:03:44
-
connection on a bundle
( connection on a bundle(rev # 48) |
history )
by
Jesus Lopez?
at June 16, 2025 at 00:34:15
-
preset
( preset(rev # 38) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 00:33:06
-
typal equality
( typal equality(rev # 9) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 00:21:07
-
principle of equivalence
( principle of equivalence(rev # 118) |
history )
by
Karl Schoenbaum?
at June 16, 2025 at 00:03:27
-
equality
( equality(rev # 63) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 23:45:24
-
judgmental equality
( judgmental equality(rev # 18) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 23:38:48
-
logic symbols -- table
( logic symbols -- table(rev # 12) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 23:33:44
-
equality in type theory
( equality in type theory(rev # 3) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 23:32:16
-
inequality
( inequality(rev # 13) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 23:23:48
-
propositional equality
( propositional equality(rev # 16) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 22:06:50
-
typal equality
( typal equality(rev # 8) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 22:05:00
-
propositions as some types
( propositions as some types(rev # 14) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 21:26:11
-
propositional equality
( propositional equality(rev # 15) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 21:03:13
-
propositions as types
( propositions as types(rev # 52) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 20:39:27
-
propositions as some types
( propositions as some types(rev # 13) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 20:33:28
-
uniqueness of identity proofs
( uniqueness of identity proofs(rev # 20) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 20:24:05
-
equality in type theory
( equality in type theory(rev # 2) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 20:14:01
-
propositional equality
( propositional equality(rev # 14) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 19:14:57
-
contractible type
( contractible type(rev # 31) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 19:03:39
-
equality
( equality(rev # 62) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 18:42:17
-
identification
( identification(rev # 5) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 18:41:43
-
contractible type
( contractible type(rev # 30) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 18:29:30
-
uniqueness quantifier
( uniqueness quantifier(rev # 12) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 18:25:48
-
predicate logic
( predicate logic(rev # 28) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:56:30
-
types and logic - table
( types and logic - table(rev # 52) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:54:04
-
logic symbols -- table
( logic symbols -- table(rev # 11) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:52:36
-
equality
( equality(rev # 61) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:41:07
-
equality in type theory
( equality in type theory(rev # 1) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:30:41
-
definition
( definition(rev # 29) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:28:28
-
judgmental equality
( judgmental equality(rev # 17) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:24:33
-
principle of equivalence
( principle of equivalence(rev # 117) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 17:11:18
-
principle of equivalence
( principle of equivalence(rev # 116) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 16:12:26
-
higher-level foundations
( higher-level foundations(rev # 3) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 15:32:14
-
class theory
( class theory(rev # 8) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 15:18:30
-
analytic LPO
( analytic LPO(rev # 15) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 13:34:24
-
resizing axiom
( resizing axiom(rev # 7) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 13:33:56
-
propositional resizing
( propositional resizing(rev # 33) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 13:23:05
-
taboo
( taboo(rev # 18) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 13:21:16
-
commutative diagram
( commutative diagram(rev # 12) |
history )
-
countable choice
( countable choice(rev # 37) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 13:04:51
-
univalence axiom
( univalence axiom(rev # 111) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 12:41:03
-
Tarski universe
( Tarski universe(rev # 51) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 12:36:47
-
material set theory
( material set theory(rev # 27) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 12:28:52
-
material versus structural set theory
( material versus structural set theory(rev # 6) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:53:04
-
principle of equivalence
( principle of equivalence(rev # 115) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:48:34
-
Elisabeth Stenholm
( Elisabeth Stenholm(rev # 8) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:39:50
-
Håkon Robbestad Gylterud
( Håkon Robbestad Gylterud(rev # 6) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:39:38
-
Daniel Gratzer
( Daniel Gratzer(rev # 16) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:39:20
-
Anders Mörtberg
( Anders Mörtberg(rev # 12) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:39:02
-
Tarski universe
( Tarski universe(rev # 50) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:38:42
-
strict category
( strict category(rev # 28) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 11:38:26
-
HowTo
( HowTo(rev # 221) |
history )
by
Tom Buchanan?
at June 15, 2025 at 11:20:21
-
How to get started > history
( How to get started > history(rev # 31) |
history )
by
Tom Buchanan?
at June 15, 2025 at 11:19:45
-
Giry monad
( Giry monad(rev # 87) |
history )
-
commutative diagram
( commutative diagram(rev # 11) |
history )
by
varkor
at June 15, 2025 at 07:29:43
-
Day convolution
( Day convolution(rev # 88) |
history )
-
dendroidal set
( dendroidal set(rev # 53) |
history )
by
telestew?
at June 15, 2025 at 04:51:44
-
Ranger > history
( Ranger > history(rev # 2) |
history )
-
Glynn Winskel
( Glynn Winskel(rev # 5) |
history )
-
G. Winskel > history
( G. Winskel > history(rev # 3) |
history )
-
resizing axiom
( resizing axiom(rev # 6) |
history )
by
Karl Schoenbaum?
at June 15, 2025 at 00:00:26
-
axiom of fullness
( axiom of fullness(rev # 9) |
history )
by
Karl Schoenbaum?
at June 14, 2025 at 23:52:46
-
filter
( filter(rev # 49) |
history )
by
p?
at June 14, 2025 at 23:33:44
-
double power set
( double power set(rev # 2) |
history )
by
p?
at June 14, 2025 at 23:30:03
-
power set
( power set(rev # 36) |
history )
by
p?
at June 14, 2025 at 23:29:39
-
type theoretic axiom of replacement
( type theoretic axiom of replacement(rev # 8) |
history )
by
Karl Schoenbaum?
at June 14, 2025 at 23:28:40
-
impredicative polymorphism
( impredicative polymorphism(rev # 11) |
history )
by
Karl Schoenbaum?
at June 14, 2025 at 23:28:06
-
propositional resizing
( propositional resizing(rev # 32) |
history )
by
Karl Schoenbaum?
at June 14, 2025 at 23:27:35