{"id":{"repo_id":"milano","oai_identifier":"oai:air.unimi.it:2434/933293"},"canonical_url":"https://search.dev.ndltd.org/etd/milano/oai:air.unimi.it:2434/933293","repository":{"repo_id":"milano","name":"Università degli Studi di Milano","base_url":"https://air.unimi.it/oai/request"},"display":{"title":"HOMOTOPY SETOIDS AND GENERALIZED QUOTIENT COMPLETION","abstract":"In this thesis, we deal with some categorical structures arising from the Martin-Löf Intuitionistic Type Theory. In the first part, we introduce the homotopy setoids, considering ideas from the homotopy type theory, and we study their categorical properties. In order to do that, we use the categorical framework of the elementary doctrines introduced by Maietti and Rosolini. In this setting, we provide some results about the elementary quotient completion and we prove that homotopy setoids form a weak notion of pretopos. In the second part of this thesis, we introduce the notion of biased elementary doctrine which generalizes the one of elementary doctrine. For this framework we provide a generalized notion of quotient completion and we obtain as particular instances both the theory of the exact completion and of the elementary quotient completion. In the last part of the thesis, we develop a categorical semantic for fragments of intuitionistic first order logic that generalizes the categorical Brouwer-Heyting-Kolmogorv interpretation. Our result is suitable for a larger class of categories.","abstract_html":"In this thesis, we deal with some categorical structures arising from the Martin-Löf Intuitionistic Type Theory. In the first part, we introduce the homotopy setoids, considering ideas from the homotopy type theory, and we study their categorical properties. In order to do that, we use the categorical framework of the elementary doctrines introduced by Maietti and Rosolini. In this setting, we provide some results about the elementary quotient completion and we prove that homotopy setoids form a weak notion of pretopos. In the second part of this thesis, we introduce the notion of biased elementary doctrine which generalizes the one of elementary doctrine. For this framework we provide a generalized notion of quotient completion and we obtain as particular instances both the theory of the exact completion and of the elementary quotient completion. In the last part of the thesis, we develop a categorical semantic for fragments of intuitionistic first order logic that generalizes the categorical Brouwer-Heyting-Kolmogorv interpretation. Our result is suitable for a larger class of categories.","abstract_has_math":false,"creators":["CIOFFO, CIPRIANO JUNIOR"],"institution":"Università degli Studi di Milano","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["coordinatore: V. Mastropietro ; supervisor: S. Mantovani ; co-supervisor: N. Gambino","C.J. Cioffo","MANTOVANI, SANDRA","MASTROPIETRO, VIERI"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-07-13","date_published":"2022-07-13","updated_at":"2026-07-27T20:19:08Z","subjects":["Settore MAT/01 - Logica Matematica","Settore MAT/02 - Algebra"],"languages":["eng"],"rights":["info:eu-repo/semantics/openAccess"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["http://dx.doi.org/10.13130/cioffo-cipriano-junior_phd2022-07-13","10.13130/cioffo-cipriano-junior_phd2022-07-13"],"render_values":[{"text":"http://dx.doi.org/10.13130/cioffo-cipriano-junior_phd2022-07-13","href":"http://dx.doi.org/10.13130/cioffo-cipriano-junior_phd2022-07-13","code":true},{"text":"10.13130/cioffo-cipriano-junior_phd2022-07-13","href":"https://doi.org/10.13130/cioffo-cipriano-junior_phd2022-07-13","code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2434/933293","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["coordinatore: V. Mastropietro ; supervisor: S. Mantovani ; co-supervisor: N. Gambino","C.J. Cioffo","MANTOVANI, SANDRA","MASTROPIETRO, VIERI"]},{"key":"dc:creator","label":"Author","values":["CIOFFO, CIPRIANO JUNIOR"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2022-07-13"]},{"key":"dc:publisher","label":"Institution","values":["Università degli Studi di Milano"]},{"key":"dc:type","label":"Dc Type","values":["info:eu-repo/semantics/doctoralThesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Settore MAT/01 - Logica Matematica","Settore MAT/02 - Algebra"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["info:eu-repo/semantics/openAccess"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2434/933293","http://dx.doi.org/10.13130/cioffo-cipriano-junior_phd2022-07-13","10.13130/cioffo-cipriano-junior_phd2022-07-13"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In this thesis, we deal with some categorical structures arising from the Martin-Löf Intuitionistic Type Theory. In the first part, we introduce the homotopy setoids, considering ideas from the homotopy type theory, and we study their categorical properties. In order to do that, we use the categorical framework of the elementary doctrines introduced by Maietti and Rosolini. In this setting, we provide some results about the elementary quotient completion and we prove that homotopy setoids form a weak notion of pretopos. In the second part of this thesis, we introduce the notion of biased elementary doctrine which generalizes the one of elementary doctrine. For this framework we provide a generalized notion of quotient completion and we obtain as particular instances both the theory of the exact completion and of the elementary quotient completion. In the last part of the thesis, we develop a categorical semantic for fragments of intuitionistic first order logic that generalizes the categorical Brouwer-Heyting-Kolmogorv interpretation. Our result is suitable for a larger class of categories."]},{"key":"dc:title","label":"Title","values":["HOMOTOPY SETOIDS AND GENERALIZED QUOTIENT COMPLETION"]}]}],"canonical_facts":{"dc:contributor":["coordinatore: V. Mastropietro ; supervisor: S. Mantovani ; co-supervisor: N. Gambino","C.J. Cioffo","MANTOVANI, SANDRA","MASTROPIETRO, VIERI"],"dc:creator":["CIOFFO, CIPRIANO JUNIOR"],"dc:date":["2022-07-13"],"dc:description":["In this thesis, we deal with some categorical structures arising from the Martin-Löf Intuitionistic Type Theory. In the first part, we introduce the homotopy setoids, considering ideas from the homotopy type theory, and we study their categorical properties. In order to do that, we use the categorical framework of the elementary doctrines introduced by Maietti and Rosolini. In this setting, we provide some results about the elementary quotient completion and we prove that homotopy setoids form a weak notion of pretopos. In the second part of this thesis, we introduce the notion of biased elementary doctrine which generalizes the one of elementary doctrine. For this framework we provide a generalized notion of quotient completion and we obtain as particular instances both the theory of the exact completion and of the elementary quotient completion. In the last part of the thesis, we develop a categorical semantic for fragments of intuitionistic first order logic that generalizes the categorical Brouwer-Heyting-Kolmogorv interpretation. Our result is suitable for a larger class of categories."],"dc:identifier":["http://hdl.handle.net/2434/933293","http://dx.doi.org/10.13130/cioffo-cipriano-junior_phd2022-07-13","10.13130/cioffo-cipriano-junior_phd2022-07-13"],"dc:language":["eng"],"dc:publisher":["Università degli Studi di Milano"],"dc:rights":["info:eu-repo/semantics/openAccess"],"dc:subject":["Settore MAT/01 - Logica Matematica","Settore MAT/02 - Algebra"],"dc:title":["HOMOTOPY SETOIDS AND GENERALIZED QUOTIENT COMPLETION"],"dc:type":["info:eu-repo/semantics/doctoralThesis"]},"updated_at":"2026-07-27T20:19:08Z"}