Pieter Hofstra - Isotropy of Toposes

preview_player
Показать описание
  1. Università degli Studi dell'Insubria
  2. Uninsubria
  3. toposes in como
Рекомендации по теме
Pieter Hofstra - 0:51:09

Pieter Hofstra - Isotropy of Toposes

Openbaar verhoor Pieter 1:27:32

Openbaar verhoor Pieter Hofstra - enquêtecommissie 21 mei 2015

Jason Parker --- 0:54:43

Jason Parker --- Isotropy Groups of Quasi-Equational Theories.

Pieter Hofstra op 0:04:36

Pieter Hofstra op Fleetmotive Expo Houten 2010

Polymorphic Automorphisms and 0:27:18

Polymorphic Automorphisms and the Picard Group

ACT 2021 - 3:00:55

ACT 2021 - Day 4, Sessions 3 - 4

Representable Characterization of 0:02:00

Representable Characterization of Adjoint Situations

Jason Parker – 0:39:35

Jason Parker – Polymorphic automorphisms and the Picard group

Noam Zeilberger, Skew 1:09:38

Noam Zeilberger, Skew monoidal categories and the proof-theoretic anatomy of associativity.

Algebraic Topology - 0:24:26

Algebraic Topology - 8.2 - Adjunction, Natural Transformations, Opposite Category

Functor 0:13:36

Functor

Jonathon Funk --- 1:10:17

Jonathon Funk --- Pseudogroup Torsors.

Characteristic Classes: Lecture 0:34:23

Characteristic Classes: Lecture 13

David I. Spivak 0:51:52

David I. Spivak - A topos-theoretic approach to systems and behavior (joint work with P. Schultz)

Enrico Ghiorzi --- 0:58:28

Enrico Ghiorzi --- Internal enriched categories.

Serre Duality and 1:03:23

Serre Duality and Supermanifold Duality (Mitchell Rothstein)

Co and HREE 0:48:05

Co and HREE Mineral Systems in the Eastern Mt Isa Block