Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
INTERDEFINABILITY OF LAMBEKIAN FUNCTORS
View through CrossRef
AbstractSeveral Gentzen‐style (sequential) syntactic type calculi with product(s) are considered. They form a hierarchy in such a way that one calculus results from another by imposing a new condition (expressed in terms of “structural rules”) upon the sequent‐forming operation. It turns out that, at some steps of this process, two different functors collapse to a single one. For the remaining stages of the hierarchy, analogues of Wajsbergs's theorem on non‐mutual‐definability are proved.
Title: INTERDEFINABILITY OF LAMBEKIAN FUNCTORS
Description:
AbstractSeveral Gentzen‐style (sequential) syntactic type calculi with product(s) are considered.
They form a hierarchy in such a way that one calculus results from another by imposing a new condition (expressed in terms of “structural rules”) upon the sequent‐forming operation.
It turns out that, at some steps of this process, two different functors collapse to a single one.
For the remaining stages of the hierarchy, analogues of Wajsbergs's theorem on non‐mutual‐definability are proved.
Related Results
Around evaluations of biset functors
Around evaluations of biset functors
Our purpose here, is to study double Burnside algebras via evaluations of biset functors. In order to avoid the difficult problem of vanishing of simple functors, we look at finite...
FUNCTORS AND SPACES IN IDEMPOTENT MATHEMATICS
FUNCTORS AND SPACES IN IDEMPOTENT MATHEMATICS
Idempotent mathematics is a branch of mathematics in which idempotent operations (for example, max) on the set of reals play a central role. In recent decades, we have seen intensi...
Generalised powerlocales via relation lifting
Generalised powerlocales via relation lifting
This paper introduces an endofunctor VT on the category of frames that is parametrised by an endofunctor T on the category Set that satisfies certain constraints. This generalises ...
Transport of finiteness structures and applications
Transport of finiteness structures and applications
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction t...
Transfinite Fixed-Point Resolution of Open Problems in Alpay Algebra
Transfinite Fixed-Point Resolution of Open Problems in Alpay Algebra
We introduce a transfinite fixed-point operator, denoted $\phi^\infty$, within the framework of Alpay Algebra---a categorical foundation for mathematical structures. This operator,...
Fibre Functors
Fibre Functors
This chapter introduces the fiber functor suggested by Pierre Deligne. The proof that it is in fact a fiber functor is given in the Appendix....
CATEGORICAL COMPLEXITY
CATEGORICAL COMPLEXITY
We introduce a notion of complexity of diagrams (and, in particular, of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categ...
Schizoecologic Cartographies
Schizoecologic Cartographies
The chapter first defines the status of the diagram that underlies Schizoanalytic Cartographies as a formal diagram of an informal world. As such, it is itself a figure of the vari...