DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Codensity monad
Codensity monad
Localizations As Idempotent Approximations to Completions
A Formula for Codensity Monads and Density Comonads
Modules Over Monads and Their Algebras. in L. Moss, & P. Sobociński
Codensity: Isbell Duality, Pro-Objects, Compactness and Accessibility 3
Codensity and the Giry Monad
Quantifiers on Languages and Codensity Monads
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick
Kan Extensions in Context of Concreteness
Modules Over Monads and Their Algebras
Companions, Codensity and Causality
Codensity Monads
Introduction
Codensity and the Ultrafilter Monad
Modules Over Monads and Their Algebras. in L. Moss, & P. Sobociński
CATEGORY THEORY ITI9200 EXERCISES How to Approach
Codensity and the Giry Monad
Lifting of Operations in Modular Monadic Semantics
Codensity Liftings of Monads
Top View
Arxiv:1909.04950V3 [Math.CT] 23 Oct 2020 E Od N Phrases
Enrichments for Higher Categories
Arxiv:1902.01225V8 [Math.CT]
Probability Monads As Codensity Monads
Codensity Liftings of Monads
Monads and Theories
Codensity Lifting of Monads and Its Dual
Codensity and the Ultrafilter Monad
Codensity and the Ultrafilter Monad
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
Quantifiers on Languages and Codensity Monads
Ultrafilters, Finite Coproducts and Locally Connected Classifying Toposes
4 Ultrafilters 3 Codensity 2 Ultrafilters 1 Oa of Monad Uoaial Otento Futale,Ads Ntr Otenotion the to Turn in So and Ultrafilter, of Space
Extending Equational Monadic Reasoning with Monad Transformers
Companions, Codensity and Causality Damien Pous, Jurriaan Rot