Pages that link to "Item:Q5730919"

The following pages link to FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES (Q5730919):

Displaying 50 items.

• Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
• A connection between concurrency and language theory (Q265802) (← links)
• \(\mu\)-abstract elementary classes and other generalizations (Q272987) (← links)
• Fuzzy terms (Q277347) (← links)
• Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
• Clones with nullary operations. (Q280187) (← links)
• A short introduction to clones. (Q280194) (← links)
• Freyd categories are enriched Lawvere theories (Q280202) (← links)
• The partial clone of linear terms (Q345247) (← links)
• Diagrams as sketches (Q375288) (← links)
• The fundamental pro-groupoid of an affine 2-scheme (Q385598) (← links)
• A scalable module system (Q391632) (← links)
• Lifting homotopy \(T\)-algebra maps to strict maps (Q400996) (← links)
• Free internal groups (Q421479) (← links)
• Algebraic theory of vector-valued integration (Q424559) (← links)
• Clones of topological spaces (Q439313) (← links)
• Monads with arities and their associated theories (Q456883) (← links)
• Dualizing clones into categories of topological spaces. (Q485103) (← links)
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
• Frobenius and the derived centers of algebraic theories (Q522040) (← links)
• Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras (Q535110) (← links)
• Canonical constraints for parameterized data types (Q580959) (← links)
• Unification in commutative theories (Q582071) (← links)
• Actions of Boolean rings on sets (Q583355) (← links)
• Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
• Classifying vectoids and operad kinds (Q641941) (← links)
• Two-vector spaces and groupoids (Q647448) (← links)
• Categorical (binary) difference terms and protomodularity (Q651386) (← links)
• Representing model theory in a type-theoretical logical framework (Q654913) (← links)
• An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
• Relations in operational categories (Q678847) (← links)
• Higher cohomology operations and \(R\)-completion (Q679785) (← links)
• Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
• Algebra and local presentability: how algebraic are they? (A survey) (Q680309) (← links)
• Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583) (← links)
• Adas and the equational theory of if-then-else (Q690107) (← links)
• A cellular nerve for higher categories (Q696846) (← links)
• Topological semi-abelian algebras (Q703814) (← links)
• A categorical approach to polyadic algebras (Q761451) (← links)
• Algebras of iteration theories (Q789159) (← links)
• Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
• Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
• All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310) (← links)
• On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
• Characterizing categories of algebras (Q800476) (← links)
• Algebras, polynomials and programs (Q802882) (← links)
• Interpretations of module varieties (Q805646) (← links)
• Free quantaloids (Q805732) (← links)
• Cover relations on categories (Q835748) (← links)