Automata and coalgebras in categories of species
From MaRDI portal
Publication:6666774
DOI10.1007/978-3-031-66438-0_4MaRDI QIDQ6666774
Publication date: 20 January 2025
Cites Work
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- Algebraic Operads
- Simplicial homotopy theory
- Two applications of analytic functors
- Differential 2-rigs
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Mealy morphisms of enriched categories
- Bicategories of processes
- The equations \(D^ k Y = X^ n\) in combinatorial species
- Colored species, \(c\)-monoids, and plethysm. I
- Algebra of proofs
- Commutativity
- Combinatorial resolution of systems of differential equations. IV: Separation of variables
- Combinatorial functional and differential equations applied to differential posets
- A universal property of the convolution monoidal structure
- Plethysm, categories and combinatorics
- Une combinatoire du pléthysme. (Combinatorics of plethysm)
- On the combinatorics of plethysm
- Local adjunctions
- Universal realization
- Une théorie combinatoire des séries formelles
- Möbius species
- Sheaves in geometry and logic: a first introduction to topos theory
- The adjoints to the derivative functor on species
- Doctrines on 2-categories
- Yoneda structures on 2-categories
- The theory of compositionals
- Species on digraphs
- Möbius polynomial species
- A theorem on trees.
- From probability monads to commutative effectuses
- Semigroups in complete lattices. Quantales, modules and related topics
- Combinatorial resolution of systems of differential equations. III: A special class of differentially algebraic series
- Formal category theory: Adjointness for 2-categories
- Metric, topology and multicategory -- a common approach
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
- Monads for which structures are adjoint to units
- Automata and fixed point logic: a coalgebraic perspective
- Modules over operads and functors
- Categorical constructions in stable homotopy theory. A seminar given at the ETH, Zürich, in 1967
- Properties of dense and relative adjoint functors
- The formal theory of monads
- The geometry of iterated loop spaces
- Yoneda structures from 2-toposes
- Nominal Sets
- Monoidal Topology
- Monoidal Functors, Species and Hopf Algebras
- Convexity, Duality and Effects
- Operads, Clones, and Distributive Laws
- (Co)end Calculus
- Elementary observations on 2-categorical limits
- Coalgebras and Bialgebras in Combinatorics
- On the Foundation of Combinatorial Theory. X. A Categorical Setting for Symmetric Functions
- Accessible Categories: The Foundations of Categorical Model Theory
- Metric spaces, generalized logic, and closed categories
- ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION
- Minimal realization in bicategories of automata
- Stability, Instability and Chaos
- Modular operads
- Minimal realization of machines in closed categories
- Feedback, trace and fixed-point semantics
- Operads Revisited
- Stochastic Relations
- On operads, bimodules and analytic functors
- Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
This page was built for publication: Automata and coalgebras in categories of species
