Monthly Archives: January 2025

First-Order Categorical Logic 10

Prev TOC Next

JB: Last time we saw how to get some laws of logic from two facts:

right adjoint functors between boolean algebras preserve products (‘and’),

and

left adjoint functors between boolean algebras preserve coproducts (‘or’).

Continue reading

1 Comment

Filed under Categories, Conversations, Logic

First-Order Categorical Logic 9

Prev TOC Next

MW: Last time we reviewed the four adjoints:

Continue reading

3 Comments

Filed under Categories, Conversations, Logic