nLab Latest Revisions

• Topos Theory ( Topos Theory(rev # 6) | history )
  by David Roberts? at May 16, 2025 at 06:38:58
• Categories, Allegories ( Categories, Allegories(rev # 8) | history )
  by David Roberts? at May 16, 2025 at 06:37:15
• category ( category(rev # 93) | history )
  by Urs Schreiber at May 16, 2025 at 06:21:23
• type of finite types ( type of finite types(rev # 14) | history )
  by John Blackburn? at May 16, 2025 at 06:19:32
• type of propositions ( type of propositions(rev # 53) | history )
  by John Blackburn? at May 16, 2025 at 06:18:41
• type of booleans ( type of booleans(rev # 5) | history )
  by John Blackburn? at May 16, 2025 at 06:18:13
• database of categories > history ( database of categories > history(rev # 30) | history )
  by Dmitri Pavlov at May 16, 2025 at 04:58:29
• category ( category(rev # 92) | history )
  by Dmitri Pavlov at May 16, 2025 at 04:57:44
• Chern- and Pontrjagin forms -- section ( Chern- and Pontrjagin forms -- section(rev # 8) | history )
  by Urs Schreiber at May 16, 2025 at 04:07:55
• logic over dependent type theory ( logic over dependent type theory(rev # 1) | history )
  by John Blackburn? at May 16, 2025 at 04:05:29
• propositional logic as a dependent type theory ( propositional logic as a dependent type theory(rev # 12) | history )
  by John Blackburn? at May 16, 2025 at 03:57:57
• Martin-Löf dependent type theory ( Martin-Löf dependent type theory(rev # 52) | history )
  by John Blackburn? at May 16, 2025 at 03:50:09
• propositional equality ( propositional equality(rev # 11) | history )
  by John Blackburn? at May 16, 2025 at 03:32:04
• extensional type theory ( extensional type theory(rev # 34) | history )
  by John Blackburn? at May 16, 2025 at 03:23:05
• intensional type theory ( intensional type theory(rev # 18) | history )
  by John Blackburn? at May 16, 2025 at 03:22:31
• Daniel Gratzer ( Daniel Gratzer(rev # 13) | history )
  by John Blackburn? at May 16, 2025 at 03:22:02
• Carlo Angiuli ( Carlo Angiuli(rev # 10) | history )
  by John Blackburn? at May 16, 2025 at 03:21:47
• univalent type theory ( univalent type theory(rev # 5) | history )
  by John Blackburn? at May 16, 2025 at 03:20:50
• type of propositions ( type of propositions(rev # 52) | history )
  by John Blackburn? at May 16, 2025 at 03:17:33
• database of categories > history ( database of categories > history(rev # 29) | history )
  by Dmitri Pavlov at May 16, 2025 at 00:40:42
• Ulrik Buchholtz ( Ulrik Buchholtz(rev # 18) | history )
  by type theorist? at May 15, 2025 at 22:36:06
• primitive recursive arithmetic ( primitive recursive arithmetic(rev # 6) | history )
  by type theorist? at May 15, 2025 at 22:35:29
• Johannes Schipp von Branitz ( Johannes Schipp von Branitz(rev # 2) | history )
  by type theorist? at May 15, 2025 at 22:35:05
• tangent bundle category ( tangent bundle category(rev # 26) | history )
  by Dmitri Pavlov at May 15, 2025 at 20:07:25
• differential category ( differential category(rev # 26) | history )
  by Dmitri Pavlov at May 15, 2025 at 19:21:55
• Rory Lucyshyn-Wright ( Rory Lucyshyn-Wright(rev # 4) | history )
  by Dmitri Pavlov at May 15, 2025 at 19:20:30
• Geoff Cruttwell ( Geoff Cruttwell(rev # 9) | history )
  by Dmitri Pavlov at May 15, 2025 at 19:20:13
• Jean-Simon Lemay ( Jean-Simon Lemay(rev # 5) | history )
  by Dmitri Pavlov at May 15, 2025 at 19:17:45
• theory of algebraically closed fields ( theory of algebraically closed fields(rev # 9) | history )
  by DB? at May 15, 2025 at 18:33:19
• type of booleans ( type of booleans(rev # 4) | history )
  by Evan Cavallo at May 15, 2025 at 17:49:13
• type of finite types ( type of finite types(rev # 13) | history )
  by Anonymouse? at May 15, 2025 at 17:23:29
• type of booleans ( type of booleans(rev # 3) | history )
  by Anonymouse? at May 15, 2025 at 17:22:05
• type of propositions ( type of propositions(rev # 51) | history )
  by Anonymouse? at May 15, 2025 at 17:20:33
• bridge type ( bridge type(rev # 9) | history )
  by p? at May 15, 2025 at 16:40:37
• list of theses in category theory ( list of theses in category theory(rev # 67) | history )
  by Dmitri Pavlov at May 15, 2025 at 16:37:12
• Stephen Lack ( Stephen Lack(rev # 14) | history )
  by Dmitri Pavlov at May 15, 2025 at 16:25:27
• database of categories > history ( database of categories > history(rev # 28) | history )
  by Matt Insall at May 15, 2025 at 16:16:23
• record type ( record type(rev # 7) | history )
  by Anonymouse? at May 15, 2025 at 15:48:22
• bridge type ( bridge type(rev # 8) | history )
  by p? at May 15, 2025 at 13:13:41
• function application to identifications ( function application to identifications(rev # 17) | history )
  by p? at May 15, 2025 at 13:13:31
• indexed heterogeneous identity type ( indexed heterogeneous identity type(rev # 44) | history )
  by p? at May 15, 2025 at 12:49:23
• two ( two(rev # 3) | history )
  by p? at May 15, 2025 at 11:29:33
• boolean domain ( boolean domain(rev # 42) | history )
  by p? at May 15, 2025 at 11:25:04
• Ivan Di Liberti ( Ivan Di Liberti(rev # 20) | history )
  by Ivan? at May 15, 2025 at 09:16:43
• Samuel Eilenberg ( Samuel Eilenberg(rev # 22) | history )
  by Urs Schreiber at May 15, 2025 at 08:48:56
• Saunders Mac Lane ( Saunders Mac Lane(rev # 27) | history )
  by Urs Schreiber at May 15, 2025 at 08:48:35
• list of theses in category theory ( list of theses in category theory(rev # 66) | history )
  by varkor at May 15, 2025 at 08:19:00
• monad ( monad(rev # 148) | history )
  by Urs Schreiber at May 15, 2025 at 08:14:59
• monadic cohomology ( monadic cohomology(rev # 8) | history )
  by Urs Schreiber at May 15, 2025 at 08:14:04
• Jon Beck ( Jon Beck(rev # 12) | history )
  by Urs Schreiber at May 15, 2025 at 08:12:58
• strongly predicative dependent type theory ( strongly predicative dependent type theory(rev # 3) | history )
  by Evan Cavallo at May 15, 2025 at 08:07:32
• Sandbox ( Sandbox(rev # 3672) | history )
  by Urs Schreiber at May 15, 2025 at 07:01:04
• list of theses in category theory ( list of theses in category theory(rev # 65) | history )
  by Urs Schreiber at May 15, 2025 at 06:45:44
• frame ( frame(rev # 32) | history )
  by p? at May 15, 2025 at 06:20:07
• path integral ( path integral(rev # 73) | history )
  by Urs Schreiber at May 15, 2025 at 06:06:44
• Aleksei Starobinsky ( Aleksei Starobinsky(rev # 4) | history )
  by Urs Schreiber at May 15, 2025 at 06:02:29
• Matthias Gaberdiel ( Matthias Gaberdiel(rev # 13) | history )
  by Urs Schreiber at May 15, 2025 at 06:00:28
• Lorenz Eberhardt ( Lorenz Eberhardt(rev # 12) | history )
  by Urs Schreiber at May 15, 2025 at 05:59:30
• AdS3-CFT2 and CS-WZW correspondence ( AdS3-CFT2 and CS-WZW correspondence(rev # 51) | history )
  by Urs Schreiber at May 15, 2025 at 05:58:52
• De Morgan Heyting algebra ( De Morgan Heyting algebra(rev # 12) | history )
  by p? at May 15, 2025 at 03:56:14
• boolean domain ( boolean domain(rev # 41) | history )
  by p? at May 15, 2025 at 03:51:21
• list of theses in category theory ( list of theses in category theory(rev # 64) | history )
  by Alexander Campbell at May 15, 2025 at 03:39:26
• boolean domain ( boolean domain(rev # 40) | history )
  by p? at May 15, 2025 at 01:30:19
• type of booleans ( type of booleans(rev # 2) | history )
  by Anonymouse? at May 15, 2025 at 00:47:06
• boolean domain ( boolean domain(rev # 39) | history )
  by p? at May 14, 2025 at 23:45:51
• type of booleans ( type of booleans(rev # 1) | history )
  by p? at May 14, 2025 at 23:29:29
• uniqueness quantifier ( uniqueness quantifier(rev # 11) | history )
  by p? at May 14, 2025 at 23:22:07
• sigma-frame of propositions ( sigma-frame of propositions(rev # 2) | history )
  by p? at May 14, 2025 at 23:20:34
• strongly predicative dependent type theory ( strongly predicative dependent type theory(rev # 2) | history )
  by p? at May 14, 2025 at 23:20:00
• simplicially discrete type ( simplicially discrete type(rev # 4) | history )
  by p? at May 14, 2025 at 23:19:34
• excluded middle ( excluded middle(rev # 57) | history )
  by p? at May 14, 2025 at 23:17:45
• decidable equality ( decidable equality(rev # 20) | history )
  by p? at May 14, 2025 at 23:16:10
• disjunction ( disjunction(rev # 23) | history )
  by p? at May 14, 2025 at 23:15:23
• choice operator ( choice operator(rev # 54) | history )
  by p? at May 14, 2025 at 23:14:00
• Tarski universe ( Tarski universe(rev # 47) | history )
  by p? at May 14, 2025 at 23:13:23
• axiom of punctual cohesion ( axiom of punctual cohesion(rev # 5) | history )
  by p? at May 14, 2025 at 23:12:11
• axiom of cohesion ( axiom of cohesion(rev # 28) | history )
  by p? at May 14, 2025 at 23:11:45
• axiom of circle type localization ( axiom of circle type localization(rev # 8) | history )
  by p? at May 14, 2025 at 23:11:24
• binomial type ( binomial type(rev # 5) | history )
  by p? at May 14, 2025 at 23:11:12
• bracket type ( bracket type(rev # 43) | history )
  by p? at May 14, 2025 at 23:10:22
• circle type ( circle type(rev # 41) | history )
  by p? at May 14, 2025 at 23:10:04
• coequalizer type ( coequalizer type(rev # 9) | history )
  by p? at May 14, 2025 at 23:09:52
• polymorphic dependent type theory ( polymorphic dependent type theory(rev # 20) | history )
  by p? at May 14, 2025 at 23:09:20
• dependent sum type ( dependent sum type(rev # 28) | history )
  by p? at May 14, 2025 at 23:09:06
• dependent pushout type ( dependent pushout type(rev # 7) | history )
  by p? at May 14, 2025 at 23:08:54
• dependent pullback type ( dependent pullback type(rev # 3) | history )
  by p? at May 14, 2025 at 23:08:40
• identity type ( identity type(rev # 124) | history )
  by p? at May 14, 2025 at 23:07:58
• inductive type ( inductive type(rev # 52) | history )
  by p? at May 14, 2025 at 23:07:41
• interval type ( interval type(rev # 42) | history )
  by p? at May 14, 2025 at 23:07:05
• mere proposition ( mere proposition(rev # 27) | history )
  by p? at May 14, 2025 at 23:06:22
• n-truncation modality ( n-truncation modality(rev # 19) | history )
  by p? at May 14, 2025 at 23:05:41
• natural numbers type ( natural numbers type(rev # 31) | history )
  by p? at May 14, 2025 at 23:05:27
• propositions as types ( propositions as types(rev # 51) | history )
  by p? at May 14, 2025 at 23:05:09
• type of propositions ( type of propositions(rev # 50) | history )
  by p? at May 14, 2025 at 23:04:24
• type of mutually exclusive propositions ( type of mutually exclusive propositions(rev # 8) | history )
  by p? at May 14, 2025 at 23:04:09
• simplicial type theory ( simplicial type theory(rev # 46) | history )
  by p? at May 14, 2025 at 23:03:24
• sphere type ( sphere type(rev # 5) | history )
  by p? at May 14, 2025 at 23:02:06
• sum type ( sum type(rev # 14) | history )
  by p? at May 14, 2025 at 23:01:29
• boolean domain ( boolean domain(rev # 38) | history )
  by Anonymouse? at May 14, 2025 at 22:39:22
• Higgs field ( Higgs field(rev # 63) | history )
  by Jesus Lopez? at May 14, 2025 at 17:58:52