- Home
- » Tags
- » Monad (category theory)
Top View
- A Study of Categories of Algebras and Coalgebras
- On the Characterization of Monadic Categories Over Set Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 35, No 4 (1994), P
- Monads from Comonads Comonads from Monads
- Opetopic Algebras I: Algebraic Structures on Opetopic Sets Cédric Ho Thanh, Chaitanya Leena Subramaniam
- Monads in Mathematics
- The Barr–Beck–Lurie Theorem Last Week, We Discussed Several Basic Notions in Higher Category Theory
- Two Monads on the Category of Graphs 3
- Probability Sheaves and the Giry Monad∗
- Arxiv:2104.01816V2 [Math.AT] 12 Apr 2021
- What We Talk About When We Talk About Monads
- Functional Programming Languages Part IV: Monadic Transformations, Monadic Programming
- The Constructive Lift Monad Basic Research in Computer Science
- What We Talk About When We Talk About Monads
- Merging Monads and Folds for Functional Programming
- TWO-DIMENSIONAL MONAD THEORY Serve It Only To
- Lax Comma 2-Categories and Admissible 2-Functors
- Modules Over Monads and Their Algebras
- Relating Algebraic and Coalgebraic Descriptions of Lenses
- A Monadicity Theorem
- Monads in Haskell and Category Theory
- Evaluation Strategies for Monadic Computations
- MONADS on DAGGER CATEGORIES 1. Introduction
- Composing Monads for a Musical Performance
- Terminal Coalgebras
- Higher Theories and Monads Arxiv:2106.02706V2 [Math.CT]
- A Report on Subobject Classifiers and Monads
- Category Theory Pset 6
- A Quick Introduction to Operads Eva Belmont November 7, 2017
- Free Applicative Functors
- ON SOME ASPECTS of the THEORY of MONADS Contents 1
- The Formal Theory of Multimonoidal Monads
- OPERADS, ALGEBRAS and MODULES There Are Many Different Types of Algebra: Associative, Associative and Commu- Tative, Lie, Poisso
- Eilenberg–Moore Monoids and Backtracking Monad Transformers
- Categories, Functors, and Profunctors Are a Free Cocompletion
- Cocompleteness of Categories of Algebras - an Overview
- Adjunctions and Monads Thorsten Wißmann, Seminar “Categories in Programming”, June 3, 2015
- The Tangent Functor Monad and Foliations by Benoıt Michel Jubin a Dissertation Submitted in Partial Satisfaction of the Require
- Bimonoidal Structure of Probability Monads
- Adjunctions and Monads in Categories and 2-Categories
- Monads for Functional Programming
- Monad Interleaving: a Construction of the Operad for Leinster's Weak Ω
- Are Operads Algebraic Theories?
- The Dialectica Monad and Its Cousins
- Monads and Algebraic Structures
- Homotopy Types for “Gros” Toposes
- Finitely Presentable Algebras for Finitary Monads
- Codensity and the Ultrafilter Monad
- Cartesian Monads on Toposes
- BASES AS COALGEBRAS 1. Introduction the Concept of Basis In
- Graded Monads and Quantified Computational Effects
- Codensity and the Ultrafilter Monad
- The Formal Theory of Adjunctions, Monads, Algebras, and Descent
- 1.Introduction We Present a Generalization of the Concept of an Ultrafilter on a Set: for a Number of Categories K We Define D-Ultrafilters on an Object of K
- Lipics-FSCD-2018-21.Pdf (0.5
- The Vietoris Monad and Weak Distributive Laws
- Categorical Monadicity and Descent
- HOW MANY ADJUNCTIONS GIVE RISE to the SAME MONAD? Contents 1. Introduction. 1 2. Homological Presentations of a Monad Are Equiva
- Monads on Higher Monoidal Categories
- Category Theory Applied to Functional Programming
- THE MONADICITY THEOREM Consider Two Functors E ⇄ B. I And
- Tensors, Monads and Actions
- Assignment 3 Deadline for Solutions: 13.06.2019, 12.15 A.M
- Comprehending Monads
- Two Dimensional Monadicity
- OPERADS AS POLYNOMIAL 2-MONADS 1. Introduction