DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Lawvere theory
Lawvere theory
10. Algebra Theories II 10.1 Essentially Algebraic Theory Idea: A
Abstract Motivic Homotopy Theory
Functorial Semantics for Partial Theories
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
The Gray Tensor Product Via Factorisation
Notes on Adjunctions, Monads and Lawvere Theories
Props in Network Theory
Countable Lawvere Theories and Computational Effects
Functorial Semantics for Partial Theories
Second-Order Algebraic Theories
Enriched Lawvere Theories for Operational Semantics
Category Theory Lecture Notes
Multisorted Lawvere Theories Contents 1
Quasivarieties and Varieties of Ordered Algebras: Regularity and Exactness
A Short Introduction to Clones
Distributive Laws for Lawvere Theories
A PROBABILITY MONAD AS the COLIMIT of SPACES of FINITE SAMPLES Contents
CATEGORICAL ONTOLOGY I Contents 1. Introduction 2 2. Categories As Places 8 3. Preliminaries on Variable Set Theory 16 4. the In
Top View
Freyd Categories Are Enriched Lawvere Theories
An Enriched View on the Extended Finitary Monad–Lawvere Theory Correspondence
Lawvere 2-Theories Joint Work with John Power
Distributive Laws for Lawvere Theories As Distributive Laws Between the Monads in These Bicategories
Lawvere Theories, Finitary Monads and Cauchy-Completion
Lecture Materials
A Categorical View of Algebraic Theories
Graded Algebraic Theories Enable Us to Estimate (An Overapprox- Imation Of) the Set of Memory Locations Computations May Access
Profunctorial Semantics I
Enriched Lawvere Theories for Operational Semantics
Lawvere Categories As Composed Props
Lawvere Theories