miser

The Miser Project
‹ob› Mathematical Structure

miser> ob>



index>
0.0.6 2024-06-12T16:57Z

Initial Placeholder

The elaboration of the fundamental structure,‹ob› = 〈Ob,Of,Ot〉, is provided here. Essential characteristics of obs and reasoning (in Ot) about functions (thereby in Of) on obs are explained and expanded upon.

There is also introduction of uninterpreted symbols, the literal individuals (lindies) that have no intrinsic significance. Lindies are valuable in devising data representations and in oFrugal expression of obap applicative-operation scripts.

Catalog (Provisional)

Work-in-Progress

Current activity involves migration of text files from other areas of the repository to the web-based public face of the repository. While migration is underway, there are placeholder links to raw materials and notes, including text files.

Provisional Content

Authoritative material is maintained in text files that can be downloaded and consulted independent of the GitHub repository and availability on the Internet via web pages. There will be improved organization and web materials as development proceeds.

There are also text notes on topics that are being researched prior to resolution and documentation in web materials.

ID Status Started Topic
obtheory 1.3.0 2024-01-15 2017-08-24 ‹ob› = 〈Ob,Of,Ot〉Mathematical Structure
CFob 0.1.0 2023-11-10 2018-02-04 Canonical Form of obs
Uchar 0.0.1 2024-04-10 2024-02-10 Universal Character Names for Identifiers
       
Diary & Job Jar undated 2023-11-12 Notes until there is better narrative material

Archival Materials

A 2018-2019 series of blog posts provides original narratives on the ‹ob› = 〈Ob,Of,Ot〉structure. These will be supplanted under this Miser Project topic over time.


I invite discussion about Miser Project topics in the Discussion section. Improvements and removal of defects in this particular documentation can be reported and addressed in the Issues section. There are also relevant projects from time to time.

Hard Hat Area You are navigating the Miser Project on Github

created 2024-01-13 by orcmid