SUO: Re: IFF LOT Glossary

[Jon Awbrey <jawbrey@oakland.edu>]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

hi robert,

could you explain what you mean by "base language fiber".
i kind of know what a fiber is in simple situations.

thanks,

jon

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Robert E. Kent wrote:
> 
> All,
> 
> I have posted the PDF document "The IFF Glossary for the Lattice of Theories"
> at the address:
>
> http://suo.ieee.org/IFF/LOT-glossary.pdf.
> 
> This graphically illustrates and briefly discusses the core
> functionality for both the truth concept lattice and the
> lattice of theories, two notions that are equivalent
> from the order-theoretic viewpoint.  The lattice of
> theories is the base language fiber in the category
> of theories, whereas the truth concept lattice is
> the base language fiber in the category of
> closed theories.
> 
> Please regard this as a mid-range report -- I am
> developing a new version of the theory namespace
> axiomatization that contains all of this.  This
> will offer a baseline axiomatization in the IFF
> for the notions of a "lattice of theories" and
> a "library of modules".
> 
> As always, all constructive comments are welcomed.
> 
> Robert E. Kent
> rekent@ontologos.org

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o