35 citations · 105 across the 17 of their papers we have counts for
7 papers · 1 filter
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Marcelo Fiore, Nicola Gambino, Martin Hyland +1
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then pr…
An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators
Marcelo Fiore
A categorical axiomatic theory of creation/annihilation operators on bosonic Fock space is introduced and the combinatorial model that motivated it is presented. Commutation relati…
Functorial Semantics of Second-Order Algebraic Theories
Marcelo Fiore, Ola Mahmoud
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 pap…
An Equational Metalogic for Monadic Equational Systems
Marcelo Fiore
The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentati…
The Algebra of Directed Acyclic Graphs
Marcelo Fiore, Marco Devesas Campos
We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract…
Analytic functors between presheaf categories over groupoids
Marcelo Fiore
The paper studies analytic functors between presheaf categories. Generalising results of A. Joyal and of R. Hasegawa for analytic endofunctors on the category of sets, we give two…