Juan-Carlos Gandhi (
juan_gandhi
) wrote
2020
-
06
-
28
05:04 pm
Entry tags:
logic
,
topos
,
weekend
spent some leisure time writing a useful reference page
https://github.com/vpatryshev/wowiki/wiki/Logic-of-Elementary-Topos
Flat
|
Top-Level Comments Only
no subject
sassa_nf
2020-06-29 10:16 am (UTC)
(
link
)
Also, is the arrow Ω
1
→Ω⨯Ω labelled (true,true) correctly?
no subject
juan_gandhi
2020-06-29 02:11 pm (UTC)
(
link
)
Oh, right; thanks!
21 comments
Post a new comment
Flat
|
Top-Level Comments Only
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2020-06-28 05:04 pmjuan_gandhi) wrote2020-06-28 05:04 pm
no subject
no subject