Jason (jcreed) wrote,


Hmmm. Read a John Baez paper in the proceedings of
a CS and CT conference in Italy in '97. (005.1 C357 1997)
Trying to understand the definition of opetopes therein.
They use it to define weak omega-categories.
There almost seems to be a vague connection between opetope composition
and the transitivity axiom of Grothendieck topologies, but maybe
I'm hallucinating it.

  • (no subject)

    Lunch at the goog with wjl, also ran into cgarrod and kelli and tomczak and gopi and agoode. Attended sigbovik, was traditional and glonous and…

  • (no subject)

    The eighth sigbovik sigbovicked successfully. A few really funny talks, some farther on the meh end of the spectrum, as is not uncommon. I really…

  • (no subject)

    Sigbovik happened! It was a good and fine sigbovik. I am mostly impressed that it has simply continued to happen for 7 consecutive years.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded