SethR thinks {SethBot believes {{[* 2, 3, [- 5, 4] = 6} isa (exampleOf Nesting).} isa (examples of reification)}
SethR: anyone care to express that in category theory ?
Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at Freenode channel #swig 2001-2018 approx by the chump bot.
Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot