196,038 research outputs found
Concorso di progettazione per una nuova sede IUAV nell'area dei Magazzini Frigoriferi a San Basilio
No full textPubblicazione del progetto selezionato tra i 10 finalisti per il Concorso Internazionale di Progettazione per una nuova sede IUAV nell'area dei Magazzini Frigoriferi a San Basilio.
Autori: RDM studio (P.Misino, P.V. Dell'Aira con G. Di Gesu, V. Melaranci, M. Rosolini
Rosolini
No full textLa città di Rosolini sorge nel Val di Noto, nell’omonima baronia appartenuta fin dal XV secolo ai Platamone. Il centro abitato viene fondato dal principe di Lardaria Francesco Moncada e Cirino, che acquisita la baronia a seguito del matrimonio con Eleonora Platamone, nel 1712 ottiene la licentia populandi con il benestare delle autorità netine
Quotient completion for the foundation of constructive mathematics
No full textWe apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere hyperdoctrine for which we describe a notion of quotient completion. That notion includes the exact completion on a category with weak finite limits as an instance as well as examples from type theory that fall apart from this
Studying Repleteness in the Category of Cpos
No full textAbstractWe consider the notion of replete object in the category of directed complete partial orders and Scott-continuous functions, and show that, contrary to previous expectations, there are non-replete objects. The same happens in the case of ω-complete posets
- …
