nLab Latest Revisions

• 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
• resizing axiom ( resizing axiom(rev # 5) | history )
  by Karl Schoenbaum? at June 14, 2025 at 23:27:07
• power set ( power set(rev # 35) | history )
  by Karl Schoenbaum? at June 14, 2025 at 23:25:36
• subset collection
  by Karl Schoenbaum? at June 14, 2025 at 23:20:28
• propositional resizing ( propositional resizing(rev # 31) | history )
  by p? at June 14, 2025 at 23:08:50
• resizing axiom ( resizing axiom(rev # 4) | history )
  by Karl Schoenbaum? at June 14, 2025 at 22:45:41
• propositional resizing ( propositional resizing(rev # 30) | history )
  by p? at June 14, 2025 at 22:34:26
• sheaf and topos theory ( sheaf and topos theory(rev # 52) | history )
  by Dmitri Pavlov at June 14, 2025 at 22:30:25
• Pin(2) ( Pin(2)(rev # 10) | history )
  by Urs Schreiber at June 14, 2025 at 18:57:24
• modal type theory ( modal type theory(rev # 68) | history )
  by Evan Patterson at June 14, 2025 at 18:39:10
• Benedikt Ahrens ( Benedikt Ahrens(rev # 13) | history )
  by p? at June 14, 2025 at 18:29:21
• Paige Randall North ( Paige Randall North(rev # 9) | history )
  by p? at June 14, 2025 at 18:29:03
• Dimitris Tsementzis ( Dimitris Tsementzis(rev # 4) | history )
  by p? at June 14, 2025 at 18:28:48
• Mike Shulman ( Mike Shulman(rev # 57) | history )
  by p? at June 14, 2025 at 18:28:15
• structure identity principle ( structure identity principle(rev # 12) | history )
  by p? at June 14, 2025 at 18:25:42
• partial order ( partial order(rev # 69) | history )
  by p? at June 14, 2025 at 18:25:13
• double power set ( double power set(rev # 1) | history )
  by p? at June 14, 2025 at 18:24:51
• subtype ( subtype(rev # 24) | history )
  by Jake Warren? at June 14, 2025 at 18:23:42
• algebraic geometry ( algebraic geometry(rev # 35) | history )
  by Jake Warren? at June 14, 2025 at 18:23:30
• Matthias Hutzler ( Matthias Hutzler(rev # 5) | history )
  by Jake Warren? at June 14, 2025 at 18:22:57
• Thierry Coquand ( Thierry Coquand(rev # 14) | history )
  by Jake Warren? at June 14, 2025 at 18:22:43
• Felix Cherubini ( Felix Cherubini(rev # 18) | history )
  by Jake Warren? at June 14, 2025 at 18:22:03
• synthetic algebraic geometry ( synthetic algebraic geometry(rev # 8) | history )
  by Jake Warren? at June 14, 2025 at 18:21:41
• BoolAlg ( BoolAlg(rev # 18) | history )
  by p? at June 14, 2025 at 17:54:09
• Boolean algebra ( Boolean algebra(rev # 32) | history )
  by p? at June 14, 2025 at 17:43:34
• synthetic algebraic geometry ( synthetic algebraic geometry(rev # 7) | history )
  by Urs Schreiber at June 14, 2025 at 17:33:29
• algebraic geometry ( algebraic geometry(rev # 34) | history )
  by Jake Warren? at June 14, 2025 at 17:08:40
• subtype ( subtype(rev # 23) | history )
  by Jake Warren? at June 14, 2025 at 17:08:18
• Thierry Coquand ( Thierry Coquand(rev # 13) | history )
  by Jake Warren? at June 14, 2025 at 17:07:50
• Matthias Hutzler ( Matthias Hutzler(rev # 4) | history )
  by Jake Warren? at June 14, 2025 at 17:07:45
• Felix Cherubini ( Felix Cherubini(rev # 17) | history )
  by Jake Warren? at June 14, 2025 at 17:07:20