New answers tagged lawvere-theory
4
votes
Accepted
A syntactic characterisation of morphisms of algebraic theories whose induced algebraic functors admit right adjoints
I thought about this a bit when trying to understand $\lambda$-rings – the same example that Wraith offers – and I think the answer is basically what is remarked in the cited lecture notes: it is ...
Top 50 recent answers are included
Related Tags
lawvere-theory × 8ct.category-theory × 6
reference-request × 4
universal-algebra × 4
monads × 2
algebraic-theory × 2
gr.group-theory × 1
higher-category-theory × 1
adjoint-functors × 1
lambda-calculus × 1
cartesian-closed-categories × 1