The following pages link to (Q4293501):
Displayed 50 items.
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- On homotopy varieties (Q2381845) (← links)
- Localization with respect to a class of maps. II: Equivariant cellularization and its application (Q2382244) (← links)
- Fundamental constructions for coalgebras, corings, and comodules. (Q2426118) (← links)
- Flow does not model flows up to weak dihomotopy (Q2432566) (← links)
- Kaplansky classes and derived categories (Q2458870) (← links)
- \(^{\perp}N\) as an abstract elementary class (Q2461189) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Quillen's small object argument in the category of firm modules. (Q2474285) (← links)
- Weak factorizations, fractions and homotopies (Q2487462) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- On an essentially algebraic theory for locally presentable categories (Q2502182) (← links)
- Pure morphisms in pro-categories (Q2502913) (← links)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- Implications of large-cardinal principles in homotopical localization (Q2570069) (← links)
- A generalization of Quillen's small object argument (Q2581283) (← links)
- Flat covers in abelian and in non-abelian categories (Q2637922) (← links)
- (Q2719722) (← links)
- Finite presentability of strongly finite dilators (Q2729624) (← links)
- (Q2752243) (← links)
- (Q2762307) (← links)
- Equational Compactness of<i>G</i>-sheaves (Q2880429) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Definable additive categories: purity and model theory (Q3082826) (← links)
- (Q3146268) (← links)
- Maximal exact structures on additive categories revisited (Q3225781) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- (Q3423073) (← links)
- All tilting modules are of countable type (Q3429616) (← links)
- (Q3532317) (← links)
- Telescope conjecture, idempotent ideals, and the transfinite radical (Q3550543) (← links)
- Covers in finitely accessible categories (Q3552112) (← links)
- (Q3597355) (← links)
- (Q3606618) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
- Finitary sketches (Q4372902) (← links)
- Accessible categories, saturation and categoricity (Q4372912) (← links)
- Left-determined model categories and universal homotopy theories (Q4417276) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- (Q4500849) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4668856) (← links)
- (Q4668857) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- (Q4826289) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)