Theory Translator

⁠

Category Theory⁠

⁠

https://www.theorytranslator.com/index.php?structure=three_minds⁠

⁠

https://www.freelists.org/post/math4wisdom/Theory-Translator⁠

⁠

Date: Fri, 12 Jul 2024 23:31:25 +0300

⁠

https://www.math4wisdom.com/files/TheoryTranslatorInterface.png⁠

⁠

Add in:

Namespace

How strongly typed will the translation be?

⁠

Three Minds⁠

here with M1, M2, M3.

A modest database. Beneath, is a

PmWiki⁠

page, enabling a free-form essay, for example talking about the

Three Minds⁠

. The Wiki can provide easy sync.

Ultimately it is an encyclopedia that gives the data on top, and some discourse/interpretation below.

Equal =

Defined as (three lines)

Congruence (equal with squiggle)

⁠

Load content from www.math4wisdom.com?

Loading external content may reveal information to 3rd parties. Learn more

Allow

Want to print your doc?
This is not the way.

Try clicking the ⋯ next to your doc name or using a keyboard shortcut (

CtrlP

) instead.