Homotopy Type Theory
Latest Revisions

• Sandbox ( Sandbox(rev # 48) | history )
  by Anonymous? at May 19, 2022 at 21:02:03
• Sandbox ( Sandbox(rev # 47) | history )
  by Anonymous? at May 19, 2022 at 16:19:19
• Large types
  by Anonymous? at May 19, 2022 at 14:08:55
• HomePage ( HomePage(rev # 45) | history )
  by Anonymous? at May 19, 2022 at 13:32:02
• ZF
  by Anonymous? at May 19, 2022 at 13:20:05
• SEAR ( SEAR(rev # 5) | history )
  by Anonymous? at May 19, 2022 at 12:34:25
• enriched poset ( enriched poset(rev # 2) | history )
  by Anonymous? at May 19, 2022 at 01:07:22
• Category theory ( Category theory(rev # 63) | history )
  by Anonymous? at May 19, 2022 at 01:05:25
• concrete precategory ( concrete precategory(rev # 5) | history )
  by Anonymous? at May 19, 2022 at 01:03:49
• concrete category ( concrete category(rev # 8) | history )
  by Anonymous? at May 19, 2022 at 01:03:21
• extensional dagger 2-poset > history ( extensional dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at May 19, 2022 at 01:03:00
• relational dagger 2-poset > history ( relational dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at May 19, 2022 at 01:02:54
• map-extensional dagger 2-poset > history ( map-extensional dagger 2-poset > history(rev # 5) | history )
  by Anonymous? at May 19, 2022 at 01:02:47
• map-evaluational dagger 2-poset > history ( map-evaluational dagger 2-poset > history(rev # 5) | history )
  by Anonymous? at May 19, 2022 at 01:02:40
• dagger 2-poset with elements > history ( dagger 2-poset with elements > history(rev # 7) | history )
  by Anonymous? at May 19, 2022 at 01:02:30
• filter
  by Anonymous? at May 18, 2022 at 22:25:25
• Sandbox ( Sandbox(rev # 46) | history )
  by Anonymous? at May 18, 2022 at 20:30:45
• dagger 2-poset with elements > history ( dagger 2-poset with elements > history(rev # 6) | history )
  by Anonymous? at May 18, 2022 at 12:26:44
• Category theory ( Category theory(rev # 62) | history )
  by Anonymous? at May 18, 2022 at 12:26:36
• concrete category ( concrete category(rev # 7) | history )
  by Anonymous? at May 18, 2022 at 12:26:11
• extensional dagger 2-poset > history ( extensional dagger 2-poset > history(rev # 2) | history )
  by Anonymous? at May 18, 2022 at 12:25:53
• map-extensional dagger 2-poset > history ( map-extensional dagger 2-poset > history(rev # 4) | history )
  by Anonymous? at May 18, 2022 at 12:25:35
• relational dagger 2-poset > history ( relational dagger 2-poset > history(rev # 2) | history )
  by Anonymous? at May 18, 2022 at 12:25:19
• map-evaluational dagger 2-poset > history ( map-evaluational dagger 2-poset > history(rev # 4) | history )
  by Anonymous? at May 18, 2022 at 12:25:04
• Category theory ( Category theory(rev # 61) | history )
  by Anonymous? at May 18, 2022 at 11:38:15
• concrete category ( concrete category(rev # 6) | history )
  by Anonymous? at May 18, 2022 at 11:26:43
• Sandbox ( Sandbox(rev # 45) | history )
  by Anonymous? at May 18, 2022 at 11:25:36
• dagger 2-poset with elements > history ( dagger 2-poset with elements > history(rev # 5) | history )
  by Anonymous? at May 18, 2022 at 11:25:08
• representably concrete category > history ( representably concrete category > history(rev # 2) | history )
  by Anonymous? at May 18, 2022 at 11:24:46
• extensional category > history ( extensional category > history(rev # 3) | history )
  by Anonymous? at May 18, 2022 at 11:13:35
• map-extensional dagger 2-poset > history ( map-extensional dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at May 18, 2022 at 11:11:15
• Rel ( Rel(rev # 4) | history )
  by Anonymous? at May 18, 2022 at 10:09:28
• map-extensional dagger 2-poset > history ( map-extensional dagger 2-poset > history(rev # 2) | history )
  by Anonymous? at May 18, 2022 at 10:09:09
• map-evaluational dagger 2-poset > history ( map-evaluational dagger 2-poset > history(rev # 3) | history )
  by Anonymous? at May 18, 2022 at 09:58:12
• concrete category ( concrete category(rev # 5) | history )
  by Anonymous? at May 18, 2022 at 09:56:49
• evaluational category > history ( evaluational category > history(rev # 2) | history )
  by Anonymous? at May 18, 2022 at 09:55:00
• extensional category > history ( extensional category > history(rev # 2) | history )
  by Anonymous? at May 18, 2022 at 09:53:27
• concrete precategory ( concrete precategory(rev # 4) | history )
  by Anonymous? at May 18, 2022 at 09:52:41
• concrete precategory ( concrete precategory(rev # 3) | history )
  by Anonymous? at May 18, 2022 at 02:57:08
• ETCS with elements ( ETCS with elements(rev # 6) | history )
  by Anonymous? at May 18, 2022 at 01:53:10
• ETCS with elements ( ETCS with elements(rev # 5) | history )
  by Anonymous? at May 17, 2022 at 23:32:00
• ETCS with elements ( ETCS with elements(rev # 4) | history )
  by Anonymous? at May 15, 2022 at 20:14:25
• ETCS with elements ( ETCS with elements(rev # 3) | history )
  by Anonymous? at May 15, 2022 at 09:43:35
• ETCS with elements ( ETCS with elements(rev # 2) | history )
  by Anonymous? at May 15, 2022 at 02:16:35
• ETCS with elements ( ETCS with elements(rev # 1) | history )
  by Anonymous? at May 15, 2022 at 00:07:25
• Sandbox ( Sandbox(rev # 44) | history )
  by Anonymous? at May 14, 2022 at 23:13:00
• Category theory ( Category theory(rev # 60) | history )
  by Anonymous? at May 14, 2022 at 23:09:39
• Sandbox ( Sandbox(rev # 43) | history )
  by Anonymous? at May 14, 2022 at 20:42:17
• Sandbox ( Sandbox(rev # 42) | history )
  by Anonymous? at May 14, 2022 at 16:34:07
• Sandbox ( Sandbox(rev # 41) | history )
  by Anonymous? at May 14, 2022 at 15:02:25
• Sandbox ( Sandbox(rev # 40) | history )
  by Anonymous? at May 12, 2022 at 20:48:14
• Sandbox ( Sandbox(rev # 39) | history )
  by Anonymous? at May 12, 2022 at 19:27:37
• Whitehead's principle
  by Anonymous? at May 12, 2022 at 01:50:54
• excluded middle
  by Anonymous? at May 12, 2022 at 01:44:11
• double negation
  by Anonymous? at May 12, 2022 at 01:43:33
• Logic ( Logic(rev # 2) | history )
  by Anonymous? at May 12, 2022 at 01:31:31
• Sandbox ( Sandbox(rev # 38) | history )
  by Anonymous? at May 11, 2022 at 20:53:18
• Analysis ( Analysis(rev # 25) | history )
  by Anonymous? at May 11, 2022 at 20:52:28
• Number theory ( Number theory(rev # 10) | history )
  by Anonymous? at May 11, 2022 at 20:48:00
• interval-complete strict order ( interval-complete strict order(rev # 3) | history )
  by Anonymous? at May 11, 2022 at 20:47:03
• closed interval ( closed interval(rev # 4) | history )
  by Anonymous? at May 11, 2022 at 20:45:17
• Dedekind complete Archimedean ordered integral domain ( Dedekind complete Archimedean ordered integral domain(rev # 3) | history )
  by Anonymous? at May 11, 2022 at 20:44:20
• Sandbox ( Sandbox(rev # 37) | history )
  by Anonymous? at May 11, 2022 at 17:10:27
• Sandbox ( Sandbox(rev # 36) | history )
  by Anonymous? at May 11, 2022 at 15:24:42
• Sandbox ( Sandbox(rev # 35) | history )
  by Anonymous? at May 11, 2022 at 14:52:24
• type ( type(rev # 10) | history )
  by Anonymous? at May 11, 2022 at 00:02:53
• type ( type(rev # 9) | history )
  by Anonymous? at May 10, 2022 at 22:50:02
• geometric algebra ( geometric algebra(rev # 5) | history )
  by Anonymous? at May 10, 2022 at 13:29:09
• Higher algebra ( Higher algebra(rev # 31) | history )
  by Anonymous? at May 10, 2022 at 13:25:22
• filtered algebra
  by Anonymous? at May 10, 2022 at 13:23:49
• graded module
  by Anonymous? at May 10, 2022 at 13:23:11
• image ( image(rev # 2) | history )
  by Anonymous? at May 10, 2022 at 12:42:39
• quadratic form ( quadratic form(rev # 2) | history )
  by Anonymous? at May 10, 2022 at 12:40:46
• geometric algebra ( geometric algebra(rev # 4) | history )
  by Anonymous? at May 10, 2022 at 12:38:59
• module ( module(rev # 4) | history )
  by Anonymous? at May 10, 2022 at 12:23:20
• geometric algebra ( geometric algebra(rev # 3) | history )
  by Anonymous? at May 10, 2022 at 03:00:41
• computable real numbers
  by Anonymous? at May 9, 2022 at 22:44:16
• real numbers ( real numbers(rev # 14) | history )
  by Anonymous? at May 9, 2022 at 22:33:09
• locator ( locator(rev # 5) | history )
  by Anonymous? at May 9, 2022 at 22:31:41
• Sandbox ( Sandbox(rev # 34) | history )
  by Anonymous? at May 9, 2022 at 21:55:40
• articles that should be ported to the nLab ( articles that should be ported to the nLab(rev # 21) | history )
  by Anonymous? at May 9, 2022 at 01:01:43
• articles that should be ported to the nLab ( articles that should be ported to the nLab(rev # 20) | history )
  by Anonymous? at May 8, 2022 at 22:57:46
• Sandbox ( Sandbox(rev # 33) | history )
  by Anonymous? at May 8, 2022 at 16:16:38
• Sandbox ( Sandbox(rev # 32) | history )
  by Anonymous? at May 8, 2022 at 13:28:39
• Sandbox ( Sandbox(rev # 31) | history )
  by Anonymous? at May 8, 2022 at 12:33:21
• higher observational type theory ( higher observational type theory(rev # 14) | history )
  by Anonymous? at May 7, 2022 at 01:59:10
• higher observational type theory ( higher observational type theory(rev # 13) | history )
  by Anonymous? at May 6, 2022 at 18:01:22
• higher observational type theory ( higher observational type theory(rev # 12) | history )
  by Anonymous? at May 6, 2022 at 16:46:00
• Sandbox ( Sandbox(rev # 30) | history )
  by Anonymous? at May 6, 2022 at 14:28:01
• modulated Cauchy real numbers ( modulated Cauchy real numbers(rev # 11) | history )
  by Anonymous? at May 6, 2022 at 11:39:22
• Analysis ( Analysis(rev # 24) | history )
  by Anonymous? at May 6, 2022 at 11:37:33
• locator ( locator(rev # 4) | history )
  by Anonymous? at May 6, 2022 at 03:04:26
• higher observational type theory ( higher observational type theory(rev # 11) | history )
  by Anonymous? at May 6, 2022 at 02:58:39
• uniformly continuous function ( uniformly continuous function(rev # 2) | history )
  by Anonymous? at May 4, 2022 at 17:04:04
• pointwise continuous function ( pointwise continuous function(rev # 18) | history )
  by Anonymous? at May 4, 2022 at 17:03:01
• limit of a function ( limit of a function(rev # 12) | history )
  by Anonymous? at May 4, 2022 at 16:58:50
• strictly ordered abelian group ( strictly ordered abelian group(rev # 2) | history )
  by Anonymous? at May 4, 2022 at 16:30:00
• ordered field ( ordered field(rev # 2) | history )
  by Anonymous? at May 4, 2022 at 16:17:22
• ordered integral domain ( ordered integral domain(rev # 2) | history )
  by Anonymous? at May 4, 2022 at 16:06:10
• Archimedean ordered field ( Archimedean ordered field(rev # 6) | history )
  by Anonymous? at May 4, 2022 at 16:02:13