Logic via hyperdoctrines: equivalence relation example

forest June 20, 2024, 10:42pm 1

This is a companion discussion topic for the original entry at https://forest.localcharts.org/ksb-0001.xml

1 Like

Topic		Replies	Views
People like you are using the forest! General	0	140	March 1, 2024
Entropy: the chain rule in terms of monad algebras Forest	2	179	January 29, 2024
Announcing the LocalCharts Forest General	0	206	January 17, 2024
Equality vs equivalence: computing isomorphism classes of C-sets General	0	123	April 14, 2023
Structured Data: A Principled Approach Forest	0	160	January 17, 2024