The following pages link to (Q4293501):
Displaying 50 items.
- On second-order iterative monads (Q639639) (← links)
- Category-theoretic aspects of abstract elementary classes (Q639686) (← 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)
- Algebra and local presentability: how algebraic are they? (A survey) (Q680309) (← links)
- Discrete \(G\)-spectra and embeddings of module spectra (Q684108) (← links)
- Idempotent functors and localizations in categories of modules and Abelian groups. (Q690756) (← links)
- Abstract elementary classes and accessible categories (Q714732) (← links)
- Algebraic models for higher categories (Q716491) (← links)
- Moduli stacks of algebraic structures and deformation theory (Q740103) (← links)
- A uniqueness theorem in a finitely accessible additive category (Q742951) (← links)
- Categorification of algebraic quantum field theories (Q829948) (← links)
- On the axiomatisability of the dual of compact ordered spaces (Q831307) (← links)
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
- Sobriety and spatiality in varieties of algebras (Q835242) (← links)
- The orthogonal subcategory problem and the small object argument (Q839589) (← links)
- On combinatorial model categories (Q839591) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- A Quillen model category structure on some categories of comonoids (Q847151) (← links)
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories (Q847679) (← 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)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- \(\mathbf{A}^1\)-homotopy theory of noncommutative motives (Q893798) (← links)
- On objects with a semilocal endomorphism rings in finitely accessible additive categories (Q895863) (← links)
- Waldhausen \(K\)-theory of spaces via comodules (Q908092) (← links)
- Addendum to ``Direct limits in the heart of a t-structure: the case of a torsion pair'' (Q908340) (← links)
- Unexpected properties of locally presentable categories (Q913938) (← 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)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- On epimorphisms and monomorphisms of Hopf algebras. (Q965171) (← links)
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches (Q969582) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
