Functorial semantics of topological theories

zbMATH Open1408.54001MaRDI QIDQ2805896FDOQ2805896

Authors: Sergejs Solovjovs 

Publication date: 13 May 2016

Published in: Iranian Journal of Fuzzy Systems (Search for Journal in Brave)

Full work available at URL: http://ijfs.usb.ac.ir/article_2110_296.html

Recommendations

• Quantalic topological theories
• Categorically algebraic topology versus universal topology
• Topological theories and closed objects
• scientific article; zbMATH DE number 2125670
• Categorically-algebraic topology and its applications

zbMATH Keywords

algebravarietytopological theorycategorically-algebraic topologytopological systemcomma categoryalgebraic theorypowerset theoryposlat topology

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Categories and theories (18Cxx)

Cited In (19)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Every theory is algebraic and topologic
• Finitary spectral algebraic theories
• Goodwillie's calculus of functors and higher topos theory
• Abstract Interpretation from a Topological Perspective
• Title not available (Why is that?)
• Universal arrows to forgetful functors from categories of topological algebra
• On algebraic and coalgebraic categories of variety-based topological systems
• Title not available (Why is that?)
• A unified framework for notions of algebraic theory
• Topological theories and closed objects
• Functional topology for geometric settings
• Approximate solution of the Fokker-Planck-Kolmogorov equation
• A Functorial Model Theory
• Quantalic topological theories
• Categorically algebraic topology versus universal topology
• Topological systems as a framework for institutions
• The syntax of coherence

This page was built for publication: Functorial semantics of topological theories

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