linearly distributive category in nLab
Category Theory 101 - Numericana
... categories (draft) | nLab · Cartesian closed category | Categorical logic ... all distributive lattices, d. lattices, lattice homomorphisms. Bool, all ...
Two-dimensional Kripke Semantics II: Stability and Completeness
We define Stable to be the category of distributive lattices and stable maps. ... The following result is quoted on the nLab. Proposition 5.2. Let C have ...
... category of smooth manifolds does not have many limits. To a large extent ... nLab. Everything you find here is work in progress: please, edit it! The ...
April 16, 2017 - Graphical Linear Algebra
As part of the distributive laws of props story, you realise that categories are a special case of the concept of monad. But monads are a ...
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
We recall the relevant category-theoretic models of (propositional) linear ... , and Walters, R. F. C., Introduction to extensive and distributive ...
Category Theory - Stanford Encyclopedia of Philosophy
The category hoTop with objects topological spaces and morphisms equivalence classes of homotopic functions. This category is not only important ...
arXiv:2004.08684v1 [math.CT] 18 Apr 2020 - UPCommons
... linear maps (and its full ... A standard example of a distributive category is the category F Set of finite sets and maps between them.
Categorical Ontology I: Existence - PhilSci-Archive
... distributive lat- tice. . . ). In light of Definition 4.1, this last property has to do with the internal logic of the category: propositions are the set ...
Composing Monads for a Musical Performance
A distributive operation provides reproducible results. To explore the detail for ... //ncatlab.org/nlab/show/extensive+category. [25] Shaugn O'Donnell ...
CT2024 Book of Abstracts - USC
of linearly distributive categories and roughly consists of two bicategories sharing the same objects ... (One can find it via nLab. https://ncatlab. org ...
On the tensor product of cocomplete quantale-enriched categories
presentable k-linear categories and cocontinuous k-linear ... completely distributive V-categories (V-CCD) [10, 18]. Homomorphisms ...
Categorical Dualities - Google Docs
A duality between the resulting categories of syntax and semantics, expressed primarily in the form of a contravariant adjunction, is established by homming ...
Mathematical Entities: Corpora and Benchmarks - ResearchGate
and the nLab entry on double categories. Next are shown ... counit. Thus we maintain that the notion of linear-distributive cate ...
Probability, valuations, hyperspace: Three monads on top and the ...
In this paper, we consider two monads of this type on $\mathsf{Top}$ , the category of topological spaces and continuous maps. Concretely, we ...
From Sets to Categories (2023) - Hacker News
I'm fairly well-versed in AA, linear alg, topology, a few others. ... https://ncatlab.org/nlab/show/distributive+law on good days i might ...
A general construction of family algebraic structures - HAL
... category must be precised. Monoidal ... eradic ideal of the linear operad ME = k.ME generated by a finite linearly independent collection.
Equivariant stable homotopy theory and the Kervaire invariant ...
... category theory. 202. 3.1. Basic definitions. 203. 3.2. Limits, colimits ... linearly independent normal vector fields on M € Rn k. These ...
Distributive laws, even more formally! Consider the 2 -category of monads ... According to the nlab it is a weaker version of a 2-category, where certain ...
bounded linear logic · affine logic · coherence space · game semantics · linear type theory · light logic? · proof net · linearly distributive category.
Contents - University of Oxford Department of Computer Science
7.1 The monoidal 2-category of distributive laws . ... nlab article: Equivalence of 2-categories. [Street, 2003] Street, R. (2003). Functorial calculus in ...