nLab Latest Revisions

• (infinity,1)-equalizer ( (infinity,1)-equalizer(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 09:12:42
• equalizer in simplicial type theory > history ( equalizer in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 09:12:06
• (infinity,1)-pushout ( (infinity,1)-pushout(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 09:01:10
• pushout ( pushout(rev # 33) | history )
  by Anonymouse? at April 11, 2025 at 08:55:06
• coequalizer ( coequalizer(rev # 21) | history )
  by Anonymouse? at April 11, 2025 at 08:53:58
• finitely complete type ( finitely complete type(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 08:51:01
• finitely cocomplete type ( finitely cocomplete type(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 08:50:37
• simplicial type theory ( simplicial type theory(rev # 39) | history )
  by Anonymouse? at April 11, 2025 at 08:38:15
• coequalizer in simplicial type theory > history ( coequalizer in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 08:37:48
• surface ( surface(rev # 28) | history )
  by Urs Schreiber at April 11, 2025 at 08:37:10
• prelattice ( prelattice(rev # 8) | history )
  by Anonymouse? at April 11, 2025 at 08:28:49
• bicartesian preordered object ( bicartesian preordered object(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 08:27:30
• bicartesian category ( bicartesian category(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 08:24:12
• Frédéric Paugam ( Frédéric Paugam(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 08:14:58
• Global analytic geometry ( Global analytic geometry(rev # 35) | history )
  by Anonymouse? at April 11, 2025 at 08:14:25
• Denis-Charles Cisinski ( Denis-Charles Cisinski(rev # 23) | history )
  by Anonymouse? at April 11, 2025 at 07:57:55
• Bastiaan Cnossen ( Bastiaan Cnossen(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 07:55:36
• Tashi Walde ( Tashi Walde(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 07:48:55
• doctrine ( doctrine(rev # 21) | history )
  by Anonymouse? at April 11, 2025 at 07:44:20
• higher doctrine ( higher doctrine(rev # 11) | history )
  by Anonymouse? at April 11, 2025 at 07:40:26
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 424) | history )
  by Urs Schreiber at April 11, 2025 at 07:39:45
• (infinity,1)-pushout ( (infinity,1)-pushout(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 07:23:52
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 07:23:40
• (infinity,1)-coequalizer ( (infinity,1)-coequalizer(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 07:23:30
• formal (infinity,1)-category theory ( formal (infinity,1)-category theory(rev # 13) | history )
  by Anonymouse? at April 11, 2025 at 07:22:42
• Hoang Kim Nguyen ( Hoang Kim Nguyen(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 07:22:07
• Hoang Kim Nyugen
  by Anonymouse? at April 11, 2025 at 07:21:15
• (∞,1)-limit ( (∞,1)-limit(rev # 82) | history )
  by Anonymouse? at April 11, 2025 at 07:14:54
• simplicial type theory ( simplicial type theory(rev # 38) | history )
  by Anonymouse? at April 11, 2025 at 06:37:46
• Skyrmions from rational maps -- references ( Skyrmions from rational maps -- references(rev # 5) | history )
  by Urs Schreiber at April 11, 2025 at 06:29:55
• Bernard Julia ( Bernard Julia(rev # 7) | history )
  by Urs Schreiber at April 11, 2025 at 06:21:42
• supergravity ( supergravity(rev # 104) | history )
  by Urs Schreiber at April 11, 2025 at 06:19:20
• simplicial type theory ( simplicial type theory(rev # 37) | history )
  by Anonymouse? at April 11, 2025 at 06:02:07
• pushout in simplicial type theory > history ( pushout in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 05:58:23
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 05:45:12
• cospan in simplicial type theory ( cospan in simplicial type theory(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 05:43:22
• coproduct in simplicial type theory > history ( coproduct in simplicial type theory > history(rev # 8) | history )
  by Anonymouse? at April 11, 2025 at 05:38:00
• regular language ( regular language(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 05:10:48
• regular expression > history
  by Anonymouse? at April 11, 2025 at 05:10:14
• context-free grammar ( context-free grammar(rev # 8) | history )
  by Anonymouse? at April 11, 2025 at 04:48:17
• Kleene star algebra ( Kleene star algebra(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 04:46:46
• John Horton Conway ( John Horton Conway(rev # 10) | history )
  by Anonymouse? at April 11, 2025 at 04:46:28
• Jurriaan Rot
  by Anonymouse? at April 11, 2025 at 04:36:07
• Jana Wagemaker
  by Anonymouse? at April 11, 2025 at 04:34:58
• Damien Pous
  by Anonymouse? at April 11, 2025 at 04:34:43
• Kleene algebra ( Kleene algebra(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 04:21:28
• category of cubes ( category of cubes(rev # 42) | history )
  by Anonymouse? at April 11, 2025 at 04:17:06
• Boolean algebra ( Boolean algebra(rev # 30) | history )
  by Anonymouse? at April 11, 2025 at 04:15:17
• De Morgan algebra ( De Morgan algebra(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 04:12:50
• Georg Struth
  by Anonymouse? at April 11, 2025 at 04:10:37
• Heiko Vogler ( Heiko Vogler(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 04:09:46
• Branislav Rovan
  by Anonymouse? at April 11, 2025 at 04:09:39
• Peter Höfner
  by Anonymouse? at April 11, 2025 at 04:09:17
• cubical set ( cubical set(rev # 89) | history )
  by Anonymouse? at April 11, 2025 at 04:03:07
• Ed Morehouse ( Ed Morehouse(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 04:02:28
• Ulrik Buchholtz ( Ulrik Buchholtz(rev # 17) | history )
  by Anonymouse? at April 11, 2025 at 04:02:06
• rig ( rig(rev # 49) | history )
  by Anonymouse? at April 11, 2025 at 03:51:18
• Kleene star algebra ( Kleene star algebra(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 03:48:52
• Dexter Kozen ( Dexter Kozen(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 03:44:58
• star semiring > history ( star semiring > history(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 03:39:23
• Conway semiring ( Conway semiring(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 03:35:29
• Zoltán Ésik
  by Anonymouse? at April 11, 2025 at 03:35:17
• Heiko Vogler ( Heiko Vogler(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 03:29:09
• Werner Kuich
  by Anonymouse? at April 11, 2025 at 03:28:59
• Manfred Droste
  by Anonymouse? at April 11, 2025 at 03:28:50
• Tannakian category ( Tannakian category(rev # 7) | history )
  by John Baez at April 11, 2025 at 03:01:29
• Daniel Lehmann
  by Anonymouse? at April 11, 2025 at 02:59:27
• Kleene star algebra ( Kleene star algebra(rev # 1) | history )
  by Anonymouse? at April 11, 2025 at 02:53:41
• star-algebra ( star-algebra(rev # 25) | history )
  by Anonymouse? at April 11, 2025 at 02:51:24
• Kleene algebra ( Kleene algebra(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 02:42:18
• De Morgan algebra ( De Morgan algebra(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 02:23:30
• flat distributive lattice ( flat distributive lattice(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 02:04:01
• involutive poset
  by Anonymouse? at April 11, 2025 at 01:58:03
• Priestley space ( Priestley space(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 01:54:35
• Boolean algebra ( Boolean algebra(rev # 29) | history )
  by Anonymouse? at April 11, 2025 at 01:51:32
• Kleene algebra ( Kleene algebra(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 01:49:35
• William Cornish
  by Anonymouse? at April 11, 2025 at 01:47:11
• Peter Fowler
  by Anonymouse? at April 11, 2025 at 01:46:55
• partial order ( partial order(rev # 68) | history )
  by Anonymouse? at April 11, 2025 at 01:13:54
• distributive lattice ( distributive lattice(rev # 35) | history )
  by Anonymouse? at April 11, 2025 at 01:10:14
• Garrett Birkhoff ( Garrett Birkhoff(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 01:10:00
• regular element ( regular element(rev # 10) | history )
  by Anonymouse? at April 11, 2025 at 00:58:51
• cancellative element of a commutative ring ( cancellative element of a commutative ring(rev # 18) | history )
  by Anonymouse? at April 11, 2025 at 00:57:38
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 00:38:02
• simplicial type
  by Anonymouse? at April 11, 2025 at 00:25:55
• triangulated type theory ( triangulated type theory(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 00:18:03
• simplicial object in an (infinity,1)-category ( simplicial object in an (infinity,1)-category(rev # 17) | history )
  by Anonymouse? at April 10, 2025 at 23:30:16
• hom type ( hom type(rev # 14) | history )
  by Anonymouse? at April 10, 2025 at 23:18:14
• partial order ( partial order(rev # 67) | history )
  by Anonymouse? at April 10, 2025 at 23:07:21
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 21:58:23
• coproduct ( coproduct(rev # 24) | history )
  by Anonymouse? at April 10, 2025 at 21:57:55
• propositional resizing ( propositional resizing(rev # 25) | history )
  by Anonymouse? at April 10, 2025 at 21:46:18
• analytic LPO ( analytic LPO(rev # 14) | history )
  by Anonymouse? at April 10, 2025 at 21:46:08
• modular theory ( modular theory(rev # 22) | history )
  by Jesus Lopez? at April 10, 2025 at 19:41:23
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 2) | history )
  by Anonymouse? at April 10, 2025 at 18:40:37
• event structure ( event structure(rev # 18) | history )
  by David Corfield at April 10, 2025 at 18:33:34
• skeletal type ( skeletal type(rev # 3) | history )
  by Anonymouse? at April 10, 2025 at 18:06:57
• isomorphism in simplicial type theory ( isomorphism in simplicial type theory(rev # 7) | history )
  by Anonymouse? at April 10, 2025 at 18:06:38
• univalent type ( univalent type(rev # 4) | history )
  by Anonymouse? at April 10, 2025 at 18:06:23
• existential quantifier ( existential quantifier(rev # 30) | history )
  by Anonymouse? at April 10, 2025 at 17:45:12