Skip to main content
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Michael Wright Collection
Assunto de
Carregando...
04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: dinner conversations: FW Lawvere & S Awodey / remarks
04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Philippe Séguin: Ars combinatoria universalis (fragments of talk) / discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos
04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos
23/11/03 Florence: breakfast conversations A Bauer & S Awodey / J Mayberry / lunch conversations FW Lawvere, D Bernardini & Silvana Lawvere
11/10/05 Colloque: Impact des Categories - 60 years CT, ENS, Paris: Steve Awodey: Mac Lane & Carnap's Logical Syntax of Language
09/09/07 PSSL 86, Nancy: breaktime conversations S Awodey & D Pavlovic re. FW Lawvere, adjoints & Leibniz / Dusko Pavlovic: Geometry of abstraction +/or authentication
08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC
15/02/09 - 21/02/09 Category Theory & Related Fields; History & Prospects, MF Oberwolfach, Germany: disc 4
21/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Conversations Mulvey, Joyal et al post- JL Bell talk / Joyal re. Cartier & Joyal / Giuseppe Longo: talk (partial) / lunch conversations / Steve Awodey: talk (partial)
21/11/03 - Awodey
Resultados
1
para
10
de 40
of 4
Navegar 40 resultados
Awodey, Steve
Registo de autoridade
Awodey, Steve
Outros idiomas disponíveis
Inglês » Awodey, Steve
Zona de identificação
tipo de entidade
Forma autorizada do nome
Awodey, Steve
Forma(s) paralela(s) de nome
Forma normalizada do nome de acordo com outras regras
Outra(s) forma(s) de nome
identificadores para entidades coletivas
área de descrição
Datas de existência
Histórico
Locais
Estado Legal
funções, ocupações e atividades
Mandatos/Fontes de autoridade
Estruturas internas/genealogia
Contexto geral
Área de relacionamento
Área de pontos de acesso
Pontos de acesso - Assuntos
Pontos de acesso - Locais
Ocupações
Zona do controlo
Identificador de autoridade arquivística de documentos
Identificador da instituição
Regras ou convenções utilizadas
Estatuto
Nível de detalhe
Datas de criação, revisão ou eliminação
Línguas e escritas
Script(s)
Fontes
Notas de manutenção
Área de transferência
Adicionar
Exportar
EAC
Assuntos relacionados
Locais relacionados