scientific article; zbMATH DE number 5311407

MaRDI QIDQ3519054zbMATH OpenFDO

Authors Peter J. Freyd

Publication date 13 August 2008

Full work available at URL https://eudml.org/doc/129809, http://www.emis.de/journals/TAC/volumes/20/10/20-10abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

algebraic real analysischromatic scaleclosed intervalclosed midpoint algebracoalgebraic real analysiscomplete scalefinitely presented scalefree scaleharmonic scaleinjective scalelattice-ordered abelian grouplinear logicLipschitz extensionminor scalemodal logicordered wedgesemi-simple scalesimple scalesurveyzoom operatorŁukasiewicz logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Recommendations

• Real algebraic geometry
• scientific article; zbMATH DE number 1552088
• Real mathematical analysis
• scientific article; zbMATH DE number 1749058
• scientific article; zbMATH DE number 194989
• Real analysis
• scientific article; zbMATH DE number 5122952
• Real analysis

Cited in

(10)

• Coalgebra and abstraction
• Real sets
• A categorical derivation of Lebesgue integration
• A categorical construction of the real unit interval
• A general theory of self-similarity
• Presenting the Sierpinski gasket in various categories of metric spaces
• Introduction: A personal tribute to Peter Freyd and Bill Lawvere
• Normed modules and the categorification of integrations, series expansions, and differentiations
• The Sierpinski carpet as a final coalgebra
• Topology-free type structures with conditioning events

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3519054)