scholarly journals Polynomial Functors from Algebras Over a Set-Operad and Nonlinear Mackey Functors

2013 ◽  
Vol 2015 (6) ◽  
pp. 1461-1554 ◽  
Author(s):  
Manfred Hartl ◽  
Teimuraz Pirashvili ◽  
Christine Vespa
Keyword(s):  
Polynomial Functors ◽  
Mackey Functors

scholarly journals The monoidal structure on strict polynomial functors

2017 ◽  
Vol 485 ◽  
pp. 213-229 ◽  
Author(s):  
Cosima Aquilino ◽  
Rebecca Reischuk
Keyword(s):  
Monoidal Structure ◽  
Polynomial Functors

scholarly journals Mislin’s theorem for fusion systems through Mackey functors

2016 ◽  
Vol 45 (4) ◽  
pp. 1409-1415
Author(s):  
Sejong Park
Keyword(s):  
Fusion Systems ◽  
Mackey Functors

scholarly journals The Structure of Mackey Functors

1995 ◽  
Vol 347 (6) ◽  
pp. 1865 ◽  
Author(s):  
Jacques Thevenaz ◽  
Peter Webb
Keyword(s):  
Mackey Functors

scholarly journals The temporal logic of coalgebras via Galois algebras

2002 ◽  
Vol 12 (6) ◽  
pp. 875-903 ◽  
Author(s):  
BART JACOBS
Keyword(s):  
State Space ◽  
Temporal Logic ◽  
Metric Spaces ◽  
Linear Temporal Logic ◽  
The State ◽  
Temporal Logics ◽  
Computation Tree Logic ◽  
Computation Tree ◽  
Polynomial Functors

This paper introduces a temporal logic for coalgebras. Nexttime and lasttime operators are defined for a coalgebra, acting on predicates on the state space. They give rise to what is called a Galois algebra. Galois algebras form models of temporal logics like Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The mapping from coalgebras to Galois algebras turns out to be functorial, yielding indexed categorical structures. This construction gives many examples, for coalgebras of polynomial functors on sets. More generally, it will be shown how ‘fuzzy’ predicates on metric spaces, and predicates on presheaves, yield indexed Galois algebras, in basically the same coalgebraic manner.

scholarly journals Mackey Functors with Chain Conditions

1998 ◽  
Vol 205 (2) ◽  
pp. 661-698
Author(s):  
Florian Luca
Keyword(s):  
Chain Conditions ◽  
Mackey Functors

scholarly journals Mackey functors and $G$-cohomology

1984 ◽  
Vol 90 (4) ◽  
pp. 641-641
Author(s):  
Stefan Waner
Keyword(s):  
Mackey Functors
Sign in / Sign up

Export Citation Format

Share Document