btw does anyone know where to find anything about higher categories with morphisms at transfinite ordinal levels? or is this not coherent or not explored because there's no motivation or something. i think it makes sense (if the underlying shapes use degeneracies and projections offsetting by some variable amount rather than always as compositions of those of one dimension, with the additional required identities that brings) but haven't been able to find anything in searching
Free Soft !!!
- any
imprisoned in the computer for being too beautiful. sideblog for smaller thoughts (on computers, math, weeb shit, and more). all original work here is released under CC0.
You must log in to comment.