The following pages link to (Q4085901):
Displayed 15 items.
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- Another denormalization theorem for abelian chain complexes (Q752839) (← links)
- The tower of n-groupoids and the long cohomology sequence (Q912967) (← links)
- A general formulation of homotopy limits (Q1064577) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- (Q2709566) (← links)
- (Q3050613) (← links)
- (Q3050615) (← links)
- (Q3315682) (← links)
- (Q3341024) (← links)
- (Q3916716) (← links)
- (Q3934678) (← links)
- (Q4097071) (← links)
- (Q4161837) (← links)