The following pages link to (Q4293501):
Displayed 50 items.
- Witt vectors and Tambara functors (Q555891) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Finite models of sketches (Q678828) (← links)
- On regular monomorphisms in weakly locally presentable categories (Q678842) (← links)
- The fiber of functors between categories of algebras (Q852922) (← links)
- \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems (Q857748) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- On realizing diagrams of \(\Pi\)-algebras (Q863035) (← links)
- Rigidification of algebras over multi-sorted theories (Q863085) (← links)
- Covers and directed colimits. (Q865040) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Towards ``dynamic domains'': totally continuous cocomplete \(\mathcal Q\)-categories (Q875519) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Limits of small functors (Q886254) (← links)
- Protolocalisations of homological categories (Q927328) (← links)
- Universal constructions for Hopf algebras. (Q942213) (← links)
- Modules over motivic cohomology (Q944326) (← links)
- The countable telescope conjecture for module categories. (Q947776) (← links)
- Local-to-global spectral sequences for the cohomology of diagrams (Q952241) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Model structures on the category of small double categories (Q1007175) (← links)
- Algebraic theories of quasivarieties (Q1273384) (← links)
- Purity and injectivity in accessible categories (Q1295551) (← links)
- The locally connected coclosure of a Grothendieck topos (Q1295730) (← links)
- Covariant types (Q1390953) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- On projectivity in locally presentable categories. (Q1427368) (← links)
- A simple characterization of theories of varieties (Q1593791) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- On abstract data types presented by multiequations (Q1607218) (← links)
- A generalization of the duality compactness theorem (Q1612122) (← links)
- Completeness of cocompletions (Q1770534) (← links)
- On quasivarieties and varieties as categories (Q1770598) (← links)
- Higher Čech theory (Q1770810) (← links)
- A Quillen model structure for bicategories (Q1780006) (← 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)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)