Recherche - Université Toulouse 3 Accéder directement au contenu

Filtrer vos résultats

29 Résultats
Domaines : math.math-ct

Towards an axiomatization of the theory of higher categories

B. Toen
K-Theory, 2005, 34, pp.233-263
Article dans une revue hal-00022951v1
Image document

Homotopical algebraic geometry. II. Geometric stacks and applications.

Bertrand Toen , Gabriele Vezzosi
Memoirs of the American Mathematical Society, 2008, 193 (902), x+224pp
Article dans une revue hal-00772955v1
Image document

Homotopical algebraic geometry. I. Topos theory.

Bertrand Toen , Gabriele Vezzosi
Advances in Mathematics, 2005, 193 (2), pp.257-372. ⟨10.1016/j.aim.2004.05.004⟩
Article dans une revue hal-00772995v1
Image document

Multitensor lifting and strictly unital higher category theory

Michael Batanin , Denis-Charles Cisinski , Mark Weber
Theory and Applications of Categories, 2013, 28 (25), pp.804-856
Article dans une revue hal-00606274v2
Image document

Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

José Espírito Santo , Ralph Matthes , Luís Pinto
Ugo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩
Chapitre d'ouvrage hal-03255968v1

Affine stacks (Champs affines)

B. Toen
2003
Pré-publication, Document de travail hal-00022947v1

Homotopy Type Theory: Univalent Foundations of Mathematics

Peter Aczel , Benedikt Ahrens , Thorsten Altenkirch , Steve Awodey , Bruno Barras , et al.
Aucun, pp.448, 2013
Ouvrages hal-00935057v1
Image document

A new model of dg-categories

Elena Dimitriadis Bermejo
Category Theory [math.CT]. Institut de Mathématiques de Toulouse & Institut Universitaire de France, UMR 5219, Université de Toulouse, CNRS, UPS IMT, 2022. English. ⟨NNT : ⟩
Thèse tel-03966749v1
Image document

Relating stated skein algebras and internal skein algebras

Benjamin Haïoun
Symmetry, Integrability and Geometry : Methods and Applications, 2022, 18 (42), ⟨https://doi.org/10.3842/SIGMA.2022.042⟩
Article dans une revue hal-04083079v1
Image document

Homotopy theory of curved operads and curved algebras

Gabriel C. Drummond-Cole , Joan Bellier-Millès
2020
Pré-publication, Document de travail hal-02891526v3
Image document

Heterogeneous Substitution Systems Revisited

Benedikt Ahrens , Ralph Matthes
Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
Chapitre d'ouvrage hal-02360681v1
Image document

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

Rune Haugseng , Fabian Hebestreit , Sil Linskens , Joost Nuiten
2022
Pré-publication, Document de travail hal-03692099v1

Implementing a Category-Theoretic Framework for Typed Abstract Syntax

Benedikt Ahrens , Ralph Matthes , Anders Mörtberg
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503678⟩
Communication dans un congrès hal-03475481v1
Image document

A remark on K -theory and S -categories.

Bertrand Toen , Gabriele Vezzosi
Topology, 2004, 43 (4), pp.765-791. ⟨10.1016/j.top.2003.10.008⟩
Article dans une revue hal-00773020v1
Image document

Dendroidal sets and simplicial operads

Denis-Charles Cisinski , Ieke Moerdijk
Journal of topology, 2013, 6 (3), pp.705-756. ⟨10.1112/jtopol/jtt006⟩
Article dans une revue hal-00619248v1

Univalent Monoidal Categories

Kobe Wullaert , Ralph Matthes , Benedikt Ahrens
Leibniz International Proceedings in Informatics , 269, Schloss Dagstuhl - Leibniz Center for Informatics, pp.15:1-15:21, 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022), 978-3-95977-285-3. ⟨10.4230/LIPIcs.TYPES.2022.15⟩
Proceedings/Recueil des communications hal-03889672v1
Image document

MODULE DES DIFFÉRENTIELLES

Michel Vaquié
2023
Pré-publication, Document de travail hal-04063416v1
Image document

Martin Hofmann's Case for Non-Strictly Positive Data Types

Ulrich Berger , Ralph Matthes , Anton Setzer
Peter Dybjer; José Espírito Santo; Luís Pinto. 24th International Conference on Types for Proofs and Programs (TYPES 2018), 130, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.1:1-1:22, 2019, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-106-1. ⟨10.4230/LIPIcs.TYPES.2018.1⟩
Chapitre d'ouvrage hal-02365814v1
Image document

Vers une axiomatisation de la théorie des catégories supérieures.

Bertrand Toen
K-Theory, 2005, 34 (3), pp.233-263. ⟨10.1007/s10977-005-4556-6⟩
Article dans une revue hal-00772983v1
Image document

Two-variable fibrations, factorisation systems and $\infty$-categories of spans

Rune Haugseng , Fabian Hebestreit , Sil Linskens , Joost Nuiten
2022
Pré-publication, Document de travail hal-03692095v1
Image document

On the structure of dg-categories of relative singularities

Massimo Pippi
2019
Pré-publication, Document de travail hal-02346113v1
Image document

Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search

José Espírito Santo , Ralph Matthes , Luís Pinto
Mathematical Structures in Computer Science, 2019, 29 (8), pp.1092-1124. ⟨10.1017/S0960129518000099⟩
Article dans une revue hal-02360678v1

Dendroidal Segal spaces and infinity-operads

Denis-Charles Cisinski , Ieke Moerdijk
Journal of topology, 2013, 6 (3), pp.675-704. ⟨10.1112/jtopol/jtt004⟩
Article dans une revue hal-00529714v1

Propriétés universelles et extensions de Kan dérivées

Denis-Charles Cisinski
Theory and Applications of Categories, 2008, 20 (17), pp.605-649
Article dans une revue hal-00440928v1
Image document

Catégories dérivables

Denis-Charles Cisinski
Bulletin de la société mathématique de France, 2010, 138 (3), pp.317-393
Article dans une revue hal-00440930v2
Image document

The homotopy theory of dg -categories and derived Morita theory.

Bertrand Toen
Inventiones Mathematicae, 2007, 167 (3), pp.615-667. ⟨10.1007/s00222-006-0025-y⟩
Article dans une revue hal-00772962v1
Image document

A Coinductive Approach to Proof Search through Typed Lambda-Calculi

José Espírito Santo , Ralph Matthes , Luís Pinto
Annals of Pure and Applied Logic, 2021, 172 (10), ⟨10.1016/j.apal.2021.103026⟩
Article dans une revue hal-03086504v1
Image document

Au-dessous de SpecZ .

Bertrand Toen , Michel Vaquié
Journal of K-theory: K-theory and its Applications to Algebra, Geometry, and Topology, 2009, 3 (03), pp.437-500. ⟨10.1017/is008004027jkt048⟩
Article dans une revue hal-00772923v1

Derived Hall Algebras

B. Toen
2005
Pré-publication, Document de travail hal-00022952v1