Concrete fibrations
| Autor: | Pagnan, Ruggero |
|---|---|
| Rok vydání: | 2011 |
| Předmět: | |
| Zdroj: | Notre Dame J. Formal Logic 58, no. 2 (2017), 179-204 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1215/00294527-3817788 |
| Popis: | As far as we know no notion of concreteness for fibrations exists. We introduce such a notion and discuss some basic results about it. |
| Databáze: | arXiv |
| Externí odkaz: |
|