Zobrazeno 1 - 10
of 429
pro vyhledávání: '"GARNER, RICHARD"'
Autor:
Garner, Richard
This paper is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a monoid M which
Externí odkaz:
http://arxiv.org/abs/2302.04403
Autor:
Garner, Richard
In 1990, Johnstone gave a syntactic characterisation of the equational theories whose associated varieties are cartesian closed. Among such theories are all unary theories -- whose models are sets equipped with an action by a monoid M -- and all hype
Externí odkaz:
http://arxiv.org/abs/2302.04402
We extend the arithmetic product of species of structures and symmetric sequences studied by Maia and Mendez and by Dwyer and Hess to coloured symmetric sequences and show that it determines a normal oplax monoidal structure on the bicategory of colo
Externí odkaz:
http://arxiv.org/abs/2206.06858
Autor:
Garner, Richard
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (January 12, 2023) lmcs:9204
In 2009, Hancock, Pattinson and Ghani gave a coalgebraic characterisation of stream processors $A^\mathbb{N} \to B^\mathbb{N}$ drawing on ideas of Brouwerian constructivism. Their stream processors have an intensional character; in this paper, we giv
Externí odkaz:
http://arxiv.org/abs/2106.05473
Autor:
Garner, Richard, Streicher, Thomas
We describe an essential local geometric morphism which is not locally connected, though its inverse image part defines an exponential ideal
Comment: This is a preliminary version of the paper which has appeared at TAC. It contains a modificatio
Comment: This is a preliminary version of the paper which has appeared at TAC. It contains a modificatio
Externí odkaz:
http://arxiv.org/abs/2105.10143
Autor:
Garner, Richard
It is well established that equational algebraic theories, and the monads they generate, can be used to encode computational effects. An important insight of Power and Shkaravska is that comodels of an algebraic theory T -- i.e., models in the opposi
Externí odkaz:
http://arxiv.org/abs/2011.14520
Autor:
Cockett, Robin, Garner, Richard
We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between \'etale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids equipped
Externí odkaz:
http://arxiv.org/abs/2004.09699