Categorical constructions of sets valued on semicartesian and involutive quantales (2025)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; ALVIM, JOSÉ GOUDET - IME ; MENDES, CAIO DE ANDRADE - IME
- Unidade: IME
- Subjects: TEORIA DAS CATEGORIAS; CATEGORIAS TOPOLÓGICAS
- Keywords: Quantales
- Language: Inglês
- Imprenta:
- Publisher: Sociedade Brasileira de Lógica - SBL
- Publisher place: São Paulo
- Date published: 2025
- Source:
- Título: Book of abstracts
- Volume/Número/Paginação/Ano: p. 167-168, 2025
- Conference titles: Brazilian Logic Conference - EBL 2025
-
ABNT
ALVIM, José Goudet e MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Categorical constructions of sets valued on semicartesian and involutive quantales. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 167-168. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 dez. 2025. -
APA
Alvim, J. G., Mariano, H. L., & Mendes, C. de A. (2025). Categorical constructions of sets valued on semicartesian and involutive quantales. In Book of abstracts (p. 167-168). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view -
NLM
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2025 dez. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view -
Vancouver
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2025 dez. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view - On categories of quantale valued sets
- Quantale valued sets: categorical constructions and properties
- Analyzing categories of signatures
- Towards a good notion of categories of logics
- Analysing categories of signatures
- Algebraizing higher-order logics
- Sheaves on quantales and their truth values
- Induced morphisms between Heyting-valued models
- Categories of commutative semicartesian quantales valued sets
- Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3259912.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
