Around toposes Forum

mdjoknaan

@mdjoknaan

Forum Home | Recent Posts

Active Member

Joined: Mar 30, 2021
Last seen: Jan 2, 2022

Topics: 0 / Replies: 6

Hi @grothenditque, Thanks for the info

2 years ago

Forum

From toposes to 'bridges' and unification

Topic

2 years ago

Forum

Welcome introductions

Replies: 0

@jwrigley Yes, i'm trying to figure out how that structure work, I still have issues with that so I can sound a bit unclear; your example work. I'...

3 years ago

Forum

From toposes to 'bridges' and unification

There is also a similar behaviour, with a category, an "arithmetic" category you take as the objects the natural number, you have iff and where p...

3 years ago

Forum

From toposes to 'bridges' and unification

@jwrigley That is very interesting, as far as I'm learning topos theory i'm eventually going to come across those morita equivalences. Actually I...

3 years ago

Forum

From toposes to 'bridges' and unification

Topic

3 years ago

Forum

From toposes to 'bridges' and unification

Replies: 8