English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

We implement in the formal language of homotopy type theory a new set ofaxioms called cohesion. Then we indicate how the resulting cohesive homotopytype theory naturally serves as a formal foundation for central concepts inquantum gauge field theory. This is a brief survey of work by the authorsdeveloped in detail elsewhere.

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory