[Logica-l] Fwd: Wichtig: Petition "Wissenschaft ist Zukunft"

[Elaine Pimentel]

Quem puder ajudar...

Abraços!

--
Elaine

Begin forwarded message:

> From: Agata Ciabattoni 
> Date: 4 de abril de 2014 04:14:43 BRT
> To: getfun-proj...@googlegroups.com
> Subject: Wichtig: Petition "Wissenschaft ist Zukunft"
> Reply-To: getfun-proj...@googlegroups.com
> 
> Dear colleague,
> the Austrian government is planning to cut down drastically the funds of the 
> main organization funding basic research in Austria (Austrian Science Fund 
> FWF). There is a petition that should reach
> as many signatures as possible by April 11 and we all are trying to
> make it visible. It would be a great help if you could sign (and advertise) 
> it ...
> 
> http://www.wissenschaft-ist-zukunft.at
> 
> Thanks *a lot* in advance
> Agata
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "getfun-project" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to getfun-project+unsubscr...@googlegroups.com.
> To post to this group, send email to getfun-proj...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/getfun-project/alpine.DEB.2.02.1404040914260.6593%40login.logic.tuwien.ac.at.
> For more options, visit https://groups.google.com/d/optout.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Palestra "Polynomial functors, infinity-groupoids, and homotopy type theory", 24/04, 10hs

[Ruy de Queiroz]

O Grupo de Lógica e Fundamentos da
Matemática
(Centro
de Informática / Departamento de Matemática da UFPE) convida para a
palestra do Prof Joachim Kock  (Departament de
Matemàtiques, Universitat Autònoma de Barcelona) a ser realizada:

Dia: 24/04/2014 (5a.feira)
Hora: 10h
Local: Anfiteatro do Centro de Informática da UFPE

Todos são bem-vindos!

Ruy


*Polynomial functors, infinity-groupoids, and homotopy type theory*
Joachim Kock

Polynomial functors are functors between slice categories, built from pullbacks
and their adjoints, which are 'dependent sums' and 'dependent products',
hence are intimately related to type theory.  They make sense
in locally cartesian closed (infinity)-categories.  Already in sets there are
many interesting aspects to the theory, and before moving on to
infinity-groupoids,
I would like to dwell a little bit on elementary aspects with digressions
into algebra, combinatorics, and classical inductive data types.  The cool
thing about infinity-groupoids is that they work very much like sets ---
just better!  From the viewpoint of combinatorics, symmetries are taken
care of automatically.  From more abstract viewpoints (originating in
geometry and topology), 'everything becomes representable', through the
existence of a general object classifier.  This feature of
infinity-groupoids corresponds to the univalence axiom in homotopy type
theory.  Depending on time and interest, I can either go deeper into the
theory of polynomial functors, or go in more abstract directions of higher
topos theory.


*Joachim Kock* fez doutorado em matemática na UFPE em 2000, depois fez
postdocs em Stockholm, Nice e Montréal, e hoje é professor titular na
Universitat Autònoma de Barcelona. Tem trabalhado em geometria algébrica,
álgebra quântica, teoria de categorias e teoria de homotopia.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l