You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Valeria de Paiva (May 19 2022 at 20:26):pois e', esquecemos de anunciar por aqui : estamos organizando uma sessao tematica sobre teoria de categorias ver https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas com nossos colegas da Universidade de Coimbra, especialmente Prof Maria Manuel Clementino.
tb temos uma sessao tematica sobre Logica Matematica com website https://sites.google.com/view/logica-brasil-portugal/
Lucas Queiroz (he/him/his) (May 29 2022 at 00:20):Obrigado por me adicionarem :smiley:
Valeria de Paiva (May 29 2022 at 00:20):oi @Lucas Queiroz , que tipo de teoria de categorias que voce faz? Bemvindo!
Valeria de Paiva (May 29 2022 at 00:21):de nada, achei que podia te adicionar, por causa da sua mensagem pro @Davi Sales Barreira .
Lucas Queiroz (he/him/his) (May 29 2022 at 00:22):Eu estudo teoria das categorias básica. Esta semana eu estava estudando sobre adjunções monádicas. Eu pretendo começar a estudar sobre extensões de Kan brevemente.
Lucas Queiroz (he/him/his) (May 29 2022 at 00:23):@Valeria de Paiva que tipo de teoria de categorias você estuda?
Lucas Queiroz (he/him/his) (May 29 2022 at 00:25):Eu venho estudando teoria das categorias desde 2018 se não me engano, já tenho uma certa familiaridade com ela
Valeria de Paiva (May 29 2022 at 00:27):ah, legal! eu estava mesmo pensando em escrever pro @Davi pra dizer que eu acho que mais facil e mais interessante estudar coisas das quais preciso pra alguma outra coisa que esteja fazendo. Eu faco logica categorica @Lucas Queiroz . eu me interesso especialmente por modelos categoricos de Logica Linear e de logicas modais construtivas.
eu falo a beca sobre essas coisas. eu preciso organizar o meu youtube channel, mas como disse acima a gente (o Jose' Siqueira, a Maria Manuel Clementino, o Hugo Mariano e eu) nos estamos organizando uma sessao tematica de CT no encontro Brasil-Portugal 200 anos de Independencia, organizado pelo pessoal do IMPA. https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas
Lucas Queiroz (he/him/his) (May 29 2022 at 00:33):Fico feliz que o Encontro Conjunto Brasil – Portugal em Matemática vai acontecer no meu estudo - Bahia. Agora que eu estou sabendo do evento eu estou considerando participar.
Valeria de Paiva (May 29 2022 at 01:16):pois e', um dos meus maiores colaboradores e' o Prof Samuel Gomes da Silva (da UFBa), eles tem um grupo bem legal por la' atualmente! nao vou listar os professores todos, por medo de esquecer alguem...
Davi Sales Barreira (May 29 2022 at 14:03):Valeria de Paiva said:
ah, legal! eu estava mesmo pensando em escrever pro @Davi pra dizer que eu acho que mais facil e mais interessante estudar coisas das quais preciso pra alguma outra coisa que esteja fazendo. Eu faco logica categorica Lucas Queiroz . eu me interesso especialmente por modelos categoricos de Logica Linear e de logicas modais construtivas.
eu falo a beca sobre essas coisas. eu preciso organizar o meu youtube channel, mas como disse acima a gente (o Jose' Siqueira, a Maria Manuel Clementino, o Hugo Mariano e eu) nos estamos organizando uma sessao tematica de CT no encontro Brasil-Portugal 200 anos de Independencia, organizado pelo pessoal do IMPA. https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas
Eu tento seguir a linha de estudar as coisa a medida que preciso, mas, em categorias, acabei achando necessário pegar uma visão mais geral, pois os conceitos toda hora usavam outros conceitos. Além disso, como eu pretendo aplicar, eu meio que estou explorando o que existe pra ver o que se encaixaria no meu caso.
No momento, comecei a ler sobre os funtores polinomias. Estou esperançoso que vai se encaixar na aplicação que tenho em mente.
Valeria de Paiva (May 29 2022 at 14:33):oi @Davi Sales Barreira funtores polinomiais estao bem na moda! vc deve ter visto as duas workshops organizadas pelo David Spivak, certo? e teem muito a ver com o meu trabalho com categorias dialecticas, sobre o qual falei tb no 1o encontro brasileiro de categorias no ano passado, organizado pelo pessoal do Espirito Santo. um blog post divertido e' esse do Jules https://julesh.com/2018/08/16/lenses-for-philosophers/ boa sorte com o seu trabalho!
Davi Sales Barreira (May 29 2022 at 14:34):Obrigado, @Valeria de Paiva ! Vou dar uma lida no post asap.
Daniel Teixeira (Jun 03 2022 at 22:17):Valeria de Paiva said:
pois e', esquecemos de anunciar por aqui : estamos organizando uma sessao tematica sobre teoria de categorias ver https://sites.google.com/view/ecbpm/sess%C3%B5es-tem%C3%A1ticas com nossos colegas da Universidade de Coimbra, especialmente Prof Maria Manuel Clementino.
tb temos uma sessao tematica sobre Logica Matematica com website https://sites.google.com/view/logica-brasil-portugal/
muito legal valeria, obrigado por compartilhar aqui
Valeria de Paiva (Jun 03 2022 at 22:36):e voce @Daniel Teixeira que tipo de trabalho vc gosta?
Ana Luiza Tenorio (Sep 09 2022 at 21:23):Oi, pessoal!
Me chamo Ana Luiza, sou doutoranda no IME-USP sob orientação do Hugo Mariano.
Eu trabalho um pouco com feixes, topos elementares e teorias de cohomologia. Eu também tenho interesse em aplicações de teoria das categorias em outras áreas (da matemática ou não).
Quem tiver interesse no que o grupo de categorias do IME trabalha pode me mandar o número do celular que adiciono no nosso grupo do zap. Vez ou outra alguém divulga algum evento legal ou começa a discutir algum tópicos de categorias.
Estava espiando aqui e vocês mencionaram a 2ª edição do Encontro brasileiro em teoria das categorias e acho que já podemos adiantar que temos uma previsão de que o evento ocorra na semana do 13 de março de 2023 no IME-USP. Queremos que o evento seja presencial, mas com transmissão ao vivo. Liberando aqui a informação para interessados(as) já irem pensando nos resumos que vão enviar! :blush:
Ana Luiza Tenorio (Dec 29 2022 at 16:32):Oi, pessoal!
É com enorme alegria e satisfação que os convidamos para a segunda edição do Encontro Brasileiro em Teoria das Categorias, que ocorrerá de 20 a 24 de Março de 2023.
Esta edição será presencial com transmissão ao vivo pelo Youtube. Contamos com o apoio do grupo Math-Phys-Cat, do IME-USP, da SBL e do INCTMat.
Incentivamos que trabalhos nas mais diversas áreas, como Álgebra, Geometria, Ciência da Computação, Lógica e Física, desde que relacionado com Teoria das Categorias, sejam enviados. Para maiores informações, visite o nosso site: encontrocategorico.mat.br.
Não hesite em nos contatar caso tenha alguma dúvida: encontrocategorico@ime.usp.br
Datas importantes:
**- Submissão de resumo para palestras e pôsteres: até dia 13/01/2023
Divulguem o evento amplamente!
Ana Luiza Tenorio (Mar 04 2024 at 12:46):Olá! Talvez tenham algumas pessoas ativas aqui que não estavam na lista do Encontro.
Esses dias criei uma lista de email para que a comunidade brasileira possa se comunicar melhor. Caso queira participar, é só solitar através do link https://groups.google.com/u/4/g/teoria-das-categorias-brasil/