nLab Latest Revisions

• framed generalized Morse function
  by Dmitri Pavlov at April 12, 2025 at 16:50:29
• dependent type theory with type variables ( dependent type theory with type variables(rev # 13) | history )
  by Anonymouse? at April 12, 2025 at 16:43:42
• locally small type ( locally small type(rev # 4) | history )
  by Anonymouse? at April 12, 2025 at 13:28:29
• essentially small type ( essentially small type(rev # 5) | history )
  by Anonymouse? at April 12, 2025 at 13:27:36
• dependent type theory with type variables ( dependent type theory with type variables(rev # 12) | history )
  by Anonymouse? at April 12, 2025 at 13:23:35
• cofinal diagrams ( cofinal diagrams(rev # 8) | history )
  by varkor at April 12, 2025 at 13:17:25
• opposite simplicial infinity-groupoid ( opposite simplicial infinity-groupoid(rev # 3) | history )
  by Anonymouse? at April 12, 2025 at 12:16:12
• simplicial infinity-groupoid ( simplicial infinity-groupoid(rev # 9) | history )
  by Anonymouse? at April 12, 2025 at 12:15:36
• directed univalence axiom ( directed univalence axiom(rev # 10) | history )
  by Anonymouse? at April 12, 2025 at 12:04:52
• notions of type ( notions of type(rev # 12) | history )
  by Anonymouse? at April 12, 2025 at 12:02:45
• identity type ( identity type(rev # 122) | history )
  by Anonymouse? at April 12, 2025 at 12:02:17
• hierarchy of universes ( hierarchy of universes(rev # 7) | history )
  by Anonymouse? at April 12, 2025 at 12:01:43
• partial function type ( partial function type(rev # 3) | history )
  by Anonymouse? at April 12, 2025 at 12:01:22
• function type ( function type(rev # 39) | history )
  by Anonymouse? at April 12, 2025 at 12:00:21
• heterogeneous hom type ( heterogeneous hom type(rev # 2) | history )
  by Anonymouse? at April 12, 2025 at 12:00:06
• cubical path type ( cubical path type(rev # 11) | history )
  by Anonymouse? at April 12, 2025 at 11:59:58
• kernel ( kernel(rev # 31) | history )
  by varkor at April 12, 2025 at 11:59:53
• dependent product type ( dependent product type(rev # 38) | history )
  by Anonymouse? at April 12, 2025 at 11:59:28
• dependent anafunction ( dependent anafunction(rev # 5) | history )
  by Anonymouse? at April 12, 2025 at 11:59:15
• equivalence type ( equivalence type(rev # 32) | history )
  by Anonymouse? at April 12, 2025 at 11:58:30
• dependent function application to identifications ( dependent function application to identifications(rev # 7) | history )
  by Anonymouse? at April 12, 2025 at 11:58:05
• uniqueness of identity proofs ( uniqueness of identity proofs(rev # 17) | history )
  by Anonymouse? at April 12, 2025 at 11:57:17
• transport ( transport(rev # 34) | history )
  by Anonymouse? at April 12, 2025 at 11:53:51
• simplicial type theory ( simplicial type theory(rev # 42) | history )
  by Anonymouse? at April 12, 2025 at 11:52:25
• homological perturbation theory ( homological perturbation theory(rev # 13) | history )
  by Valerev D? at April 12, 2025 at 11:25:09
• dependent type theory with type variables ( dependent type theory with type variables(rev # 11) | history )
  by Anonymouse? at April 12, 2025 at 04:44:20
• fibered heterogeneous identity type ( fibered heterogeneous identity type(rev # 8) | history )
  by Anonymouse? at April 12, 2025 at 04:41:17
• structure identity principle ( structure identity principle(rev # 11) | history )
  by Anonymouse? at April 12, 2025 at 04:29:40
• heterogeneous identity type ( heterogeneous identity type(rev # 5) | history )
  by Anonymouse? at April 12, 2025 at 03:53:29
• indexed heterogeneous identity type ( indexed heterogeneous identity type(rev # 43) | history )
  by Anonymouse? at April 12, 2025 at 03:30:37
• fibered heterogeneous identity type ( fibered heterogeneous identity type(rev # 7) | history )
  by Anonymouse? at April 12, 2025 at 03:00:39
• dependent type theory with type variables ( dependent type theory with type variables(rev # 10) | history )
  by Anonymouse? at April 12, 2025 at 02:50:55
• dependent type theory with type variables ( dependent type theory with type variables(rev # 9) | history )
  by Anonymouse? at April 12, 2025 at 01:50:24
• dependent type theory with type variables ( dependent type theory with type variables(rev # 8) | history )
  by Anonymouse? at April 12, 2025 at 00:56:21
• function type ( function type(rev # 38) | history )
  by Anonymouse? at April 12, 2025 at 00:45:13
• Manuel Mekonnen
  by Anonymouse? at April 11, 2025 at 22:32:32
• Markus Mueller
  by Anonymouse? at April 11, 2025 at 22:32:23
• Thomas Galley
  by Anonymouse? at April 11, 2025 at 22:32:14
• parastatistics ( parastatistics(rev # 20) | history )
  by Anonymouse? at April 11, 2025 at 22:26:02
• Zhiyuan Wang
  by Anonymouse? at April 11, 2025 at 22:21:13
• Kaden Hazzard
  by Anonymouse? at April 11, 2025 at 22:21:05
• parastatistics ( parastatistics(rev # 19) | history )
  by perezl.alonso at April 11, 2025 at 22:17:10
• parastatistics ( parastatistics(rev # 18) | history )
  by Anonymouse? at April 11, 2025 at 22:13:16
• paraparticle > history
  by Anonymouse? at April 11, 2025 at 22:12:22
• fermion ( fermion(rev # 25) | history )
  by Anonymouse? at April 11, 2025 at 22:08:23
• boson ( boson(rev # 8) | history )
  by Anonymouse? at April 11, 2025 at 22:03:20
• elementary (infinity,1)-topos ( elementary (infinity,1)-topos(rev # 47) | history )
  by varkor at April 11, 2025 at 21:14:54
• Pin(3) ( Pin(3)(rev # 2) | history )
  by cmcraes? at April 11, 2025 at 20:03:49
• polynomial ( polynomial(rev # 49) | history )
  by varkor at April 11, 2025 at 19:04:17
• mapping class group ( mapping class group(rev # 37) | history )
  by Urs Schreiber at April 11, 2025 at 17:37:37
• Torelli group ( Torelli group(rev # 3) | history )
  by Urs Schreiber at April 11, 2025 at 17:37:12
• Andrew Putman ( Andrew Putman(rev # 5) | history )
  by Urs Schreiber at April 11, 2025 at 17:36:57
• simplicial type theory ( simplicial type theory(rev # 41) | history )
  by Anonymouse? at April 11, 2025 at 16:42:01
• uniqueness quantifier ( uniqueness quantifier(rev # 10) | history )
  by Anonymouse? at April 11, 2025 at 16:15:06
• Kleene algebra ( Kleene algebra(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 15:33:38
• quasiregular rig
  by Anonymouse? at April 11, 2025 at 15:31:22
• Category Theory conference ( Category Theory conference(rev # 27) | history )
  by philip? at April 11, 2025 at 15:25:48
• Kleene star algebra ( Kleene star algebra(rev # 7) | history )
  by Urs Schreiber at April 11, 2025 at 15:24:56
• trivial ring ( trivial ring(rev # 9) | history )
  by Anonymouse? at April 11, 2025 at 15:20:16
• quasiregular element
  by Anonymouse? at April 11, 2025 at 15:17:08
• Jacobson radical ( Jacobson radical(rev # 17) | history )
  by Anonymouse? at April 11, 2025 at 15:03:00
• Conway semiring ( Conway semiring(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 14:57:58
• Kleene star algebra ( Kleene star algebra(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 14:57:39
• nilpotent element ( nilpotent element(rev # 12) | history )
  by Anonymouse? at April 11, 2025 at 14:54:54
• lax-idempotent 2-monad ( lax-idempotent 2-monad(rev # 37) | history )
  by varkor at April 11, 2025 at 14:52:54
• Claudio Hermida ( Claudio Hermida(rev # 5) | history )
  by varkor at April 11, 2025 at 14:52:26
• generalized multicategory ( generalized multicategory(rev # 24) | history )
  by varkor at April 11, 2025 at 14:51:53
• star-algebra ( star-algebra(rev # 26) | history )
  by Anonymouse? at April 11, 2025 at 14:42:39
• semiring ( semiring(rev # 7) | history )
  by Anonymouse? at April 11, 2025 at 14:41:45
• rig ( rig(rev # 50) | history )
  by Anonymouse? at April 11, 2025 at 14:26:17
• Kleene star algebra ( Kleene star algebra(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 14:25:40
• star semiring > history ( star semiring > history(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 14:22:45
• cancellative element of a commutative ring ( cancellative element of a commutative ring(rev # 19) | history )
  by Anonymouse? at April 11, 2025 at 13:47:23
• Kleene star algebra ( Kleene star algebra(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 13:45:07
• Dexter Kozen ( Dexter Kozen(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 13:34:30
• infinitesimal extension ( infinitesimal extension(rev # 10) | history )
  by Lukas Stoll? at April 11, 2025 at 12:54:00
• initial object in an (infinity,1)-category ( initial object in an (infinity,1)-category(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 10:14:07
• terminal object in an (infinity,1)-category ( terminal object in an (infinity,1)-category(rev # 15) | history )
  by Anonymouse? at April 11, 2025 at 10:12:45
• terminal object ( terminal object(rev # 31) | history )
  by Anonymouse? at April 11, 2025 at 10:11:41
• initial object ( initial object(rev # 44) | history )
  by Anonymouse? at April 11, 2025 at 10:11:20
• h-initial object ( h-initial object(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 10:09:25
• Tashi Walde ( Tashi Walde(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 09:55:55
• Hoang Kim Nguyen ( Hoang Kim Nguyen(rev # 4) | history )
  by Anonymouse? at April 11, 2025 at 09:55:44
• Bastiaan Cnossen ( Bastiaan Cnossen(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 09:55:30
• Denis-Charles Cisinski ( Denis-Charles Cisinski(rev # 24) | history )
  by Anonymouse? at April 11, 2025 at 09:55:16
• terminal object in simplicial type theory > history ( terminal object in simplicial type theory > history(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 09:52:41
• (infinity,1)-product ( (infinity,1)-product(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 09:51:23
• (infinity,1)-pushout ( (infinity,1)-pushout(rev # 6) | history )
  by Anonymouse? at April 11, 2025 at 09:51:16
• (infinity,1)-coequalizer ( (infinity,1)-coequalizer(rev # 3) | history )
  by Anonymouse? at April 11, 2025 at 09:51:05
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 8) | history )
  by Anonymouse? at April 11, 2025 at 09:50:57
• (infinity,1)-pullback ( (infinity,1)-pullback(rev # 14) | history )
  by Anonymouse? at April 11, 2025 at 09:50:50
• (infinity,1)-equalizer ( (infinity,1)-equalizer(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 09:50:43
• constituent quark model ( constituent quark model(rev # 4) | history )
  by Urs Schreiber at April 11, 2025 at 09:38:49
• finitely complete type ( finitely complete type(rev # 5) | history )
  by Anonymouse? at April 11, 2025 at 09:37:19
• simplicial type theory ( simplicial type theory(rev # 40) | history )
  by Anonymouse? at April 11, 2025 at 09:36:31
• product in simplicial type theory > history ( product in simplicial type theory > history(rev # 7) | history )
  by Anonymouse? at April 11, 2025 at 09:35:13
• integer Heisenberg group ( integer Heisenberg group(rev # 25) | history )
  by Urs Schreiber at April 11, 2025 at 09:28:37
• pullback in simplicial type theory > history ( pullback in simplicial type theory > history(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 09:25:37
• (infinity,1)-coproduct ( (infinity,1)-coproduct(rev # 7) | history )
  by Anonymouse? at April 11, 2025 at 09:15:24
• (infinity,1)-coequalizer ( (infinity,1)-coequalizer(rev # 2) | history )
  by Anonymouse? at April 11, 2025 at 09:15:07