Account name:
Password
(OpenID?)
(Forgot it?)
Remember Me
You're viewing
juan_gandhi
's journal
Create a Dreamwidth Account
Learn More
Interest
Region
Site and Account
FAQ
Email
Reload page in style:
site
light
Observations
Views from Souths
spent some leisure time writing a useful reference page
spent some leisure time writing a useful reference page
Jun
.
28th
,
2020
05:04 pm
juan_gandhi
https://github.com/vpatryshev/wowiki/wiki/Logic-of-Elementary-Topos
Flat
|
Top-Level Comments Only
no subject
Date:
2020-06-29 06:48 am (UTC)
From:
sassa_nf
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
Date:
2020-06-29 10:29 am (UTC)
no subject
Date:
2020-06-29 02:02 pm (UTC)
From:
juan_gandhi
What is Χ
f
? Could not find it anywhere. (I feel I'll have to add quantifiers, eventually).
no subject
Date:
2020-06-29 02:41 pm (UTC)
From:
sassa_nf
Chi_f in the diagram for the definition.
no subject
Date:
2020-06-29 02:46 pm (UTC)
From:
juan_gandhi
Yep; thanks; added a line.
Edited
Date:
2020-06-29 02:49 pm (UTC)
21 comments
Reply
Flat
|
Top-Level Comments Only
Profile
Juan-Carlos Gandhi
patryshev.com
Recent Entries
Archive
Reading
Network
Tags
Memories
Profile
June
2025
S
M
T
W
T
F
S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Most Popular Tags
books
-
42 uses
categories
-
59 uses
code sample
-
54 uses
españa
-
48 uses
fp
-
120 uses
france
-
74 uses
haskell
-
68 uses
idiocracy
-
40 uses
idiots
-
40 uses
java
-
111 uses
javascript
-
33 uses
life
-
25 uses
logic
-
38 uses
math
-
25 uses
monad
-
45 uses
monads
-
40 uses
philosophy
-
57 uses
politics
-
25 uses
propaganda
-
27 uses
scala
-
432 uses
types
-
24 uses
wtf
-
26 uses
ахинея
-
169 uses
бля
-
45 uses
вата
-
43 uses
ватоведение
-
127 uses
ватология
-
49 uses
дыбр
-
630 uses
жизнь
-
94 uses
идиоты
-
28 uses
искусство
-
57 uses
истории
-
69 uses
история
-
60 uses
кино
-
79 uses
культура
-
26 uses
литература
-
58 uses
логика
-
26 uses
новости
-
26 uses
политика
-
163 uses
программирование
-
29 uses
пропаганда
-
159 uses
россия
-
28 uses
русоведение
-
33 uses
русофобия
-
115 uses
стихи
-
24 uses
толстой
-
32 uses
фигня
-
27 uses
философия
-
575 uses
франция
-
39 uses
языки
-
26 uses
Page Summary
sassa_nf
-
(no subject)
Active Entries
1:
ищут давно и не могут найти парня какого-то лет тридцати
2:
прогноз
3:
белый дыбр
Style Credit
Style:
Neutral Good
for
Practicality
by
timeasmymeasure
Expand Cut Tags
No cut tags
Page generated Jun. 6th, 2025 06:59 am
Powered by
Dreamwidth Studios
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasuretimeasmymeasure
no subject
Date: 2020-06-29 06:48 am (UTC)Well, ok, maybe this is a stupid question. Of course, it's just an arrow that makes the square commute.
no subject
Date: 2020-06-29 02:02 pm (UTC)no subject
Date: 2020-06-29 02:41 pm (UTC)no subject
Date: 2020-06-29 02:46 pm (UTC)