timelets: (Default)
[personal profile] timelets
It's amazing how the concept of the terminal object makes the structure of syllogisms transparent.

Date: 2017-07-03 03:43 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
See, there's a 1-1 correspondence between toposes and intuitionistic logics.

Date: 2017-07-03 05:25 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
May take time.
There's more. Like Universal Model.

Profile

timelets: (Default)
timelets

September 2017

S M T W T F S
     1 2
3 4 5 6 7 8 9
10 11 1213 141516
1718192021 2223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 08:35 pm
Powered by Dreamwidth Studios