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

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 242526272829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 25th, 2017 06:34 am
Powered by Dreamwidth Studios