Skip to main content

New answers tagged

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 ...
Zhen Lin's user avatar
  • 15.9k

Top 50 recent answers are included