3 ms·

An Urbit is just a monoid in the category of endofunctors, isn't it?

• agumonkey 7y ago
  usually OSes are modeled or encoded as co-things .. but I'm not a haskeller so wait and see.
• lonelappde 7y ago
  I think it's a fixed point in the lattice of operational systems.