The following pages link to (Q4293501):
Displaying 50 items.
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- Relative Fourier transforms and expectations on coideal subalgebras (Q1799020) (← links)
- How accessible are categories of algebras? (Q1812029) (← links)
- Flat covers and factorizations (Q1849114) (← links)
- A classification of accessible categories (Q1850092) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- On reflective subcategories of varieties (Q1886829) (← links)
- On preaccessible categories (Q1910729) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- On pure morphisms in accessible categories (Q1916142) (← links)
- Algebraic exponentiation in general categories (Q1928245) (← links)
- The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category (Q1928247) (← links)
- Class-locally presentable and class-accessible categories (Q1934963) (← links)
- What is a finitely related object, categorically? (Q1937977) (← links)
- Effective codescent morphisms in locally presentable categories (Q1948515) (← links)
- Simplicial presheaves of coalgebras (Q1954170) (← links)
- A universal characterization of higher algebraic \(K\)-theory (Q1954320) (← links)
- An ``almost'' full embedding of the category of graphs into the category of groups (Q1959448) (← links)
- Uniqueness of uniform decompositions in exact categories (Q1996059) (← links)
- Internal sizes in \(\mu\)-abstract elementary classes (Q2001411) (← links)
- Monads and theories (Q2001598) (← links)
- Stabilization of derivators revisited (Q2002824) (← links)
- Skew structures in 2-category theory and homotopy theory (Q2012168) (← links)
- Definable orthogonality classes in accessible categories are small (Q2018246) (← links)
- Extension groups between atoms in abelian categories (Q2031594) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- Schreier split extensions of preordered monoids (Q2035656) (← links)
- On linear exactness properties (Q2035813) (← links)
- Test sets for factorization properties of modules (Q2039356) (← links)
- Finite presentation, the local lifting property, and local approximation properties of operator modules (Q2039825) (← links)
- Operadic lifts of the algebra of indexing systems (Q2040505) (← links)
- Monoid properties as invariants of toposes of monoid actions (Q2044554) (← links)
- Maximum deconstructibility in module categories (Q2065626) (← links)
- Approximate injectivity and smallness in metric-enriched categories (Q2069826) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras (Q2079637) (← links)
- A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \) (Q2079639) (← links)
- Duality theory for enriched Priestley spaces (Q2079656) (← links)
- Two criteria for locally Noetherian Grothendieck categories (Q2079659) (← links)
- Heisenberg-picture quantum field theory (Q2091279) (← links)
- Polyadic sets and homomorphism counting (Q2094593) (← links)
- Decomposing filtered chain complexes: geometry behind barcoding algorithms (Q2096381) (← links)
- Fast left Kan extensions using the chase (Q2102935) (← links)
- Discrete density comonads and graph parameters (Q2104475) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete (Q2104873) (← links)
- 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories (Q2105682) (← links)
- Adjoint functor theorems for homotopically enriched categories (Q2111223) (← links)
