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 06:48 am (UTC)
(
link
)
Can you add something about Χ
f
? It is clear from the examples it is not an arbitrary arrow B→Ω.
Well, ok, maybe this is a stupid question. Of course, it's just an arrow that makes the square commute.
Edited
2020-06-29 10:29 (UTC)
no subject
juan_gandhi
2020-06-29 02:02 pm (UTC)
(
link
)
What is Χ
f
? Could not find it anywhere. (I feel I'll have to add quantifiers, eventually).
no subject
sassa_nf
2020-06-29 02:41 pm (UTC)
(
link
)
Chi_f in the diagram for the definition.
no subject
juan_gandhi
2020-06-29 02:46 pm (UTC)
(
link
)
Yep; thanks; added a line.
Edited
2020-06-29 14:49 (UTC)
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
Well, ok, maybe this is a stupid question. Of course, it's just an arrow that makes the square commute.
no subject
no subject
no subject