# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorThomas Holder
• CommentTimeJun 19th 2020

Created an entry for this geometric theory.

1. Thank you, Thomas! This geometric theory pops up in quite a few places:

Unfortunately this week I’m very short on time, I hope that I can add to this entry next week!

• CommentRowNumber3.
• CommentAuthorThomas Holder
• CommentTimeJun 24th 2020

Thanks to Ingo for the pointers!

• CommentRowNumber4.
• CommentAuthorThomas Holder
• CommentTime5 days ago

Added the generic morphism to the examples as well as a remark that assigning the twisted arrow categories to Grothendieck toposes is not a geometric theory functor.

• CommentRowNumber5.
• CommentAuthorThomas Holder
• CommentTime22 hours ago

Gave the classifying topos for cartesian $T^2$ and started a section on the link to topos homotopy.