GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz), page 3

  1. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Monday, 18-Nov-2024 20:02:02 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe
    in reply to
    • julesh

    @julesh sad trombone noises

    In conversation about 7 months ago from mathstodon.xyz permalink
  2. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Sunday, 17-Nov-2024 20:38:20 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe
    in reply to
    • julesh

    @julesh *when asked for a statement, Ukraine denied taking responsibility for stealing Putin's nose"

    In conversation about 7 months ago from mathstodon.xyz permalink
  3. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Saturday, 16-Nov-2024 07:43:25 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe

    - I'm having a great start to my week

    - Captain, it's Friday

    In conversation about 7 months ago from mathstodon.xyz permalink
  4. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Thursday, 07-Nov-2024 05:44:22 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe

    Both Vect and Rel are compact closed and can be expressed as a kleisli category of a monad. Is there a general theorem about the class of monads whose kleisli categories are compact closed?

    In conversation about 7 months ago from mathstodon.xyz permalink
  5. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Tuesday, 05-Nov-2024 02:19:05 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe
    in reply to
    • julesh

    @julesh wait people on here have growing folllwer counts?

    In conversation about 7 months ago from mathstodon.xyz permalink
  6. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Monday, 04-Nov-2024 23:32:26 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe
    in reply to
    • chris martens
    • julesh

    @chrisamaphone @julesh what's the original tweet this is referring to?

    In conversation about 7 months ago from mathstodon.xyz permalink
  7. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Tuesday, 06-Aug-2024 02:31:08 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe

    Breakfast and move things

    In conversation about 10 months ago from mathstodon.xyz permalink
  8. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Monday, 18-Mar-2024 20:43:41 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe

    judge: do you swear to tell the truth the whole truth and nothing but the truth

    Gödel: *sweating profusely*

    In conversation about a year ago from mathstodon.xyz permalink
  9. Embed this notice
    Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Friday, 26-Jan-2024 23:05:57 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe
    in reply to
    • Jade Master

    @JadeMasterMath Congrats! What's the job?

    In conversation Friday, 26-Jan-2024 23:05:57 JST from mathstodon.xyz permalink
  • After

User actions

    Zanzi @ Monoidal Cafe

    Zanzi @ Monoidal Cafe

    Applied category theorist, working on merging category theory and functional programming.https://zanzix.github.io/

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          238194
          Member since
          26 Jan 2024
          Notices
          49
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.