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)
Fun talk by Sara Soskolne down at Cooper about the maximally fiddly bits of designing Gotham and Quarto.
-
(no subject)
A nice long essay full of typography found on Broadway: http://www.hopesandfears.com/hopes/culture/design/216855-typography-of-broadway-from-a-to-z
-
(no subject)
More stuff happened: Tried to find a typisch deutsche döner kebap, but we only came across an outdoor stand with no real seating to speak of,…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
