Logo del repository
  1. Home
 
Opzioni

Some Properties and Some Problems on Set Functors

CANCILA, Daniela
•
HONSELL, Furio
•
LENISA, Marina
2006
  • conference object

Periodico
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Abstract
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and we discuss various monotonicity and continuity properties of set functors. As a consequence of these properties, we show that some classes of set operators do not admit functorial extensions. Then, starting from Aczel's Special Final Coalgebra Theorem, we study the class of functors uniform on maps, we present and discuss various examples of functors which are not uniform on maps but still inclusion preserving, and we discuss simple characterization theorems of final coalgebras as fixpoints. We present a number of conjectures and problems.
DOI
10.1016/j.entcs.2006.06.005
Archivio
http://hdl.handle.net/11390/883100
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33749543464
http://www.sciencedirect.com/science/article/pii/S1571066106004701
Diritti
closed access
Soggetti
  • κ-based functor

  • κ-reachable functor

  • category of set

  • final coalgebra

  • functor uniform on ma...

  • inclusion preserving ...

  • set functor

Scopus© citazioni
2
Data di acquisizione
Jun 2, 2022
Vedi dettagli
Visualizzazioni
1
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback