Jason (jcreed) wrote,

Grr. Don't really have time to think about it right now, but I think there is potentially something really interesting about internal strict n-category objects in the functor category N -> Sets. In general I would really like to see a definition of weak n-category that gives it as merely a strict n-category "with stuff". Maybe my hope is in vain, but...

Unless I'm totally wrong, Cat is equivalent to the category of skeletal-categories-with cardinals, where by "skeletal" I mean "any two isomorphic objects are equal" and by "with cardinals" I mean over every object hovers a set that keeps track of the size of the isomorphism class you just collapsed. It really seems like this trick ought to be possible to continue, somehow, displaying the strict n-category "skeleton" of a weak n-category in a more obvious way, and keeping track of precisely the "error" in the approximation.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded