Mathematics – Category Theory
Scientific paper
2010-01-15
Mathematics
Category Theory
14 pages; submitted to proceedings of MakkaiFest 2009; expository
Scientific paper
This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories internal to Bicat, and see how to extend this to n-tuple bicategories (and similarly for tricategories etc.) We briefly consider how to reproduce "simpler" definitions of weak cubical n-category from these.
No associations
LandOfFree
Cubical n-Categories and Finite Limits Theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Cubical n-Categories and Finite Limits Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Cubical n-Categories and Finite Limits Theories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-356442