０７６萌ＳＮＳ
  • Login

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. Chris (50htz@cathode.church)'s status on Wednesday, 29-Mar-2023 08:29:37 JST Chris Chris

    Basically, you make types fuzzy by lifting Boolean logic to intervals through Enriched Category Theory
    https://www.youtube.com/live/ql_hrkv6g_g?feature=share

    In conversation Wednesday, 29-Mar-2023 08:29:37 JST from cathode.church permalink

    Attachments


    1. https://deflector.cathode.church/media_attachments/files/110/103/473/640/647/019/original/2c00414ba4f89cdd.png
    2. Paige North: "Fuzzy type theory"
      from Topos Institute
      Topos Institute Colloquium, 2nd of February 2023.———In this talk, I will report on progress developing a fuzzy type theory, a project that started as part of...

    Feeds

    • Activity Streams
    • RSS 2.0
    • Atom
    • Help
    • About
    • FAQ
    • TOS
    • Privacy
    • Source
    • Version
    • Contact

    ０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.