The following pages link to (Q4293501):
Displayed 50 items.
- Topologically semisimple and topologically perfect topological rings (Q2154812) (← links)
- Covariant isotropy of Grothendieck toposes and extensive categories (Q2156420) (← links)
- Accessibility and presentability in 2-categories (Q2161116) (← links)
- Torsion and torsion-free classes from objects of finite type in Grothendieck categories (Q2161155) (← links)
- Actads (Q2169098) (← links)
- Higher weak (co)limits, adjoint functor theorems, and higher Brown representability (Q2169326) (← links)
- Global group laws and equivariant bordism rings (Q2171409) (← links)
- Tensor topology (Q2176086) (← links)
- Codensity: Isbell duality, pro-objects, compactness and accessibility (Q2176087) (← links)
- Matlis category equivalences for a ring epimorphism (Q2176105) (← links)
- Cofibrant generation of pure monomorphisms (Q2193244) (← links)
- General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
- Phantom covering ideals in categories without enough projective morphisms (Q2197552) (← links)
- Cotilting sheaves on Noetherian schemes (Q2197648) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)
- Periodic modules and acyclic complexes (Q2198612) (← links)
- Sizes and filtrations in accessible categories (Q2200036) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- On stability of exactness properties under the pro-completion (Q2217538) (← links)
- Homotopy types of abstract elementary classes (Q2223352) (← links)
- \(FI\)-modules over preadditive categories and torsion theories (Q2223371) (← links)
- Towards higher topology (Q2229960) (← links)
- On the tensor product of well generated dg categories (Q2229962) (← links)
- Covers and direct limits: a contramodule-based approach (Q2231124) (← links)
- Generators and closed classes of groups (Q2232013) (← links)
- Gray tensor products and lax functors of \((\infty, 2)\)-categories (Q2232726) (← links)
- Parametricity for primitive nested types (Q2233419) (← links)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics (Q2253186) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Descent in locally presentable categories (Q2254578) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- A model structure via orbit spaces for equivariant homotopy (Q2280133) (← links)
- Rings of modular forms and a splitting of \(\mathrm{TMF}_0(7)\) (Q2286221) (← links)
- Weak Vopěnka's principle does not imply Vopěnka's principle (Q2295468) (← links)
- Enriched regular theories (Q2301998) (← links)
- Local presentability of certain comma categories (Q2303778) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Equipping weak equivalences with algebraic structure (Q2305674) (← links)
- Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules (Q2310813) (← links)
- Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads (Q2311858) (← links)
- Embedding theorems for Janelidze's matrix conditions (Q2318400) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Cevian operations on distributive lattices (Q2332142) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- On finitary functors and their presentations (Q2341699) (← links)
- Direct limits in the heart of a t-structure: the case of a torsion pair (Q2349946) (← links)
- Rigidification of algebras over essentially algebraic~theories (Q2350093) (← links)
- Categorical aspects of compact quantum groups (Q2350318) (← links)
- Bivariant cyclic cohomology and Connes' bilinear pairings in noncommutative motives (Q2354784) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)