搜索结果: 16-30 共查到“知识库 范畴论”相关记录49条 . 查询时间(4.496 秒)
Abstract: This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every ...
Experimenting with Transitive Verbs in a DisCoCat
Transitive Verbs DisCoCat Experimenting Category Theory
2011/10/8
Abstract: Formal and distributional semantic models offer complementary benefits in modeling meaning. The categorical compositional distributional (DisCoCat) model of meaning of Coecke et al. (arXiv:1...
A construction of 2-cofiltered bilimits of topoi
2-cofiltered bilimits topoi Category Theory
2011/8/30
Abstract: We show the existence of bilimits of 2-cofiltered diagrams of topoi, generalizing the construction of cofiltered bilimits developed in "SGA 4 Springer LNM 270 (1972)". For any given such dia...
The ternary commutator obstruction for internal crossed modules
cross-effect commutator internal crossed module semi-abelian category
2011/8/25
Abstract: We study the notion of internal crossed module in terms of cross-effects of the identity functor. These cross-effects give rise to a concept of commutator which allows a description of inter...
Lex colimits
Lex colimits Category Theory
2011/8/25
Abstract: Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactnesses" between the finite limits and the specified colimits. Som...
Field theories with defects and the centre functor
Field theories defects the centre functor Quantum Algebra
2011/8/24
Abstract: This note is intended as an introduction to the functorial formulation of quantum field theories with defects. After some remarks about models in general dimension, we restrict ourselves to ...
Chromatic polynomials of complementary (n,k)-clique pairs
Chromatic polynomials complementary (n,k)-clique pairs
2011/2/22
We introduce a class of pairs of graphs consisting of two cliques joined by an arbitrary number of edges. The members of a pair have the property that the clique-bridging edge-set of one graph is the ...
In the category of relative categories the Rezk equivalences are exactly the DK-equivalences
category of relative categories Rezk equivalences exactly the DK-equivalences
2011/1/19
In a previous paper we lifted Charles Rezk’s complete Segal model structure on the category of simplicial spaces to a Quillen equivalent one on the category of “relative categories” and our aim in thi...
An improvement upon unmixed decomposition of an algebraic variety
unmixed decomposition weakly non-degenerate conditions
2011/1/18
Decomposing an algebraic variety into irreducible or equidimensional components is a fundamental task in classical algebraic geometry and has various applications in modern geometry engineering. Sever...
From the early days of the minimalist program of Chomsky (1993), a convergencewith categorial grammars was noticed by Epstein and Berwick (1995).
Exponentially many perfect matchings in cubic graphs
Exponentially many perfect matchings cubic graphs
2011/1/21
We show that every cubic bridgeless graph G has at least 2|V (G)|/3656 perfect matchings.
This confirms an old conjecture of Lov´asz and Plummer.
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g.,
The Orlov spectrum is a new invariant of a triangulated category. It was intro-duced by D. Orlov building on work of A. Bondal-M. van den Bergh and R. Rouquier. The supremum of the Orlov spectrum of a...
Concrete Foundations for Categorical Quantum Physics
Concrete Foundations Categorical Quantum Physics
2011/3/4
An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke [10], tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assu...
Polar decomposition unquestionably provides a notion of factorization in the category of Hilbert spaces. But it does not fit existing categorical notions, mainly because its factors are not closed und...