BOOK-CHAPTER
Discrete Lawvere Theories
Year: 2005 Lecture notes in computer science Pages: 348-363 Publisher: Springer Science+Business Media
Keywords:
Monad (category theory) Countable set Mathematics Distributive property Category theory Discrete mathematics Pure mathematics Functor
Metrics
14
Cited By
1.02
FWCI (Field Weighted Citation Impact)
29
Refs
0.76
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Homotopy and Cohomology in Algebraic Topology
Physical Sciences → Mathematics → Mathematical Physics
Algebraic structures and combinatorial models
Physical Sciences → Mathematics → Geometry and Topology
Related Documents
JOURNAL ARTICLE
Discrete Lawvere theories and computational effects
Journal: Theoretical Computer Science Year: 2006 Vol: 366 (1-2)Pages: 144-162
JOURNAL ARTICLE
Enriched Lawvere theories
Journal: Theory and applications of categories Year: 1999 Vol: 06 Pages: 83-93
JOURNAL ARTICLE
Higher Lawvere theories
Journal: Journal of Pure and Applied Algebra Year: 2020 Vol: 224 (9)Pages: 106362-106362
JOURNAL ARTICLE
Lawvere Theories and Definable Operations
Journal: uO Research (University of Ottawa) Year: 2022