nLab Latest Revisions

• 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 )
  by Urs Schreiber at June 16, 2025 at 09:36:30
• (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 )
  by Urs Schreiber at June 16, 2025 at 08:11:15
• residually finite group ( residually finite group(rev # 7) | history )
  by Urs Schreiber at June 16, 2025 at 07:33:08
• combinatorial group theory ( combinatorial group theory(rev # 12) | history )
  by Urs Schreiber at June 16, 2025 at 07:25:41
• 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 )
  by Todd Trimble at June 16, 2025 at 02:16:28
• 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 )
  by Todd Trimble at June 15, 2025 at 13:06:35
• 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 )
  by Kirk Sturtz at June 15, 2025 at 08:51:03
• commutative diagram ( commutative diagram(rev # 11) | history )
  by varkor at June 15, 2025 at 07:29:43
• Day convolution ( Day convolution(rev # 88) | history )
  by Dmitri Pavlov at June 15, 2025 at 05:05:59
• dendroidal set ( dendroidal set(rev # 53) | history )
  by telestew? at June 15, 2025 at 04:51:44
• Ranger > history ( Ranger > history(rev # 2) | history )
  by Dmitri Pavlov at June 15, 2025 at 04:15:40
• Glynn Winskel ( Glynn Winskel(rev # 5) | history )
  by Dmitri Pavlov at June 15, 2025 at 04:09:38
• G. Winskel > history ( G. Winskel > history(rev # 3) | history )
  by Dmitri Pavlov at June 15, 2025 at 04:04:13
• 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