[2021-01-21] “Induced morphisms between Heyting-valued models”
Accepted for publication on the Journal of Applied Logics ─ IfCoLog Journal of Logics and their Applications (FLAP). Joint work with Hugo Luiz Mariano and Arthur Cahali.
[2024-02-21] “Q-Sets, Espaços Métricos e Completude”
Presented at the II UFBA–USP Logic and Foundations Meeting. Concerns how quantale-value sets can be seen as very generalized metric spaces and how the notion of singletons, borrowed from the classic literature about Ω-sets/H-sets, is related and in fact generalizes Cauchy sequences (up to Cauchy equivalence); and how convergence may be characterized by the existence of representatives for certain singletons.
[2023-03-20] “Modelos Categoriais do Cálculo λ Não-Tipado”.
Presented at the II Encontro Brasileiro em Teoria das Categorias — IME USP. It concerns a construction performed on certain cartesian closed categories with posetal homsets that end up modelling untyped lambda calculus.
[2022-09-12] “A Family of Monoidal Structures on the Category of \(\mathcal Q\) -Sets for Commutative and Integral Quantales”.
Presented at EBL XX, Salvador BA. Joint work with Caio de Andrade Mendes and Hugo Luiz Mariano.
[2022-09-12] “Exploring two completeness conditions on quantale valued sets”
Presented at EBL XX, Salvador BA. Joint work with Caio de Andrade Mendes and Hugo Luiz Mariano.
[2022-02-10] “Convolução de Day para Subobjetos (e para nós também)”
A brief (20min) talk given at the first Encontro Paulista de Estudantes de pós-graduação em Matemática. It concerned how a monoidal structure on a category can be lifted to a “logical” connective (ie. operating on subobjects) on a category of presheaves.
The general construction can be performed on categories with sufficiently good factorization systems – and, say, equalizers. The resulting connective isn’t very good, but it enjoys certain conjunction-like properties.
[2021-12-15] “Categorical Properties of \(\mathbb Q\) -Sets”
A brief (20min) talk given at the 1st Brasil-Colombia Logic Meeting with co-author co-presenter and ‘co-lleague’ Caio de Andrade Mendes. Slides available as a pdf in English.
[2021-04-26] “Lógica Linear 🙵 Eliminação de Corte”
An informal talk/conversation for the CAT categories and applications study group. Video available in portuguese but I don’t know who has it. I’m pretty sure it was recorded.
The talk was about how constructive proofs of cut elimination yield a categorical structure + functors on the language of a given logic. I used exponential-less linear logic as a primer and example of what we could expect to see from that treatment.
[2021-02-02] “Morfismos Induzidos entre Modelos Heyting-valorados (de IZF)”
Given remotely at the “encontro de egressos e estudantes” of graduate studies in mathematics IME USP.
[2020-09-03] “Qual é a lógica interna?”
Talk co-presented with Juan Meleiro, for the Category Theory and Applications CAT and the MAT6705 (Topics in Categorical Logic) subject.
[2019-12-06]
Presented a poster on a workshop organized at IME USP on Foundations of Mathematics, Set Theory etc. It concerned our findings about lifting arrows from the category of parametrizing algebras of \(V^{\mathbb{H}}\) into morphisms between those objects, and the sheaves associated to them.
The poster can be seen here. Joint work with Hugo Luiz Mariano and Arthur Cahali.
[2019-05-09] “Some contributions Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras”
Attended the conference and co-presented some of our research efforts at EBL 2019, the Brazilian Logic Congress. Our ongoing work related to sheaves over locales, the category of \(B\) -Sets and Boolean Valued Models allà D. Scott.
(some of them were taken as an undergrad, but I’ve been told they count, ok)
GEN5711 Preparação à Docência de Graduação
Profa. Vera
Helena Giusti de Souza;
MAT5865 Teoria dos Modelos e Aplicações
Prof. Francisco
Miraglia Neto.
MAT6000 Grupos de Lie lineares
Prof. Odilon Otavio
Luciano;
MAT6684 Topologia Algébrica
Prof. Daciberg Lima
Goncalves;
MAT5704 Teoria dos Modelos em Lógica Contínua
Prof. Ricardo
Bianconi;
MAT6682 Tópicos de Análise Funcional.
Prof. Severino Toscano
do Rego Melo;
MAT6705 Tópicos de Lógica Categorial.
Prof. Hugo Luiz
Marino;
MAT5739 Teoria dos Conjuntos de Aplicações.
Profa. Christina
Brech,
Prof. Giorgio Venturi;
MAT5804 Teoria dos Modelos e Teoria das Categorias I
Prof. Hugo Luiz Mariano
MAT5741 Topologia Geral
Profa. Ofelia Teresa Alas
I was
way in over my own head, thank you :)
MAP5928 Dinâmica Complexa
Profa. Luciana Luna Anna Lomonaco
🤩