The following pages link to (Q5200272):
Displaying 12 items.
- Lifting homotopy \(T\)-algebra maps to strict maps (Q400996) (← links)
- Completed power operations for Morava \(E\)-theory (Q498730) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- Monoid properties as invariants of toposes of monoid actions (Q2044554) (← links)
- A characterisation of algebraic exactness (Q2376585) (← links)
- On the nonexistence of elements of Kervaire invariant one (Q2630924) (← links)
- On sifted colimits in the presence of pullbacks (Q5019078) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- A categorical view of varieties of ordered algebras (Q5058361) (← links)
- Products and coequalizers in pointed categories (Q5203768) (← links)
- Elastic diffeological spaces (Q6120741) (← links)
- (Q6161782) (← links)