## Where communities thrive

• Join over 1.5M+ people
• Join over 100K+ communities
• Free without limits
##### Activity
Matthew Doty
@xcthulhu
Hey everyone!
Hopefully this will work out
johncarlosbaez
@johncarlosbaez
I guess it works.
Jonathan Castello
@Twisol
A test: $\downarrow(z) = \{y \in P : y \le z\}$
WalterTautz
@WalterTautz
Woohoo! Not sure Kan extensions are discussed in this course, but it would be interesting to understand the motivations for this. Perhaps nLab is a good source?
Grant Roy
@lab-in-theory
Code test, also question, does anyone mess around with Maude at all? I've played with it very sparingly over the last year or so, and like Haskell it also has roots in category theory. This code sample is from
the Maude Book. I thought of the Petri Net example while I was looking through some of John's stuff.

mod LIBRARY-PETRI-NET is
sorts Place Marking .
subsort Place < Marking .
op 1 : -> Marking [ctor] .
op __ : Marking Marking -> Marking [ctor assoc comm id: 1] .
ops a b n r j : -> Place [ctor] .

var M : Marking .

rl [buy] : r r r r => j j j j j j j j .
rl [file] : j => a .
rl [borr] : a => b .
rl [ret] : b => a .
rl [lose] : b => n .
rl [disc] : a => n .
rl [req1] : n n => r r .
rl [req2] : M => M r .
endm
I just realized shift+enter allows you to hit enter without publishing, also the keyboard toggle at the top right is kinda neat
Matthew Doty
@xcthulhu
@johncarlosbaez I'm pretty happy with this and the it's LaTeX support. Can we change the name of this thread and have it link here? https://forum.azimuthproject.org/discussion/2039/slack-channel#latest
drrckln
@drrckln
okay, cool, it seems to work
Jared Summers
@rabuf
Hello everyone. One of the two (were there more?) Jareds here. If we are happy with this platform I can add a link to here from the Gitbook version of the lectures.
Alexander Varga
@asvarga
@lab-in-theory I started reading the Maude book a few months ago. It seemed extremely powerful with its reflective abilities. I'll have to get back to it some time.
Grant Roy
@lab-in-theory
@asvarga Yes, I think it's a really elegant framework, I'm hoping that throughout the class I'll be able to use it to implement some of the ideas.
aetheramd
@aetheramd
Hey guys this is Michael Hong. dunno if I can keep up with the convo but would love listen in your discussions.
Does anyone know how to change the screen name?
Jonathan Castello
@Twisol
I think you may need to set that in your Github profile, @aetheramd
Jared Summers
@rabuf
The name is based on your display name on GitHub. You can change it there in your settings.
aetheramd
@aetheramd
Cool thanks~
Just testing if the screenname changed
Hmmm guess I need to wait
Jared Davis
@Jared-Prime
Hi @rabuf ! I'm the other Jared. I go by @jared-prime on github to avoid name collisions
jesuslop
@jesuslop
Hi, @xcthulhu, nice nick, love Lovecraft. May I abuse your offer to other member and ask you a copy of one paper of Erné you cited? It would be https://doi.org/10.1007/BF00383401 and I am jesus.lopez.salvador at gmail.
Vijay Sharma
@Eulerianial
@jesuslop @xcthulhu Include me too: I am at ivnyou.all@gmail.com