Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 152679
7 votes
1 answer
77 views

A syntactic characterisation of morphisms of algebraic theories whose induced algebraic func...

Let $f : S \to T$ be a morphism of algebraic theories. Such a morphism induces a monadic functor $f^* : \mathrm{Mod}(T) \to \mathrm{Mod}(S)$ (hence $f^*$ has a left adjoint). We may view $f$ syntactic …
4 votes
Accepted

Limits and colimits in the category of algebraic theories

Typically, limits of multisorted algebraic theories (by which I mean a pair of a set $S$ and an $S$-sorted algebraic theory $\mathbb F(S) \to L$) are most easily described in terms of their presentati …
varkor's user avatar
  • 10.7k
5 votes
Accepted

Literature about the category of finitary monads

These claims are proven more generally for the category $\mathrm{Mnd}_f(\mathscr A)$ of finitary monads on a locally presentable category $\mathscr A$ in Lack's On the monadicity of finitary monads. ( …
varkor's user avatar
  • 10.7k