The following pages link to (Q4293501):
Displayed 50 items.
- Constructor-Based Institutions (Q2888501) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Accessible images revisited (Q2951169) (← links)
- Algebraic Databases (Q2981748) (← links)
- The two out of three property in ind-categories and a convenient model category of spaces (Q2981749) (← links)
- Definable additive categories: purity and model theory (Q3082826) (← links)
- (Q3146268) (← links)
- Free Poisson Hopf algebras generated by coalgebras (Q3189956) (← links)
- Maximal exact structures on additive categories revisited (Q3225781) (← links)
- Category Theory and Philosophy (Q3296107) (← links)
- A category-theoretic characterization of almost measurable cardinals (Q3298175) (← links)
- Model structures and relative Gorenstein flat modules and chain complexes (Q3299547) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← 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)
- Effect Algebras, Presheaves, Non-locality and Contextuality (Q3449492) (← 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)
- Homotopy theory of normed sets II. Model categories (Q4562021) (← links)
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces (Q4563236) (← links)
- (Q4585073) (← links)
- Homotopy theory of normed sets I. Basic constructions (Q4586403) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q4618428) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- An enriched view on the extended finitary monad--Lawvere theory correspondence (Q4637686) (← links)
- Universal abstract elementary classes and locally multipresentable categories (Q4644724) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4668856) (← links)
- (Q4668857) (← links)
- Distributed Relation Logic (Q4683211) (← links)
- (Q4683859) (← links)
- On Auslander’s formula and cohereditary torsion pairs (Q4686477) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← 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)