nLab Latest Revisions

• conservative cocompletion ( conservative cocompletion(rev # 11) | history )
  by Sam Staton at July 17, 2025 at 19:53:50
• (infinity,1)-categorical hom-space ( (infinity,1)-categorical hom-space(rev # 55) | history )
  by John Doe? at July 17, 2025 at 17:03:35
• PhysLean ( PhysLean(rev # 2) | history )
  by Urs Schreiber at July 17, 2025 at 13:35:14
• discrete homotopy theory ( discrete homotopy theory(rev # 1) | history )
  by David Corfield at July 17, 2025 at 09:11:19
• conceptual completeness ( conceptual completeness(rev # 12) | history )
  by David Corfield at July 17, 2025 at 09:05:37
• homotopy theory ( homotopy theory(rev # 93) | history )
  by David Corfield at July 17, 2025 at 08:15:21
• PhysLean ( PhysLean(rev # 1) | history )
  by Joseph Tooby-Smith at July 17, 2025 at 07:26:00
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 26) | history )
  by Urs Schreiber at July 17, 2025 at 05:55:11
• quantum set ( quantum set(rev # 28) | history )
  by Todd Trimble at July 17, 2025 at 02:22:18
• quantum set ( quantum set(rev # 27) | history )
  by Andre Kornell at July 17, 2025 at 00:54:55
• ultracategory ( ultracategory(rev # 22) | history )
  by Umberto Tarantino at July 16, 2025 at 22:14:00
• conceptual completeness ( conceptual completeness(rev # 11) | history )
  by Umberto Tarantino at July 16, 2025 at 21:29:16
• ultracategory ( ultracategory(rev # 21) | history )
  by Umberto Tarantino at July 16, 2025 at 21:07:52
• quantum set ( quantum set(rev # 26) | history )
  by Andre Kornell at July 16, 2025 at 20:50:44
• Umberto Tarantino ( Umberto Tarantino(rev # 3) | history )
  by Urs Schreiber at July 16, 2025 at 18:38:19
• ultracategory ( ultracategory(rev # 20) | history )
  by Urs Schreiber at July 16, 2025 at 18:20:53
• equivariant Hopf degree theorem ( equivariant Hopf degree theorem(rev # 16) | history )
  by Urs Schreiber at July 16, 2025 at 17:40:54
• ultracategory ( ultracategory(rev # 19) | history )
  by Umberto Tarantino at July 16, 2025 at 17:14:43
• ultracategory ( ultracategory(rev # 18) | history )
  by David Corfield at July 16, 2025 at 16:50:46
• Umberto Tarantino ( Umberto Tarantino(rev # 2) | history )
  by David Corfield at July 16, 2025 at 16:50:14
• ultracategory ( ultracategory(rev # 17) | history )
  by Umberto Tarantino at July 16, 2025 at 16:48:07
• Umberto Tarantino ( Umberto Tarantino(rev # 1) | history )
  by Umberto Tarantino at July 16, 2025 at 16:42:39
• Sullivan model of loop space ( Sullivan model of loop space(rev # 48) | history )
  by Urs Schreiber at July 16, 2025 at 11:21:41
• filtered category ( filtered category(rev # 33) | history )
  by kevin carlson? at July 16, 2025 at 00:05:20
• quantum set ( quantum set(rev # 25) | history )
  by Andre Kornell at July 15, 2025 at 22:48:50
• coalgebra ( coalgebra(rev # 42) | history )
  by Vincenzo Passariello? at July 15, 2025 at 21:29:54
• quantum set ( quantum set(rev # 24) | history )
  by Andre Kornell at July 15, 2025 at 20:45:20
• quantum set ( quantum set(rev # 23) | history )
  by Andre Kornell at July 15, 2025 at 19:29:02
• G-CW complex ( G-CW complex(rev # 36) | history )
  by Urs Schreiber at July 15, 2025 at 18:33:25
• Sandbox ( Sandbox(rev # 3729) | history )
  by Urs Schreiber at July 15, 2025 at 18:30:58
• dihedral group ( dihedral group(rev # 30) | history )
  by Urs Schreiber at July 15, 2025 at 16:59:59
• Jürg Fröhlich ( Jürg Fröhlich(rev # 14) | history )
  by Urs Schreiber at July 15, 2025 at 15:48:08
• Nikolay Bogolyubov ( Nikolay Bogolyubov(rev # 6) | history )
  by Urs Schreiber at July 15, 2025 at 15:38:32
• Ivan T. Todorov ( Ivan T. Todorov(rev # 6) | history )
  by Urs Schreiber at July 15, 2025 at 15:38:04
• Ivan T. Todorov ( Ivan T. Todorov(rev # 5) | history )
  by Todorovich? at July 15, 2025 at 14:46:27
• divisible group ( divisible group(rev # 16) | history )
  by Brent Yorgey at July 15, 2025 at 14:26:56
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 25) | history )
  by Urs Schreiber at July 15, 2025 at 14:11:23
• G-CW complex ( G-CW complex(rev # 35) | history )
  by Urs Schreiber at July 15, 2025 at 13:45:46
• Sandbox ( Sandbox(rev # 3728) | history )
  by Urs Schreiber at July 15, 2025 at 13:33:50
• virtual double category ( virtual double category(rev # 25) | history )
  by David Corfield at July 15, 2025 at 12:00:15
• homotopy pullback ( homotopy pullback(rev # 68) | history )
  by Urs Schreiber at July 15, 2025 at 08:44:48
• fiber sequence ( fiber sequence(rev # 70) | history )
  by Urs Schreiber at July 15, 2025 at 08:05:21
• virtual double category ( virtual double category(rev # 24) | history )
  by Mike Shulman at July 15, 2025 at 07:22:58
• Lie-Rinehart pair ( Lie-Rinehart pair(rev # 23) | history )
  by Tim Porter at July 15, 2025 at 07:02:17
• quantum many-body physics ( quantum many-body physics(rev # 7) | history )
  by Urs Schreiber at July 15, 2025 at 06:58:58
• quantum anomalous Hall effect ( quantum anomalous Hall effect(rev # 24) | history )
  by Urs Schreiber at July 15, 2025 at 06:54:56
• Lean ( Lean(rev # 24) | history )
  by Joseph Tooby-Smith at July 15, 2025 at 05:52:26
• Eudoxus real number ( Eudoxus real number(rev # 9) | history )
  by Xela? at July 15, 2025 at 05:11:08
• quantum set ( quantum set(rev # 22) | history )
  by Andre Kornell at July 15, 2025 at 02:06:51
• polynomial functor ( polynomial functor(rev # 52) | history )
  by Mike Shulman at July 15, 2025 at 01:37:50
• quantum set ( quantum set(rev # 21) | history )
  by Andre Kornell at July 15, 2025 at 00:56:57
• natural numbers type ( natural numbers type(rev # 32) | history )
  by Hayley? at July 14, 2025 at 22:42:51
• quantum set ( quantum set(rev # 20) | history )
  by Andre Kornell at July 14, 2025 at 20:51:06
• cofree coalgebra ( cofree coalgebra(rev # 21) | history )
  by Todd Trimble at July 14, 2025 at 18:39:55
• cofree coalgebra ( cofree coalgebra(rev # 20) | history )
  by Todd Trimble at July 14, 2025 at 17:46:29
• Adams conjecture ( Adams conjecture(rev # 12) | history )
  by Chan Shue Long? at July 14, 2025 at 17:33:45
• long exact sequence of homotopy groups ( long exact sequence of homotopy groups(rev # 13) | history )
  by Urs Schreiber at July 14, 2025 at 17:09:58
• Dieter Puppe ( Dieter Puppe(rev # 11) | history )
  by Urs Schreiber at July 14, 2025 at 16:34:24
• cofree coalgebra ( cofree coalgebra(rev # 19) | history )
  by Todd Trimble at July 14, 2025 at 15:12:59
• cofree coalgebra ( cofree coalgebra(rev # 18) | history )
  by Todd Trimble at July 14, 2025 at 13:42:08
• Fermat theory ( Fermat theory(rev # 22) | history )
  by Sam Staton at July 14, 2025 at 10:12:41
• 2-sheaf ( 2-sheaf(rev # 22) | history )
  by Tomas? at July 13, 2025 at 19:19:05
• stack ( stack(rev # 47) | history )
  by Tomas? at July 13, 2025 at 19:16:55
• cofree coalgebra ( cofree coalgebra(rev # 17) | history )
  by Todd Trimble at July 13, 2025 at 18:46:58
• relative monad ( relative monad(rev # 33) | history )
  by Sam Staton at July 13, 2025 at 18:38:24
• Markov category ( Markov category(rev # 76) | history )
  by Sam Staton at July 13, 2025 at 18:33:07
• Markov category ( Markov category(rev # 75) | history )
  by Sam Staton at July 13, 2025 at 16:51:57
• universal construction ( universal construction(rev # 25) | history )
  by Naïm Favier? at July 13, 2025 at 15:40:23
• under category ( under category(rev # 29) | history )
  by Naïm Favier? at July 13, 2025 at 15:40:12
• skeletal category ( skeletal category(rev # 47) | history )
  by Naïm Favier? at July 13, 2025 at 15:40:01
• reflective subcategory ( reflective subcategory(rev # 119) | history )
  by Naïm Favier? at July 13, 2025 at 15:39:47
• reflected limit ( reflected limit(rev # 14) | history )
  by Naïm Favier? at July 13, 2025 at 15:39:32
• preserved limit ( preserved limit(rev # 19) | history )
  by Naïm Favier? at July 13, 2025 at 15:39:17
• over category ( over category(rev # 57) | history )
  by Naïm Favier? at July 13, 2025 at 15:38:53
• monadicity theorem ( monadicity theorem(rev # 61) | history )
  by Naïm Favier? at July 13, 2025 at 15:38:28
• monadic functor ( monadic functor(rev # 46) | history )
  by Naïm Favier? at July 13, 2025 at 15:38:06
• embedding of categories ( embedding of categories(rev # 5) | history )
  by Naïm Favier? at July 13, 2025 at 15:37:45
• created limit ( created limit(rev # 22) | history )
  by Naïm Favier? at July 13, 2025 at 15:37:28
• category theory ( category theory(rev # 293) | history )
  by Naïm Favier? at July 13, 2025 at 15:37:06
• Yoneda lemma ( Yoneda lemma(rev # 85) | history )
  by Naïm Favier? at July 13, 2025 at 15:36:38
• Field ( Field(rev # 5) | history )
  by Naïm Favier? at July 13, 2025 at 15:36:19
• Category Theory in Context ( Category Theory in Context(rev # 7) | history )
  by Naïm Favier? at July 13, 2025 at 15:34:50
• Hans Wondratschek
  by Urs Schreiber at July 13, 2025 at 12:24:48
• crystallographic group ( crystallographic group(rev # 29) | history )
  by Urs Schreiber at July 13, 2025 at 12:20:06
• meaning explanation ( meaning explanation(rev # 33) | history )
  by Bruno Bentzen at July 13, 2025 at 12:03:26
• extensional type theory ( extensional type theory(rev # 40) | history )
  by Bruno Bentzen at July 13, 2025 at 11:17:01
• Marco Grandis ( Marco Grandis(rev # 9) | history )
  by Urs Schreiber at July 13, 2025 at 10:49:38
• Marco Grandis ( Marco Grandis(rev # 8) | history )
  by Samuel Mimram at July 13, 2025 at 09:32:59
• n-image ( n-image(rev # 24) | history )
  by Samuel Mimram at July 13, 2025 at 09:06:18
• rational homotopy theory ( rational homotopy theory(rev # 139) | history )
  by Urs Schreiber at July 13, 2025 at 08:25:26
• quantum set ( quantum set(rev # 19) | history )
  by Andre Kornell at July 12, 2025 at 23:22:14
• Dialectica interpretation ( Dialectica interpretation(rev # 6) | history )
  by Valeria de Paiva at July 12, 2025 at 22:11:01
• quantum set ( quantum set(rev # 18) | history )
  by Andre Kornell at July 12, 2025 at 21:19:35
• Yoneda lemma ( Yoneda lemma(rev # 84) | history )
  by Alex Kreitzberg? at July 12, 2025 at 18:39:41
• Per Martin-Löf ( Per Martin-Löf(rev # 16) | history )
  by Urs Schreiber at July 12, 2025 at 18:31:53
• Bruno Bentzen ( Bruno Bentzen(rev # 5) | history )
  by Urs Schreiber at July 12, 2025 at 18:29:56
• analytic versus synthetic ( analytic versus synthetic(rev # 16) | history )
  by Urs Schreiber at July 12, 2025 at 18:28:11
• analytic versus synthetic ( analytic versus synthetic(rev # 15) | history )
  by Rod Mc Guire at July 12, 2025 at 18:21:12
• B. Andrei Bernevig ( B. Andrei Bernevig(rev # 6) | history )
  by Urs Schreiber at July 12, 2025 at 15:34:00
• topological crystalline insulator ( topological crystalline insulator(rev # 13) | history )
  by Urs Schreiber at July 12, 2025 at 15:33:14