Functorial semantics of topological theories
author
Abstract:
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce the quasicategory of catalg topological theories and consider its functorial relationships with the quasicategory of the categories of models, in order to provide convenient means for studying topological structures via the properties of their corresponding theories.
similar resources
functorial semantics of topological theories
following the categorical approach to universal algebra through algebraic theories, proposed by f.~w.~lawvere in his phd thesis, this paper aims at introducing a similar setting for general topology. the cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. we introduce t...
full textFunctorial Semantics for Relational Theories
We introduce the concept of Frobenius theory as a generalisation of Lawvere’s functorial semantics approach to categorical universal algebra. Whereas the universe for models of Lawvere theories is the category of sets and functions, or more generally cartesian categories, Frobenius theories take their models in the category of sets and relations, or more generally in cartesian bicategories.
full textFunctorial Semantics of Second-Order Algebraic Theories
The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this paper introduces the notion of second-order algebraic theory and develops its basic theory. A crucial role in the definition is played by the second-order theory of equality M, representing the most elementary operators ...
full textFunctorial Semantics of Algebraic Theories and Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theories
full text
Pseudo Functorial Semantics
Categories with algebraic structure—the most prominent example being monoidal categories—satisfy equational axioms only up-to coherent isomorphisms. Therefore they are pseudo algebras. We extend Lawvere’s functorial semantics to such pseudo structure: in contrast to standard strict algebras which are identified with productpreserving functors, pseudo algebras are product-preserving pseudo funct...
full textFunctorial Semantics for Multi-algebras
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multi-algebras and partial algebras, analogous to the classical presentation of algebras over a signature as cartesian functors from the algebraic theory of , Th(), to Se...
full textMy Resources
Journal title
volume 12 issue 5
pages 1- 43
publication date 2015-10-30
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023