Precised that the traditional definition works in any cartesian monoidal category.

]]>Put the traditional definition in a subsection “Traditional definition” instead of the subsection “As a model of a Lawvere theory”.

]]>starting page on ordered local rings to reflect the analogy

local ring : Heyting field :: ordered local ring : ordered field

Anonymous

]]>Added a link to the PDF file with full text:

]]>added examples

Anonymous

]]>added pointer to the original references and to a review

]]>added reference

- David Jaz Myers, Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory (arXiv:2205.15887)

and redirects for crystalline modality and crystalline modalities

Anonymous

]]>I have enhanced the proof of this Prop, describing the evaluation map on nerves of inertia groupoids.

(The previous version was glossing over some degeneracies. The new version has more detailed diagrams and full detail on the relevant degeneracies.)

This is the same material that I just added as an example to *function complex* (as announced there).

we created an effective duplicate of this entry at *function complex*. I have now cleared this entry here and merged it into there.

I have spelled out in the detail the example (now here) of the evaluation map on simplicial function complexes which are nerves of inertia groupoids.

]]>renaming page so it isn’t so cumbersome. Plus, usually people consider localizations of a type at a single function, rather than a family of functions.

Anonymous

]]>adding links to bracket type and n-truncation modality

Anonymous

]]>added definition

Anonymous

]]>added section relating propositional truncations to localizations.

Anonymous

]]>added smooth cohesion to the list

Anonymous

]]>added pointer to:

- Eduardo Fradkin,
*Field Theories of Condensed Matter Physics*, Cambridge University Press (2013) [ISBN: 9781139015509, doi:10.1017/CBO9781139015509]

and will now add this to various related entries, too.

]]>brief `category:people`

-entry for hyperlinking references

added pointer to this article:

- Roberto Iengo, Kurt Lechner,
*Anyon quantum mechanics and Chern-Simons theory*, Physics Reports**213**4 (1992) 179-269 [doi:10.1016/0370-1573(92)90039-3]

added pointer to today’s:

- Willie Aboumrad,
*Quantum computing with anyons: an F-matrix and braid calculator*$[$arXiv:2212.00831$]$

fixing links

Anonymous

]]>I have adjusted wording and hyperlinking of the lead-in sentences, for readability.

It would be good for the entry to cite some references.

]]>Could you add some reference?

I have taken the liberty of adjusting the wording in the lead-in sentences, for readability.

Also I hyperlinked a couple of crucial terms: *convergence*, *limit of a sequence*.

Something at least close to this is the topic of exceptional generalized geometry.

]]>Clarified the definition of Frobenius algebras in the category of Vectᴋ by making the non-degenerate pairing more explicit. The previous expression was the map u ↦ ϵ∘μ(1 ⊗ u); however, interpreting the symbols on the right-hand side completely literally in their syntactic form, then by the axioms of a unital associative we have that ϵ(μ(1 ⊗ u)) = ϵ(u) ∈ K. We are trying to have the right-hand side land in V*, which is done by clarifying that the right-hand side should actually be v ↦ ϵ∘μ(v ⊗ u), which is indeed an element of V* and the desired isomorphism of V with V*.

Lillian Ryan Uhl

]]>