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

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

Conversation

Notices

  1. Embed this notice
    julesh (julesh@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 05:39:50 JST julesh julesh

    Hard question no context:

    Let 𝐶 be a category and 𝑋 an object of 𝐶, take the representable presheaf 𝐶 (−,𝑋) : 𝐶ᵒᵖ → 𝐒𝐞𝐭

    What does it mean for another presheaf 𝐹 : 𝐶ᵒᵖ → 𝐒𝐞𝐭 to be a monad relative to 𝐶 (−,𝑋) ?

    That's a big generalisation of the common setting of a monad relative to the inclusion 𝐅𝐢𝐧𝐒𝐞𝐭 ↪ 𝐒𝐞𝐭, which is represented by the 1-element set

    In conversation about 6 months ago from mathstodon.xyz permalink
    • Embed this notice
      Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 06:01:30 JST Zanzi @ Monoidal Cafe Zanzi @ Monoidal Cafe
      in reply to

      @julesh very interested in an answer to this!

      In conversation about 6 months ago permalink
    • Embed this notice
      ohad (ohad@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 06:11:06 JST ohad ohad
      in reply to

      @julesh I'd start here: https://arxiv.org/abs/1101.3064

      In conversation about 6 months ago permalink

      Attachments

      1. Domain not in remote thumbnail source whitelist: arxiv.org
        Monads with arities and their associated theories
        After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic theories to a general correspondence between monads and theories for a given category with arities. As application we determine arities for the free groupoid monad on involutive graphs and recover the symmetric simplicial nerve characterisation of groupoids.
    • Embed this notice
      Andy Tonks (apt12@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 06:46:46 JST Andy Tonks Andy Tonks
      in reply to

      @julesh OK maybe I am not understanding the question, but the unit \( \eta\colon \hat C\to F \) is just an element of the set \( FC \) by Yondaa, so that's a start.

      In conversation about 6 months ago permalink
    • Embed this notice
      julesh (julesh@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 06:50:50 JST julesh julesh
      in reply to
      • Andy Tonks

      @apt12 Nice

      In conversation about 6 months ago permalink

Feeds

  • Activity Streams
  • RSS 2.0
  • 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.