All Questions
Tagged with monads limits-and-colimits
12 questions
21
votes
4
answers
2k
views
Conceptual reason that monadic functors create limits?
Let $U: Alg_T \to C$ be the forgetful functor from the category of algebras of $T: C \to C$ ($T$ could be a monad; I'm happy to think about the simpler case where $T$ is just an endofunctor or pointed ...
- 64k
10
votes
1
answer
333
views
2-monads for categories with a class of (co)limits
This question concerns the strictness of (co)completions, at various levels of generality.
In Blackwell–Kelly–Power's Two-dimensional monad theory, the authors state
For instance, the 2-category $\...
- 10.7k
9
votes
1
answer
952
views
The crude monadicity theorem
In order to test the monadicity of a functor, there is a precise monadicity theorem (PM) as well as a crude monadicity theorem (CM), see the nlab. In CM, the forgetful functor should create reflexive ...
- 63.1k
9
votes
1
answer
603
views
Intuition for density comonad in relation to lifting problems
In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...
- 10.5k
9
votes
1
answer
351
views
Algebraically-free monadicity theorem
The monadicity theorem characterises when a functor $u : \mathbf B \to \mathbf E$ is the forgetful functor from the category of algebras for some monad on $\mathbf E$ (up to an equivalence over $\...
- 10.7k
9
votes
0
answers
103
views
Cocompleteness of enriched categories of algebras
A useful result due to Linton is that for a cocomplete category $C$ and monad $T$ on $C$, if the category of algebras $C^T$ admits reflexive coequalisers, then it is cocomplete (see here for a sketch ...
- 10.7k
7
votes
1
answer
214
views
Algebras for products or limits of monads
If a category $C$ has limits of a certain type, then the category of monads on $C$ has the same type of limits, and these limits are computed "levelwise" (i.e. are preserved by the forgetful ...
- 42.4k
7
votes
0
answers
266
views
Relation between two limit presentations of Eilenberg--Moore objects
Let $\mathbb{T}=({\cal T}\colon C\to C,\mu,\eta)$ be a monad (in the
$2$-category $\mathsf{Cat}$), which we view as a $2$-functor
$\mathbb{T}\colon\mathsf{B}\Delta_{\mathrm{a}}\to\mathsf{Cat}$ (where
$...
- 446
4
votes
1
answer
764
views
When do reflexive coequalizers preserve weak equivalences?
In my work I've run into the following situation. In a model category, I have two reflexive coequalizers $A_i \stackrel{\to}{\to} B_i \to C_i$ and a map of diagrams which is levelwise a weak ...
- 30.3k
3
votes
1
answer
145
views
Examples of (co)lax idempotent pseudocomonads on Cat
A lax idempotent pseudomonad, also called a KZ doctrine or KZ monad, is a pseudomonad $(T, \mu, \eta)$ with the property that $T \eta \dashv \mu \dashv \eta T$. Lax idempotent pseudomonads were ...
- 10.7k
3
votes
0
answers
49
views
When does a lax monad morphism induce a functor between categories of algebras that preserves reflexive coequalisers?
Let $S$ be a monad on a category $\mathbf C$. If $\mathbf C$ is cocomplete, and the category of algebras $\mathbf C^S$ admits reflexive coequalisers, then $\mathbf C^S$ is cocomplete. Thus, it is ...
- 10.7k
1
vote
1
answer
134
views
Do "factoradic" lists form a finitary monad?
I'm trying to understand better what it means for a monad to be finitary. I know that Lawvere theories correspond to finitary monads, but I don't really understand the definition in terms of filtered ...
- 1,532