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.
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.
-
(no subject)
Oh jeez Boulet, this is what you casually slap together for a 24-hour comic? Come on, now, you're just showing off. (But seriously it is so cute)
-
(no subject)
Compare: (a) Borges's Celestial Emporium of Benevolent Knowledge. (b) Today's smbc. --- A further example of excellent linguistic trolling…
-
(no subject)
Le Ballon Rouge
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
