Index of /
../
abstract-interpretation/ 17-Mar-2026 11:21 -
barr/ 19-Oct-2017 16:23 -
diagrammes/ 31-Aug-2026 11:21 -
esquisse/ 11-Nov-2026 08:24 -
grothendieck-res/ 16-Feb-2019 15:45 -
homotopy-theory-notes/ 20-May-2021 11:45 -
joncas/ 11-Nov-2026 08:24 -
lawvere/ 11-Nov-2026 08:24 -
lost+found/ 11-Nov-2026 08:11 -
martin-lof/ 11-Nov-2026 08:24 -
paterson/ 11-Nov-2026 08:24 -
paterson-hegelian-philmath/ 11-Nov-2026 08:24 -
reza/ 11-Nov-2026 08:24 -
shulman/ 11-Nov-2026 08:24 -
walters/ 11-Nov-2026 08:24 -
2015-popl-iris1-final.pdf 07-Nov-2025 23:57 415K
2307.16558v1.pdf 26-Apr-2026 20:11 293K
2309.08084v2.pdf 24-Feb-2026 16:11 869K
2512.17484v2.pdf 18-Feb-2026 19:55 671K
A Coherent Proof of Mac Lanes Coherence Theorem..> 18-Dec-2022 19:02 1M
A Consilience-Based Approach to Engineering Ser..> 15-Dec-2018 22:31 169K
A Stable Multi-Scale Kernel for Topological Mac..> 14-Aug-2017 11:07 2M
A critique of Marxism Leninism as theory and Pr..> 26-Jul-2017 09:40 950K
A-heuristic-search-approach-to-planning-with-te..> 10-Dec-2018 14:24 379K
AN ENRICHED CATEGORY THEORY OF LANGUAGE.pdf 31-Aug-2022 14:43 279K
A_property_of_the_behavior_of_complete_automata..> 27-Nov-2020 10:48 680K
Abouchar1991_Article_DualPricesInPlanAndMarket.pdf 16-Dec-2019 14:55 793K
Advances-in-automated-plan-generation_2009_Arti..> 10-Dec-2018 14:24 84K
An_overview_of_categorical_probability_theory__..> 06-Dec-2022 17:26 600K
Analysis, Systematicity and the Transcendental ..> 24-Jul-2017 19:53 1M
Autonomic Life as the Proof of Incompleteness a..> 27-Jul-2017 13:51 2M
Awodey-Carus2007_Article_CarnapSDreamGödelWitt..> 25-Jan-2020 13:10 251K
BBD_faisceaux-pervers.djvu 13-Dec-2018 16:36 2M
BOLZANO_AND_HUSSERL_LOGIC_AND.pdf 29-Mar-2019 15:20 6M
BarwickFutureOfHomotopyTheory.pdf 01-Oct-2020 15:07 42K
Benanav,+Beyond+Capitalism+2,+NLR+154,+July+Aug..> 09-Jan-2026 12:27 2M
Boisseau_2023_Graphical_electrical_circuit.pdf 28-May-2024 14:52 1M
Bolzanos Definition of Continuity his Bounded s..> 11-Oct-2019 10:16 228K
Brandom_The_Pragmatist_Roots_and_Some_Ex.pdf 09-Nov-2020 12:53 963K
Brassier-Mattin-Foreword.pdf 16-Feb-2022 21:17 64K
Burton_theflip.pdf 13-May-2020 12:15 470K
CARDASCIA_Pierre_la-dialogique-des-matrices-int..> 19-Jun-2019 11:12 19M
CATEGORIFICATION OF PERSISTENT HOMOLOGY.pdf 08-Aug-2017 12:03 316K
COGP.pdf 11-Apr-2019 20:33 4M
COMBINATORIAL_SCHEMA_AND_THEIR_COHOMOLOGY_APPLI..> 31-Aug-2018 10:46 562K
CSDpaper - SarahManski.pdf 14-Aug-2017 10:58 261K
Cameron and Frazer - On the question of pornogr..> 29-Apr-2018 13:27 917K
Caparrini2014_Article_LagrangeAndTheFoundations..> 09-Mar-2019 22:05 208K
Carnapian explication, formalisms as cognitive ..> 20-Aug-2017 11:33 474K
Cartmell.pdf 06-Aug-2014 18:34 93M
Categories for Planning and Scheduling.pdf 29-Jun-2022 13:44 2M
Chalk_and_the_Architrave_Mathematics_and_Modern..> 31-Aug-2020 17:18 2M
Chorlay2011_Article_LocalGlobalTheFirstTwentyYe..> 20-Jul-2019 17:42 706K
Christine Brooke Rose and the Science of Fictio..> 16-Sep-2019 09:35 1M
Church - An Unsolvable Problem of Elementary Nu..> 30-Jul-2021 09:22 2M
Church - The constructive second number class.pdf 30-Jul-2021 09:22 922K
Cockshott Von Mises, Kantorovich and in-natura ..> 06-Dec-2019 17:22 429K
Coinduction-and-corecursion.pdf 28-Sep-2019 13:43 218K
Compositional Diagrammatic First-Order Logic.pdf 21-Nov-2020 09:34 3M
Conceptualizing the future Marx s value theory ..> 01-Dec-2019 16:37 1M
Concise-finite-domain-representations-for-PDDL-..> 10-Dec-2018 14:24 912K
Connes1985_Article_Non-commutativeDifferentialG..> 08-Dec-2018 20:02 5M
Constructive Verification, Empirical Induction,..> 28-Jun-2017 22:37 214K
Databases as diagram algebras specifying querie..> 27-Apr-2019 12:15 741K
De Kant à Gentzen, en passant par Brouwer, Hil..> 29-Aug-2017 18:58 299K
Deep Learning Approaches for Question Answering..> 15-Jan-2019 16:16 636K
Deterministic-planning-in-the-fifth-internation..> 10-Dec-2018 14:24 2M
Detlefsen1990_Article_OnAnAllegedRefutationOfHi..> 24-Jul-2019 11:09 2M
Differential Cohesive Type Theory (Extended Abs..> 04-Sep-2017 15:40 154K
Differentials, higher order differentials and t..> 09-Mar-2019 20:16 6M
Digital inclusion and social exclusion: The pol..> 27-Jul-2017 15:46 515K
Does song repertoire size in Common Blackbirds ..> 28-May-2017 19:55 378K
Duskin_John_W._1966_05_Ph.D..pdf 15-Sep-2020 19:32 6M
ENDS, SHAPES, AND BOUNDARIES IN MANIFOLD TOPOLO..> 18-Jul-2017 11:46 874K
Eesti Haigekassa tervishoiuteenuste loetelu –..> 24-Oct-2021 13:53 377K
Equational reasoning with lollipops, forks, cup..> 14-Jan-2019 16:06 808K
Equipments _ The n-Category Café.xhtml 27-Jul-2023 14:36 416K
Eric Hobsbawm, Identity Politics and the Left, ..> 19-Apr-2021 22:42 117K
Esquisse d'une dualité géométrico-algébriqu..> 18-Jun-2019 16:19 2M
Essential Logical Structure of Inter-universal ..> 09-Mar-2021 11:43 407K
Estonias_radical_transformation.pdf 30-Jun-2025 10:42 5M
Ethno-futurism-burden-and-freedom.pdf 07-Aug-2026 12:44 724K
FilipBrOntheFoundationsofGeometricAlgebra.pdf 03-Jul-2025 13:06 2M
Fluxus_Constellation_Genova.pdf 11-Feb-2020 13:13 1M
Friedman2011_Article_CarnapOnTheoreticalTermsSt..> 17-Dec-2018 15:50 169K
Funk-Hofstra2022_Article_PseudogroupsAndTheirTo..> 22-Apr-2022 09:17 468K
Gallier_Constructive Logics. Part I: A Tutorial..> 02-Sep-2017 13:01 547K
Gallier_Constructive Logics. Part II: Linear Lo..> 02-Sep-2017 13:01 339K
Galois_Genralizations.pdf 06-Apr-2018 11:40 979K
Generalized sketches as an algebraic graphbased..> 28-Apr-2019 12:49 471K
Generic_Tools_for_Transportation_Planning_and_S..> 12-Mar-2019 12:02 6M
Gestural Composition with Arbitrary Musical Obj..> 25-Jul-2017 11:08 15M
Grandis1990_Article_CohesiveCategoriesAndManifo..> 21-Nov-2020 23:40 3M
Graph-automata.pdf 28-Sep-2021 14:48 668K
Grothendieck quantaloids for allegories of enri..> 15-Dec-2020 22:08 293K
Grothendieck_Vietnam.pdf 07-Jul-2021 09:36 1M
Gueroult - Leçon Inaugurale faite le Mardi 4 ..> 01-Feb-2019 14:32 1M
Guitart.ppt 22-Mar-2019 15:19 6M
Guitart2012_Article_AHexagonalFrameworkOfTheFie..> 22-Mar-2019 15:20 377K
Guitart2015_Article_BachelardEtLaPulsationMath..> 22-Mar-2019 14:55 576K
Guitart_55-1.pdf 23-Mar-2019 15:38 413K
Haydon-Pietarinen2021_Chapter_ResiduationInExis..> 25-May-2022 15:35 204K
Heis-2012a-Attempts-to-Rethink-Logic-Camb-Histo..> 07-Aug-2026 11:13 530K
Heymans2008_Article_BoldsymbolMathcalQ--Categor..> 15-Dec-2020 18:07 612K
HotzSchaltkreise.pdf 24-Feb-2022 13:01 7M
INTRODUCTION AUX systemems evolutifs a memoire.pdf 08-Feb-2019 13:33 295K
Ilona-Tragel_Keeleteaduslik-elulugu-6.-Keelemaa..> 31-Mar-2026 16:14 1M
Imperial-College-COVID19-NPI-modelling-16-03-20..> 17-Mar-2020 01:22 756K
Incentive design iterative planning and local k..> 13-Nov-2019 13:20 385K
Incommensurability, Ecology, and Planning: Neur..> 06-Dec-2019 17:44 124K
Individual identity in songbirds: signal repres..> 14-Sep-2017 09:57 1M
Introduction a une histoire conceptuelle de th..> 06-Apr-2018 11:39 443K
Jozsa1979_Chapter_SheavesInPhysicsTwistorTheory..> 02-Aug-2019 11:38 524K
Kant’s Transcendental Synthesis of the Imagin..> 17-Aug-2017 21:44 783K
Korb1998_Article_TheFrameProblemAnAIFairyTale.pdf 19-Dec-2018 11:18 262K
Kornai-Liptak1965 Two-level planning - Economet..> 08-Dec-2019 16:17 733K
Kornai1965_Article_MathematicalProgrammingAsATo..> 09-Dec-2019 17:22 860K
KrasilShchik1997_Article_CalculusOverCommutativ..> 21-Nov-2018 15:44 432K
LIEUX ET LOGIQUES : SUR LA PULSATION DU VOIR ET..> 08-Feb-2019 13:37 246K
LINTON_outline_functorial_semantics.pdf 14-Apr-2021 16:05 908K
Lance Quantification.pdf 26-Jan-2021 12:56 8M
Lautman on problems as the conditions of existe..> 20-May-2019 16:43 450K
Lawvere-Hegel-II.pdf 18-May-2023 12:09 239K
Learning-from-planner-performance_2009_Artifici..> 10-Dec-2018 14:24 805K
Logicadeloshacesdeestructura.pdf 25-Mar-2019 11:54 457K
Love_and_Sex_in_the_Age_of_Capitalist_Re.pdf 27-Jul-2018 09:46 1M
Marx_On_freedom_of_the_Press.pdf 06-Sep-2020 14:39 702K
Mass privatisation and the post-communist morta..> 29-Jun-2017 15:58 257K
Mathematics and philosophy by Parrochia, Daniel..> 15-Sep-2020 19:49 2M
Mathematics_of_Extinction_-_First_Versio.doc.pdf 11-Apr-2020 13:03 181K
Measure and distribution monads in categorical ..> 27-Jul-2017 15:46 798K
Meng thesis (FWL supervised).djvu 26-Mar-2017 20:36 9M
Menni2010_Article_LäuchliSCompletenessTheoremF..> 07-Jul-2019 12:43 390K
Menni_-LX-1.pdf 24-Nov-2020 12:13 1M
Monadologies An Historical Overview.pdf 14-Mar-2019 11:32 309K
Monoid Properties as Invariants of Toposes of M..> 28-Dec-2020 21:58 403K
Moroccan ornamental quasiperiodic patterns cons..> 22-Sep-2017 11:23 5M
Mukund-Distributed.pdf 23-Mar-2023 13:41 341K
Multiparty Session Types as Coherence Proofs.pdf 14-Aug-2017 11:02 632K
Murata - On the Meaning of 'Virtualité' in th..> 02-Jul-2020 17:17 2M
Méthodes algébriques dans la musique et la mu..> 22-Mar-2019 15:28 2M
Neculai S. Teleman - From Differential Geometry..> 14-Jul-2020 14:19 4M
Negating as turning upside down.pdf 23-Jul-2019 13:10 217K
Notes on Grothendieck topologies, fibered categ..> 18-Jul-2017 10:07 934K
Notes_on_Space_220x290mm_lk97–144_MUST.pdf 09-Nov-2025 16:15 28M
On Groupoid C*-Algebras, Persistent Homology an..> 10-Sep-2017 20:16 592K
On the articulation of systematic-dialectical m..> 20-May-2019 10:59 2M
On_the_notions_of_indiscernibility_and_indeterm..> 22-Mar-2018 20:44 447K
POWER_LACK_lawvere_2_theories.pdf 26-Apr-2021 19:31 164K
Phd_thesis_defrancescoalbasini.pdf 27-Oct-2023 11:59 985K
Plato2014_Article_GödelGentzenGoodsteinTheMagi..> 13-Jun-2019 13:06 264K
Power_ENTCS_2007_173_3.pdf 28-Jun-2026 18:39 315K
Practical-solution-techniques-for-first-order-M..> 10-Dec-2018 14:24 1M
Primer_on_Phenomenological_Political_Economy (0..> 15-Oct-2021 09:56 2M
Probabilistic-planning-with-clear-preferences-o..> 10-Dec-2018 14:24 2M
Proof, Language, and Interaction Essays in Hono..> 26-Jul-2020 12:12 2M
Proof-search in type-theoretic languages: an in..> 18-Feb-2020 17:44 264K
REASONING OVER RDF KNOWLEDGE BASES USING DEEP L..> 15-Jan-2019 16:16 1M
Real Variable and Integration with Historical N..> 02-Jul-2020 22:20 8M
Recoltes_et_semailles.pdf 04-May-2021 18:37 6M
Redding_Intuitionist_and_Classical_Dimensions-w..> 19-Oct-2022 11:58 1M
Riemann–Weyl in Deleuze’s Bergsonism.pdf 21-Feb-2018 12:04 152K
Rob Lucas_in ⇒ out.pdf 25-Sep-2017 08:42 367K
SONG REPERTOIRES AND REPERTOIRE SHARING IN A LO..> 28-May-2017 19:50 957K
STATISTICAL TOPOLOGICAL DATA ANALYSIS USING PER..> 06-Aug-2017 16:48 5M
S_Zp_Zp_Post_structural_readings_of_Gode.pdf 15-Sep-2020 20:24 2M
Saving the Market from Capitalism Ideas for an ..> 13-Aug-2020 09:55 1M
Schmid_Treatise_stucturalism_metaphysics_aprior..> 13-Jul-2022 13:56 1M
Sense, Signs and Sketches in the Mathematical I..> 08-Feb-2019 13:37 458K
Shulman_HoTT-minicourse2012-1.pdf 18-Sep-2016 22:01 232K
Sieg - Mechanical procedures and mathematical e..> 27-Jul-2021 14:08 5M
Sofronie1996_Chapter_TowardsASheafSemanticsForC..> 11-Dec-2018 11:50 1M
Sraffa, Leontief, Lange: The political economy ..> 01-Sep-2022 11:31 595K
Structure et concept dans l’épistémologie m..> 06-Mar-2019 12:06 2M
Structures of systems 1 Cohomology of manufactu..> 24-Jul-2018 12:15 595K
Surreal Numbers.pdf 27-Sep-2017 11:01 337K
Symmetric_Monoidal_and_Cartesian_Double_Categor..> 04-Jun-2021 12:39 507K
Task-decomposition-on-abstract-states--for-plan..> 10-Dec-2018 14:24 900K
The Effective as the Actual and as the Calculab..> 05-Jan-2022 15:47 169K
The Mathematical Model of Smooth and Striated S..> 21-Feb-2018 11:59 145K
The Possibility of an Island.pdf 21-Oct-2018 19:27 345K
The Two Dualities of Computation: Negative and ..> 30-Aug-2017 01:36 555K
The Wavelet Transform for Analysis, Synthesis, ..> 25-Sep-2017 14:54 2M
The beginning of Oulipo An attempt to rediscove..> 10-Oct-2017 12:13 361K
The class of states of the world as an groupoid..> 30-Apr-2019 10:54 2M
The invisible politics of Bitcoin- governance c..> 14-Aug-2017 10:59 284K
The steady states of coupled dynamical systems ..> 11-Dec-2018 14:14 435K
The world problem: on the computability of the ..> 16-Jul-2017 12:31 118K
The-Metalanguage-of-CT.pdf 10-Oct-2023 09:21 529K
The-factored-policy-gradient-planner_2009_Artif..> 10-Dec-2018 14:24 1M
The_Labour_Process_&_Class_Strategies.pdf 06-Apr-2020 22:05 3M
The_Origins_of_Laruelles_Non-Philosophy_in_Rava..> 09-May-2019 12:34 498K
The_Sky_Earth_System_A_Manifesto_for_Lea.pdf 01-Dec-2023 11:58 346K
These_D_ESPALUNGUE_D_ARROS_Sophie.pdf 05-Jun-2026 19:50 3M
Thesis (Nathanael Arkor) - Digital.pdf 15-Jul-2022 11:51 766K
Tholen2014_Article_NullstellenAndSubdirectRepre..> 19-Mar-2022 16:59 427K
Topological Microstructure Analysis Using Persi..> 14-Aug-2017 10:37 13M
Topological_Analysis_of_Population_Activity_in_..> 22-Feb-2018 13:54 2M
Topologies et faisceaux en sémantique des text..> 14-Mar-2019 14:59 1M
Towards a General Theory of Classifications by ..> 13-May-2020 12:03 3M
Tree_automata_and_enriched_category_theor.pdf 24-Nov-2020 19:50 637K
Tucciarone1973_Article_TheDevelopmentOfTheTheor..> 15-Apr-2019 11:25 2M
Twisted calculus.pdf 07-Dec-2018 13:41 589K
Understanding microfascism reading Deleuze and ..> 27-Jun-2019 13:53 1M
Une archéologie de la logique du sens : arithm..> 20-Jun-2019 11:01 6M
Using persistent homology and dynamical distanc..> 08-Aug-2017 12:04 9M
Vanguard Total Index: Conceptual Writing, Infor..> 23-Oct-2017 20:53 132K
Variable set semantics for keyed generalized sk..> 28-Apr-2019 12:49 1M
Who_is_winning_from_covid.pdf 19-Apr-2021 22:41 14M
Winfield_Logic_Marx_Capital.pdf 24-Jul-2018 18:18 2M
YaroshAN_computations-in-twisted-morava-k-theor..> 29-Oct-2017 14:01 487K
a-brief-introduction-to-martin-löf-type-theory..> 24-Jul-2017 19:57 389K
a-call-by-need-lambda-calculus.pdf 26-Oct-2025 07:22 1M
a-category-of-surface-embedded-graphs.pdf 12-Sep-2022 12:20 2M
a-cohomological-viewpoint-on-elementary-school-..> 07-Jun-2016 08:59 247K
a-computational-reading-of-prynne's-for-the-mon..> 16-Nov-2018 11:44 431K
a-cook's-tour-of-duality-in-logic.pdf 27-Sep-2021 16:08 325K
a-discussion-between-colin-mclarty-and-andrei-r..> 29-Oct-2016 17:00 164K
a-few-useful-things-to-know-about-machine-learn..> 30-Jun-2016 20:16 156K
a-formal-system-for-euclid's-elements.pdf 14-Sep-2017 09:02 704K
a-logic-road-from-special-to-general-relativity..> 25-Apr-2019 12:44 204K
a-martial-art-of-metaphor-two-interviews-with-g..> 28-Feb-2016 12:15 2M
a-proposal-for-ontology-formalization-based-on-..> 18-Apr-2019 12:24 374K
a-stroll-through-the-gaussian-primes.pdf 14-Jun-2016 01:10 1M
a-survey-on-theorem-provers-in-formal-methods.pdf 28-Jul-2020 21:53 924K
a-topos-foundation-for-theories-of-physics-i.-f..> 17-Aug-2016 15:46 390K
a-topos-foundation-for-theories-of-physics-ii.-..> 17-Aug-2016 15:47 380K
a-topos-foundation-for-theories-of-physics-iii...> 17-Aug-2016 15:47 398K
a-topos-foundation-for-theories-of-physics-iv.-..> 17-Aug-2016 15:47 389K
a-truly-beautiful-theorem-demonstrating-the-mag..> 18-Aug-2016 23:04 365K
a-tutorial-on-computational-classical-logic-and..> 31-Jul-2024 09:20 2M
a-type-theory-for-probabilistic-and-bayesian-re..> 29-Jun-2017 11:46 882K
a-whirlwind-tour-of-the-world-of-(∞,-1)-categ..> 24-Feb-2017 15:16 556K
aaronson_why-philosophers-should-care-about-com..> 01-May-2020 14:52 595K
abduction-categorial-characterization.pdf 08-Aug-2015 20:27 452K
abramovich_resolution-of-singularities-of-compl..> 27-Dec-2017 21:11 309K
abramsky-mccusker-game-semantics.pdf 07-Aug-2017 14:52 566K
abramsky-vickers_quantales-observational-logic-..> 19-Apr-2025 16:07 281K
abramsky_a-unified-sheaf-theoretic-account-of-n..> 13-May-2016 23:28 426K
abramsky_abstract-interpretation-logical-relati..> 17-Mar-2025 14:11 1M
abramsky_contextuality-cohomology-and-paradox.pdf 19-Jul-2017 12:04 666K
abramsky_from-lawvere-to-brandenburger-keisler-..> 18-Jul-2017 11:48 306K
abramsky_information-processes-and-game.pdf 25-Sep-2019 14:49 933K
abramsky_introduction-to-abstract-interpretatio..> 27-Mar-2025 13:08 1M
abramsky_logic-and-categoris-as-tools-for-build..> 30-Jun-2017 14:27 221K
abramsky_two-puzzles-about-computation.pdf 02-May-2017 10:07 77K
abramsky_what-are-the-fundamental-structures-of..> 24-Jan-2016 21:43 90K
abstract-interpretation-from-a-denotational-sem..> 17-Mar-2025 14:10 417K
abstract-interpretation-in-logical-form.pdf 17-Mar-2025 14:06 2M
abu-bakr-naji-the-management-of-savagery-the-mo..> 03-Jan-2016 23:27 991K
aconfutationofconvergentrealism2_laudan.pdf 12-Mar-2016 18:43 593K
actions-enrichments-and-universal-enrichments.pdf 12-Jan-2026 08:40 839K
active-inference-communication-hermeneutics.pdf 21-Feb-2017 11:19 2M
aczel_notes-on-constructive-set-theory.pdf 27-Sep-2017 13:34 299K
adamek_introduction-to-coalgebra.pdf 09-Jul-2017 15:36 318K
adamek_on-varieties-and-covarieties-in-a-catego..> 20-Apr-2021 12:10 445K
adamek_the-intersection-of-algebra-and-coalgebr..> 21-Apr-2021 07:22 255K
adding-nesting-structure-to-words.pdf 01-Sep-2022 15:42 550K
adjoints-and-emergence.pdf 21-Aug-2015 11:01 495K
adorno_classtheory1942.pdf 10-May-2021 09:27 2M
adorno_trying-to-understand-endgame.pdf 31-Jan-2021 10:39 3M
ageron_L Art de l esquisse 1.pdf 08-Nov-2023 10:20 6M
ageron_L Art de l esquisse 2.pdf 08-Nov-2023 10:20 7M
ageron_L Art de l esquisse 3.pdf 08-Nov-2023 10:20 4M
ageron_logic-of-structures.pdf 20-May-2019 14:51 1M
agger_dialectical-sensibility.pdf 21-Apr-2018 01:00 2M
ahman_normalization-by-evaluation-and-algebraic..> 04-May-2026 19:23 406K
ak_rosenberg_1982.pdf 02-Mar-2016 19:08 2M
albritton_response-to-chris-arthur.pdf 16-Jul-2018 10:39 111K
aleiferi_cartesian-double-categories.pdf 27-Feb-2025 12:44 900K
alfred-sohnrethel-das-ideal-des-kaputten-3.pdf 06-Apr-2020 21:24 5M
alfred-sohnrethel-die-okonomische-doppelnatur-d..> 06-Apr-2020 21:23 620K
alfred-sohnrethel-mental-and-manual-labour-in-m..> 06-Apr-2020 21:11 963K
alfred-sohnrethel-warenform-und-denkform-aufsat..> 06-Apr-2020 21:27 15M
alg-top-kirchoff-network-problem.pdf 31-Jul-2017 13:29 486K
algebra+homotopy=operad.pdf 02-Jun-2017 13:23 2M
algebraic-and-informational-aspects-of-zielonka..> 06-Sep-2022 13:26 161K
algebraic-automata-and-context-free-sets.pdf 21-Oct-2021 12:34 1M
algebraic-effects-and-handlers-for-arrows.pdf 21-Feb-2024 17:21 430K
algebraic-recognizability-of-languages.pdf 17-Apr-2021 17:30 498K
algebraic-topology-and-concurrency.pdf 05-Jul-2017 22:53 660K
alien-copies,-gaussians,-and-inter-universal-te..> 22-Mar-2019 12:13 893K
alienation-and-central-planning-in-marx.pdf 03-Apr-2017 12:30 301K
allegretti_simplicial-sets-and-van-kampens-theo..> 02-Mar-2017 13:38 346K
altenkirch_naive-type-theory.pdf 16-Dec-2025 12:19 190K
altenmüller_thesis.pdf 30-Jul-2026 13:04 10M
althussers-anti-humanism-and-soviet-marxism.pdf 11-May-2018 22:25 2M
an-adjoint-characterization-of-the-category-of-..> 06-Oct-2017 09:35 576K
an-application-of-category-theory-in-the-life-s..> 20-Aug-2015 22:24 2M
an-axiomatics-for-categories-of-coalgebras.pdf 11-Aug-2019 12:14 842K
an-equational-axiomatization-of-dynamic-threads..> 12-Nov-2025 11:05 763K
analyse-algebrique-appliquee-a-l'automatique.pdf 16-Mar-2020 18:21 94K
analysis-of-tame-topology-using-o-minimality.pdf 22-Nov-2019 14:42 798K
andre_ambiguity-theory-old-and-new.pdf 06-Apr-2018 11:00 196K
andre_idees-galoisiennes.pdf 23-Mar-2018 20:09 175K
andrea-dworkin-and-the-truth-of-pornography.pdf 21-Apr-2018 17:31 303K
anel_joyal-topologie.pdf 03-Aug-2020 23:08 2M
applications-of-algebra-and-coalgebra-in-scient..> 15-Sep-2019 18:26 373K
approaching-plato.pdf 22-Sep-2021 20:25 2M
arbib-giveon_algebra-automata-i.pdf 19-Jul-2021 09:55 707K
arbib-giveon_algebra-automata-ii.pdf 19-Jul-2021 09:55 1M
arbib-manes_machines-in-a-category.pdf 29-Jun-2017 11:26 762K
arbib_manes-machines-in-a-category-expository-i..> 15-Apr-2017 12:38 3M
arkor-clarke_Double category theory lecture not..> 16-Feb-2026 11:17 151K
arkor-mcdermott_nerve-theorem-for-relative-mona..> 06-Jan-2026 15:37 753K
arkor-saville-slattery_bicategories-of-algebras..> 30-Nov-2025 13:02 1M
arkor_algebraic-models-of-simple-type-theories.pdf 29-Oct-2025 12:05 300K
arkor_exponentiable-virtual-double-categories-a..> 18-Aug-2025 07:40 771K
arkor_monadic-and-higher-order-structure.pdf 01-Mar-2024 09:55 766K
arkor_vdc-slides.pdf 01-Aug-2025 12:43 31M
arnold_polymathematics.pdf 20-Mar-2019 14:21 180K
arnold_symplectization-complexification-and-mat..> 14-May-2017 11:58 459K
artemov_provability-of-consistency.pdf 27-Jul-2020 14:25 162K
artful-mathematics-the-heritage-of-escher.pdf 10-Dec-2017 19:47 2M
arthur_money-and-exchange.pdf 08-Nov-2018 16:09 142K
arthur_the-concept-of-money.pdf 06-May-2018 21:55 265K
arthur_with-what-must-the-critique-of-capital-b..> 06-May-2018 22:27 639K
articulating-animals.pdf 31-Jul-2015 12:23 193K
artz1981-classical-mechanics-in-galilean-space-..> 05-Sep-2016 01:53 786K
ast.pdf 19-Jun-2026 17:53 1M
asynchronous-mappings-asynchronous-cellular-aut..> 11-Nov-2022 15:46 2M
atiyah-interview-1984.pdf 10-Oct-2017 09:21 2M
atiyah_bakerian-lecture-1975-global-geometry.pdf 14-Jan-2018 21:15 291K
atiyah_bordism-and-cobordism.pdf 17-Nov-2017 11:09 532K
atiyah_complex-geometry-of-nuclei-and-atoms.pdf 24-Jan-2019 11:42 672K
atiyah_geometric-models-of-matter.pdf 25-Jan-2019 15:30 283K
atkey_parameterised-notions-of-computation.pdf 05-Feb-2026 15:15 334K
atkey_parameterized-notions-of-computation.pdf 25-Feb-2024 09:05 231K
atkin_from-cohomology-in-physics-to-q-connectiv..> 18-Mar-2019 22:16 1M
atkins consanguineal numbers.pdf 07-Jan-2025 12:25 3M
aubin_a-cultural-history-of-catastrophes-and-ch..> 06-Sep-2016 16:58 35M
aubin_forms-of-explanation-in-thom's-catastroph..> 06-Sep-2016 19:15 3M
aubin_the-withering-immortality-of-bourbaki-str..> 03-Jan-2021 22:25 3M
augoustinos2007.pdf 16-Apr-2020 15:30 391K
automata-and-logics-for-words-and-trees-over-an..> 16-Apr-2025 11:25 252K
automata-minimization-a-functorial-approach.pdf 06-Jul-2021 14:10 513K
automated_metadata_generation.pdf 22-Sep-2015 18:19 563K
automatic-metadata-generation.pdf 22-Sep-2015 16:53 1M
avigad_classical-and-constructive-logic.pdf 23-Apr-2017 15:00 156K
avron_simple-consequence-relations.pdf 27-Aug-2017 22:48 369K
awodey-bauer_categorical-logic.pdf 05-Aug-2024 06:47 467K
awodey-bauer_propositions-as-types.pdf 28-Sep-2019 13:45 254K
awodey-butz-simpson-streicher_relating-topos-th..> 05-Jun-2026 20:28 253K
awodey-kishida_topology-and-modality-the-topolo..> 03-Dec-2017 00:28 342K
awodey-reck_completeness-and-categoricity-part-..> 30-Aug-2017 17:05 318K
awodey_a-proposition-is-the-homotopy-type-of-it..> 26-Apr-2017 12:37 219K
awodey_cat-log.pdf 07-Aug-2024 12:05 680K
awodey_kripke-semantics-for-mltt.pdf 11-May-2017 08:53 289K
awodey_logic-in-topoi.pdf 26-Apr-2017 12:33 834K
awodey_sheaf-representations-and-duality-in-log..> 14-May-2020 12:05 216K
awodey_stcsfinal.pdf 25-Sep-2016 16:08 154K
awodey_structuralism-univalence.pdf 12-Sep-2016 21:36 202K
awodey_structure-identity-principle.pdf 11-Feb-2026 17:52 202K
awodey_structure-in-mathematic-and-logic.pdf 14-Jun-2016 00:28 1M
awodeyvhellman.pdf 13-Jun-2016 23:34 154K
baas-a-framework-for-higher-order-cognition-and..> 28-Mar-2017 16:40 1M
baas-introducing-abstract-matter.pdf 18-Aug-2015 16:43 708K
baas-new-structures-in-complex-systems.pdf 18-Aug-2015 16:44 1M
baas_higher-order-architecture-of-a-collection-..> 18-Aug-2015 18:17 761K
baas_on-the-concept-of-space-in-neuroscience.pdf 01-Aug-2017 09:50 413K
backhaus_on-the-dialectics-of-the-value-form.pdf 19-Nov-2017 18:51 1M
backprop-as-functor.pdf 28-Dec-2017 22:42 242K
backus-canprogrammingbeliberatedfromthevonneuma..> 30-Aug-2016 00:35 3M
badiou's-number-a-critique-of-mathematics-as-on..> 10-Apr-2019 13:46 806K
badiou_mark-and-lack-on-zero.pdf 11-Jul-2017 21:41 362K
badiou_of-ideology.pdf 04-Apr-2018 14:40 242K
badiou_on-a-finally-objectless-subject.pdf 12-Aug-2015 16:15 602K
badiou_the-fascism-of-the-potato.pdf 23-Oct-2017 16:28 142K
badiou’s-number-a-critique-of-mathematics.pdf 22-Aug-2015 20:31 186K
baez-dolan_categorification.pdf 07-Mar-2019 20:23 361K
baez-fong_compositional-framework-for-passive-l..> 03-Aug-2017 11:32 647K
baez-graphs-with-polarities.pdf 11-Sep-2025 13:56 423K
baez-huerta_algebra-of-grand-unified-theories.pdf 07-Jun-2018 13:12 527K
baez-huerta_invitation-to-higher-gauge-theory.pdf 05-Dec-2017 15:12 659K
baez_an-intro-to-n-categories.pdf 24-May-2016 10:31 274K
baez_convenient-categories-of-smooth-spaces.pdf 04-Feb-2017 23:59 393K
baez_groupoidification-made-easy.pdf 13-Feb-2017 10:50 404K
baez_hda0.pdf 07-Mar-2019 20:22 544K
baez_hda1.pdf 17-Nov-2009 20:04 402K
baez_hda2.pdf 22-Oct-2007 01:20 367K
baez_hda3.pdf 03-May-2011 05:42 344K
baez_hda4.pdf 27-Oct-2006 02:17 417K
baez_hda5.pdf 18-Nov-2010 04:58 773K
baez_hda6.pdf 05-Mar-2010 23:20 466K
baez_hda7.pdf 06-Nov-2010 10:59 510K
baez_higher-dimensional-algebra-and-planck-scal..> 11-Oct-2016 21:58 201K
baez_homotopy-hypothesis.pdf 15-Jan-2017 14:58 179K
baez_isbell.pdf 08-Jul-2022 12:11 176K
baez_mysteries-of-counting.pdf 17-Nov-2017 13:42 280K
baez_prehistory-of-n-categorical-physics.pdf 12-Jul-2016 16:53 3M
baez_quantum-quandries.pdf 10-Oct-2016 23:44 310K
baez_rosetta.pdf 16-Oct-2014 09:02 776K
baez_stay-algorithmic-thermodynamics.pdf 16-Nov-2016 17:40 530K
baez_struggles-with-the-continuum.pdf 07-Sep-2016 20:30 358K
baez_universal-algebra-and-diagrammatic-reasoni..> 18-Jan-2021 12:55 948K
baez_what-is-entropy.pdf 22-Jul-2024 09:50 1M
baez_why-n-categories.pdf 11-Nov-2015 22:28 369K
bagchi-wells_sketches-forms.pdf 21-May-2018 16:37 861K
bainbridge_feedback-and-generalized-logic.pdf 24-Feb-2024 18:15 961K
balaz-palinka.pdf 18-Sep-2022 14:38 21M
baldwin_is-structure-a-clear-notion.pdf 22-Nov-2019 11:24 235K
baldwin_philosophical-implications-of-paradigm-..> 22-Nov-2019 11:25 108K
baldwin_wiugeom.pdf 22-Nov-2019 11:36 836K
bar-natan_on-the-vassiliev-knot-invariants.pdf 10-Feb-2018 14:12 3M
barbour_deep-and-suggestive-principles-of-leibn..> 19-Feb-2016 23:31 67K
barbour_relativity-without-relativity.pdf 25-Apr-2016 23:55 337K
barbour_the-nature-of-time.pdf 25-Apr-2016 20:58 135K
barr-mclarty-wells_variable-set-theory.pdf 19-Oct-2017 16:03 185K
bartels_pedagogical-analogy-bw-polynomials-and-..> 22-Oct-2018 12:56 93K
barthes_death-of-the-author.pdf 30-Dec-2013 18:04 60K
barwick_euler's-gamma-function-and-the-field-wi..> 05-Jun-2018 13:07 364K
barwick_hunters-and-farmers.pdf 17-May-2018 14:39 88K
barwick_style.pdf 16-Nov-2017 13:11 60K
basic-theory-of-persistent-homology.pdf 05-Feb-2017 14:50 330K
batanin_categorical-strong-shape-theory.pdf 13-Feb-2018 16:36 389K
batterman_emergence,-singularities,-and-symmetr..> 28-Aug-2015 11:46 647K
batterman_explanatory-role-math.pdf 28-Aug-2015 10:32 194K
batterman_falling-cats,parallel-parking,and-pol..> 28-Aug-2015 11:43 336K
batterman_idealization-and-modelling.pdf 28-Aug-2015 11:37 523K
batterman_intertheory-relations-in-condensed-ma..> 28-Aug-2015 11:46 350K
batterman_multiple-realization-and-universality..> 28-Aug-2015 11:38 3M
batterman_the-specialness-of-special-functions.pdf 28-Aug-2015 11:39 2M
batterman_theories-between-theories.pdf 28-Aug-2015 11:42 2M
batterman_tyranny-of-scales.pdf 29-Jul-2015 11:16 1M
batterman_why-eq-stat-mechs-works.pdf 28-Aug-2015 11:45 504K
baudot_elements-of-consciousness.pdf 01-Oct-2019 10:46 7M
baudrillard_when-bataille-attacked-the-metaphys..> 17-Apr-2018 09:23 128K
baudrillards-radicalization-of-fetishism.pdf 16-Apr-2018 23:00 341K
bauer-what-is-algebraic-about-algebraic-effects..> 24-Feb-2024 15:13 279K
bauer_Realizability as the Connection between C..> 29-Aug-2017 14:47 470K
bauer_first-steps-in-synthetic-computability-th..> 14-Jan-2018 15:54 426K
bauer_five-stages-of-accepting-constructive-mat..> 15-Oct-2016 17:33 236K
bauer_kleene-tree.pdf 21-Jun-2017 11:43 177K
baur_sublating-kant-and-the-old-metaphysics-a-r..> 18-Apr-2018 17:17 494K
bayes-subdistributions.pdf 27-Oct-2022 19:42 405K
bayesian-machine-learning-via-category-theory.pdf 29-Jun-2017 11:34 984K
bbdphtlca93.pdf 27-Feb-2026 21:43 199K
beck_triples-algebras-and-cohomology.pdf 15-Jan-2018 15:09 428K
beckett-queneau-as-formalists.pdf 16-Jul-2020 12:07 1M
bednarczyk_categories-of-asynchronous-systems.pdf 23-Nov-2022 12:12 9M
beer_designing-freedom.pdf 13-Jul-2017 16:50 396K
beeson_Constructivity, Computability, and the C..> 18-Jul-2017 14:26 192K
beeson_brouwer-and-euclid.pdf 29-May-2017 19:37 552K
beeson_foreword-to-bishop-constructive-analysis..> 19-Oct-2017 12:28 126K
behrens_fourier-for-engineers.pdf 13-Mar-2017 12:31 79K
beilinson_how-to-glue-perverse-sheaves.pdf 23-Jan-2018 13:11 219K
beilinson_on-gelfands-seminar.pdf 16-Jan-2018 17:46 74K
being-and-time-and-brouwer's-intuitionism.pdf 14-May-2026 06:09 126K
beke_categorification-term-rewriting-and-knuth-..> 25-Apr-2024 08:50 233K
bell_abstact-and-variable-sets-in-category-theo..> 03-Dec-2017 13:04 303K
bell_categories-toposes-and-sets.pdf 16-Jan-2018 14:32 3M
bell_cohesiveness.pdf 28-Jun-2017 16:05 464K
bell_development-of-catlog.pdf 20-Jun-2016 15:28 973K
bell_from-absolute-to-local-mathematics.pdf 11-Jun-2016 16:19 1018K
bell_godel-time-travel.pdf 28-Jun-2017 16:06 134K
bell_lectures-on-foundations-of-math.pdf 09-Jul-2016 17:10 448K
bell_observations-on-category-theory.pdf 27-Mar-2016 15:56 45K
bell_russell's-paradox-and-diagonalization-in-a..> 30-Sep-2019 09:02 251K
bell_the-continuous-and-the-infinitesimal.pdf 28-Jun-2017 15:15 4M
bell_types-sets-and-categories.pdf 30-Aug-2016 01:49 456K
bellin_A pragmatic dialogic interpretation of b..> 30-Sep-2019 14:24 494K
bellin_Assertions, hypotheses, conjectures-roug..> 30-Sep-2019 10:59 581K
bellin_logic-for-pragmatics-assertion-and-conje..> 30-Sep-2019 10:58 653K
benabou-roubaud-string-diagrams.pdf 13-Mar-2023 09:55 17M
benabou_distributors-at-work.pdf 17-Jul-2017 16:37 392K
benabou_fibered-categories-and-the-foundations-..> 17-Feb-2019 13:16 531K
benabou_introduction-to-bicategories.pdf 26-Oct-2020 15:14 2M
benabou_les-categories-multiplicatives.pdf 21-Jan-2024 08:59 6M
benabou_les-distributeurs.pdf 21-Jan-2024 08:59 4M
benabou_les-triples.pdf 21-Jan-2024 08:59 3M
benabou_problems-dans-les-topos.pdf 21-Jan-2024 08:59 2M
benabou_structures-algebriques-dans-les-categor..> 07-Mar-2019 12:02 8M
bennequin_homological-nature-of-entropy.pdf 19-Apr-2018 19:30 510K
bennequin_remarks-on-invariance-in-the-primary-..> 21-Jun-2020 21:48 4M
bennequin_topological-forms-of-information.pdf 21-Apr-2018 17:38 75K
benson_bisimulation-of-automata.pdf 22-Jan-2018 11:29 1M
benson_shuffle-bialgebra.pdf 24-May-2023 13:28 1M
benton-moggi-hughes_monads-and-effects.pdf 02-Apr-2024 11:23 562K
berger_why-look-at-animals.pdf 18-Feb-2018 16:24 737K
bergman_some-category-theoretic-ideas-in-algebr..> 18-Feb-2018 21:39 1M
bernal_towards-a-science-of-science.pdf 11-Dec-2021 11:45 5M
bernays_platonism-in-mathematics.pdf 22-Apr-2019 12:16 143K
bernays_quelques-points-essentiels-de-la-metama..> 23-Apr-2019 14:47 774K
berners-lee_the-semantic-web-scientific-america..> 11-Jan-2019 11:25 154K
berry2008.pdf 12-Aug-2017 21:51 233K
berto-restall_negation-on-the-australian-plan.pdf 27-May-2026 06:13 459K
berto_hegel's-dialectics-as-a-semantic-theory.pdf 03-Dec-2016 15:17 168K
beth-definability-in-expressive-description-log..> 23-Sep-2019 13:31 596K
betti-kasangian_quasi-universal-realisation-of-..> 23-Nov-2020 10:40 493K
betti-kasangian_tree-automata-and-enriched-cate..> 25-May-2021 13:00 637K
betti-walters_variable-category-theory.pdf 26-Nov-2020 20:50 391K
betti_alcune.pdf 08-Jan-2026 12:23 2M
betti_bicategorie-di-base.pdf 08-Jan-2026 12:22 3M
beyond-notation.pdf 07-Jun-2023 11:17 583K
bhatt_etale-topology.pdf 22-May-2018 11:00 145K
bialgebraic-approach-to-automata-and-formal-lan..> 25-May-2021 11:03 265K
bialgebraic-semantics-for-string-diagrams.pdf 07-May-2021 10:07 962K
bian_deep-learning-on-smooth-manifolds.pdf 03-Nov-2018 21:41 233K
bibstyles.pdf 28-May-2024 14:33 1M
bicategories-pseudofunctors-shadows.pdf 05-Sep-2023 08:17 120K
bicategory-of-decorated-cospans.pdf 10-Jul-2017 12:35 204K
biequivalence-of-locally-cartesian-closed-categ..> 12-Jan-2025 17:44 488K
birkhoff_heterogeneous-algebras.pdf 15-Dec-2020 15:33 781K
birman_new-points-of-view-in-knot-theory.pdf 11-Dec-2017 19:44 4M
bishop_crisis-in-contemporary-mathematics.pdf 13-Jun-2020 21:28 808K
bishop_mathematics-as-a-numerical-language.pdf 14-Mar-2020 14:15 1M
bishop_schizophrenia-in-contemporary-mathematic..> 17-Jun-2022 11:56 1M
bisimulation-from-open-maps.pdf 11-Dec-2018 11:54 599K
bisimulation-of-enrichments.pdf 08-Mar-2021 12:55 245K
bitcoin-whitepaper.pdf 11-Nov-2015 20:27 180K
bkouche_sur-la-reforme-des-lycees.pdf 08-Feb-2019 13:35 98K
blanche_sur-la-opposition-de-concepts.pdf 22-Mar-2019 15:44 2M
blasjo_intuitive-infinitesimal_calculus.pdf 13-Oct-2017 10:13 8M
blasjo_the-isoperimetric-problem.pdf 13-Oct-2017 13:27 266K
blass_cohomology-detects-failures-of-the-axiom-..> 19-Aug-2017 21:21 1M
blass_seven-trees-in-one.pdf 12-May-2020 11:05 228K
blass_the-interaction-between-category-theory-a..> 30-Jun-2017 17:19 4M
blechschmidt_internal-language-topos-algebraic-..> 19-Dec-2017 15:19 2M
blume_graph-automata.pdf 29-Nov-2022 13:06 2M
blumensath_abstract-algebraic-language-theory.pdf 15-Dec-2022 14:32 2M
bogdanov's-tektology.pdf 24-Feb-2017 23:27 2M
bojanczyk_algebra-for-trees.pdf 05-Dec-2021 10:34 326K
bojanczyk_algorithms-for-regular-languages.pdf 07-Oct-2021 09:20 4M
bojanczyk_languages-recognized-by-finite-semigr..> 18-Apr-2022 08:48 71M
bolzano's-deducibility-and-tarski's-logical-con..> 01-Apr-2019 10:50 660K
bolzano's-theory-of-ground-and-consequence.pdf 23-Apr-2019 13:32 201K
bolzano-and-uniform-continuity.pdf 12-Oct-2019 11:48 116K
bolzano-etchemendy-on-logical-consequence.pdf 02-Apr-2019 10:51 250K
bolzano_rein-analytischer-beweis-1817_english.pdf 07-Oct-2019 18:15 1M
bolzanos_concept_of_grounding_abfolge_against_t..> 23-Apr-2019 13:32 274K
borceux-kelly_a-notion-of-limit-for-enriched-ca..> 26-Apr-2021 22:23 878K
borceux_cauchy-completion-in-category-theory.pdf 03-Jul-2023 14:19 935K
borceux_cauchy-completion.pdf 19-Sep-2020 16:46 935K
borceux_short-intro-to-enriched-category-theory..> 17-Aug-2016 15:28 548K
borel_notice-sur-les-travaux-scientifiques.pdf 20-Jan-2020 20:04 3M
borel_science-dans-la-societie-socialiste.pdf 28-Jun-2020 12:22 1M
bos-mehrtens_interactions-of-mathematics-and-so..> 30-Sep-2020 19:42 2M
bossut_a-kleene-theorem-for-pdags.pdf 01-Jul-2021 10:08 1M
bossut_automata-and-pattern-matching-in-planar-..> 12-Jul-2021 14:56 513K
bossut_automata-and-rational-expressions-on-pla..> 15-Jan-2021 16:31 672K
bossut_code-problem-planar-acyclic.pdf 13-Apr-2022 17:03 921K
bourke-lack_free-skew-monoidal-categories.pdf 29-Jun-2023 11:22 515K
bouscaren_introduction-a-la-theorie-de-modeles.pdf 22-Nov-2019 12:37 249K
bova-A_slightly_unusual_logic_course_2009_edi.pdf 24-Apr-2019 13:59 178K
bova-livingston_univocity-duality-and-ideal-gen..> 20-Mar-2019 12:31 257K
bova_metalogical-approach-to-the-problem-of-ref..> 24-Mar-2021 13:29 860K
bova_minimal-sartre-diagonalization-and-pure-re..> 06-Dec-2018 11:42 276K
bova_socratic-elenchos-and-diagonalization-plat..> 17-Feb-2018 01:09 84K
bowler_a-unified-approach-to-the-construction-o..> 28-Aug-2024 08:32 902K
box_science-and-statistics.pdf 28-Oct-2017 16:54 377K
boyd - inverse semigroups and kinship.pdf 13-Jul-2022 11:45 3M
brady-trimble_categorical-interpretation-of-pei..> 05-Jun-2017 17:05 226K
brady-trimble_string-diagram-calculus-for-predi..> 05-Jun-2017 17:04 483K
brandenburg_tensor-categorical-foundations-of-a..> 19-Jun-2016 16:07 2M
brandom's-expressive-conception-of-logic.pdf 03-Dec-2016 15:18 637K
brandom_Some Strands of Wittgenstein’s Normat..> 24-Jul-2020 22:14 503K
brandom_an-introduction-to-hegelian-logic-and-m..> 01-Sep-2015 15:27 191K
brandom_asserting.pdf 21-Apr-2018 23:17 2M
brandom_georg-hegels-phenomenology-of-spirit.pdf 17-Nov-2015 22:57 117K
brandom_hegelian-pragmatism-and-social-emancipa..> 14-Aug-2020 11:33 89K
brandom_intentionality-and-language.pdf 03-Dec-2016 17:13 109K
brandom_pragmatist-enlightenment-and-its-proble..> 17-Feb-2018 01:09 107K
brandom_rorty.pdf 30-Nov-2015 23:30 125K
brandom_some-pragmatist-themes-in-hegel's-ideal..> 02-Oct-2015 23:02 231K
brandom_the-structure-of-desire-and-recognition..> 28-Aug-2017 17:28 148K
brandom_varieties-of-understanding.pdf 31-May-2017 13:19 347K
brandomian-view-of-reinforcement-learning-towar..> 29-Jul-2018 19:42 528K
brass_moral-economists-subalterns-new-social-mo..> 24-Apr-2018 13:10 2M
brassier-jameson-on-making-history-appear-2.pdf 02-May-2019 11:59 212K
brassier-toscano_postface-aleatory-rationalism-..> 12-Jul-2009 13:04 132K
brassier_alien-theory-the-decline-of-materialis..> 06-Jun-2011 20:37 2M
brassier_alien-theory-the-decline-of-materialis..> 01-Nov-2026 09:29 1M
brassier_axiomatic-heresy-the-non-philosophy-of..> 07-Jun-2008 19:47 316K
brassier_badiou's-materialist-epistemology-of-m..> 23-Aug-2008 13:35 150K
brassier_behold-the-non-rabbit---kant,-quine,-l..> 06-Jun-2011 21:15 1M
brassier_comments-on-danielle-macbeth-s-realizi..> 07-Apr-2017 16:27 677K
brassier_concepts-and-objects.pdf 20-May-2015 21:40 531K
brassier_concrete-in-thought-concrete-in-act-ma..> 23-Mar-2018 14:40 675K
brassier_dialectics-between-suspicion-and-trust..> 05-Dec-2018 20:02 301K
brassier_genre-is-obsolete.pdf 03-Aug-2014 21:49 88K
brassier_laruelle-of-the-reality-of-abstraction..> 07-Dec-2018 12:14 1M
brassier_le-plus-de-noirceur-le-plus-d'eclat-l'..> 12-Aug-2021 11:22 6M
brassier_liquidate-man-once-and-for-all.pdf 22-Dec-2017 22:16 209K
brassier_presentation-as-anti-phenomenon-in-ala..> 06-Jun-2011 21:18 185K
brassier_solar-catastrophe-lyotard,-freud,-and-..> 06-Jun-2011 21:24 510K
brassier_speculative-autopsy.pdf 11-May-2017 08:56 1M
brassier_stellar-void-or-cosmic-animal---badiou..> 06-Jun-2011 20:06 556K
brassier_strange-sameness-hegel-marx-and-the-lo..> 13-Feb-2019 12:27 838K
brassier_that-which-is-not.pdf 05-Aug-2015 20:30 260K
brassier_the-expression-of-meaning-in-deleuzes-..> 30-Apr-2017 18:18 1M
brassier_the-human.pdf 03-Jan-2021 22:10 226K
brassier_view-from-nowhere.pdf 02-Aug-2015 19:10 1M
brauner_introduction-to-linear-logic.pdf 27-May-2024 09:13 613K
bridges_what-is-constructive-mathematics.pdf 20-Mar-2020 02:29 2M
brinon_conrad-notes-on-p-adic-hodge-theory.pdf 13-Dec-2018 16:39 3M
british-labour-party-conflict-between-socialist..> 01-Jul-2017 16:43 928K
brooke-rose's-experimental-turn.pdf 13-Nov-2019 15:36 757K
brooks-elephants-dont-play-chess.pdf 20-Apr-2016 23:46 135K
brouwer-and-nietzsche-views-about-life-and-logi..> 26-Apr-2017 15:55 581K
brouwer-and-weyl-phenomenology-and-math-of-intu..> 22-Mar-2016 21:53 265K
brouwer_life-art-mysticism.pdf 13-Apr-2018 15:31 150K
brouwer_unreliability-of-the-logical-principles..> 24-Sep-2016 23:59 381K
brown-porter_Category Theory an abstract settin..> 18-Jul-2017 10:05 178K
brown-porter_mathematics-in-context-a-new-cours..> 13-Mar-2018 17:57 401K
brown_wounded-attachments.pdf 27-Jan-2018 21:10 2M
brzozowski_derivatives-of-regular-expressions.pdf 08-Jan-2021 10:42 835K
buckley_lawvere-theories.pdf 23-May-2021 09:46 301K
buium_map-of-math.pdf 01-Jan-2018 12:28 49K
bunge-dubuc_local-concepts-in-sdg-and-germ-repr..> 28-Nov-2017 10:01 15M
bunge-dubuc_local-concepts-in-synthetic-differe..> 27-Nov-2017 10:13 15M
bunge-fiore_unique-factorisation-lifting-functo..> 06-Sep-2020 11:43 408K
bunge_toposes-in-logic-and-logic-in-toposes.pdf 27-Jul-2018 12:56 964K
bunke_differential-cohomology.pdf 24-Feb-2018 17:18 1M
burawoy_Marxism As Science.pdf 26-Jul-2017 09:41 623K
burnyeat-plato-on-why-math-is-good-for-the-soul..> 06-Sep-2016 16:22 5M
burroni-dans-l'ecole-d'ehresmann.pdf 20-May-2019 14:27 135K
burroni.pdf 08-Feb-2019 13:34 3M
burroni_automates-et-grammaires-polygraphiques.pdf 14-Jan-2019 12:58 419K
burroni_higher-dimensional-word-problem-with-ap..> 14-Jan-2019 12:58 234K
burroni_higher-dimensional-word-problem.pdf 14-Jan-2019 13:12 470K
burroni_structures-algebriques-survey.pdf 20-Jul-2021 11:34 489K
burroni_t-categories.pdf 06-Sep-2024 11:41 6M
burstall-goguen_putting-theories-together-to-ma..> 18-Aug-2018 14:39 323K
butterfield_the-rotating-discs-argument-defeate..> 15-Oct-2015 11:39 224K
butz_regular-categories-and-regular-logic.pdf 17-Jul-2017 13:31 318K
c*-algebraic-formalism-of-quantum-mechanics.pdf 16-Aug-2019 13:36 242K
c-infty-algebras-from-the-functional-analytic-v..> 25-Oct-2017 19:02 1M
c_semigroups_a4.pdf 03-Jul-2022 15:50 2M
caccamo_catnotes.pdf 23-Sep-2024 13:28 457K
cage-deleuze-and-the-idea-of-sound.pdf 08-Aug-2017 16:32 442K
call-by-push-value.pdf 25-Jan-2023 09:31 344K
callendar_time-in-physics.pdf 25-Jul-2017 17:05 161K
campbell_higher-categorical-non-abelian-cohomol..> 09-Feb-2021 16:11 774K
can-contemporary-semantics-help-the-pyrrhonian-..> 02-Aug-2015 20:45 271K
capital-account-liberalization-and-inequality.pdf 27-Jun-2017 14:33 763K
caramello_general-affine-adjunctions-nullstelle..> 21-Jan-2018 21:01 544K
carboni-johnstone_connected-limits-familial-rep..> 25-Sep-2024 14:43 1M
carboni-walters_cartesian-bicategories-i.pdf 19-Jan-2021 17:02 1M
carchedi_exhaustion-of-the-present-phase-of-cap..> 11-Feb-2018 14:00 3M
carchedi_the-old-and-the-new.pdf 14-Nov-2017 21:23 1M
carlson_hegel's-theory-of-quantity.pdf 30-Nov-2018 12:13 738K
carlsson_on-the-local-behavior-of-spaces-of-nat..> 16-Oct-2016 18:23 521K
carlsson_persistence-barcodes-for-shapes.pdf 29-Jan-2018 22:10 2M
carlsson_the-theory-of-multidimensional-persist..> 08-Aug-2017 12:09 579K
carlsson_topology-and-data.pdf 04-Feb-2017 19:01 2M
carlsson_zomorodian-computing-persistent-homolo..> 08-Aug-2017 20:34 471K
carmody_cobordism-categories.pdf 01-Aug-2023 12:57 8M
carnap_the-two-concepts-of-probability.pdf 07-Nov-2017 16:57 2M
carnap_value-concepts.pdf 23-Aug-2017 19:02 155K
carneiro_the-type-theory-of-lean.pdf 26-Nov-2024 10:20 450K
cartan_la-methode-du-repere-mobile.pdf 11-Mar-2019 12:53 2M
carter_categories-making-the-impossible-possibl..> 16-Apr-2018 13:55 269K
carter_exploring-the-fruitfulness-of-diagrams-i..> 16-Apr-2018 13:52 620K
cartesian-closed-exact-completions-in-topology.pdf 02-Jul-2025 18:11 560K
cartier-chemla_la-creation-des-noms-mathematiqu..> 18-Jun-2019 09:40 827K
cartier_Théories de Galois géométriques.pdf 06-Apr-2018 11:43 2M
cartier_from-grothendieck-to-connes-and-kontsev..> 12-Sep-2016 13:39 295K
cartier_grothendieck.pdf 13-Jan-2018 21:23 103K
cartier_logique-categories-et-faisceaux.pdf 20-Dec-2018 11:02 2M
cartier_mathemagics-tribute-to-feynman-and-eule..> 24-May-2016 00:37 408K
carus_going-global-carnap's-voluntarism-and-pri..> 26-Mar-2019 16:09 259K
carver_marx-and-hegel's-logic.pdf 09-Apr-2018 18:33 881K
cassirer's-response-to-frege-and-russel.pdf 25-Mar-2018 21:41 112K
cassou-nogues_le-temps-l'espace-et-la-demonstra..> 29-Apr-2019 11:06 251K
cat-theory-approach-to-diff-geo.pdf 23-Oct-2016 14:28 444K
catalysts-for-the-birth-of-scheme-theory.pdf 31-Oct-2019 16:25 206K
categorical-algebras-for-the-compositional-cons..> 22-Sep-2023 12:45 985K
categorical-constructions-in-graph-theory.pdf 11-Oct-2018 12:30 3M
categorical-foundation-for-bayesian-probability..> 29-Jun-2017 11:45 1M
categorical-knowledge-based-planning.pdf 30-May-2023 08:52 529K
categorical-logic-tutorial-notes.pdf 07-Nov-2025 21:32 459K
categorical-ontology-of-levels-and-emergent-com..> 28-Mar-2017 14:57 226K
categorical-quantum-mechanics-i.pdf 21-Oct-2015 11:17 2M
categorical-semantics-for-arrows.pdf 20-Jan-2023 09:57 403K
categorical-semantics-of-cyber-physical-systems..> 24-Oct-2020 18:02 388K
categorical-semantics-of-linear-logic.pdf 19-Feb-2022 16:59 11M
categorical_harmony_and_path_induction.pdf 23-Sep-2016 15:29 354K
categories-and-logical-syntax.pdf 17-May-2017 19:30 1M
categories-enriched-on-two-sides.pdf 05-Jul-2023 12:24 330K
categories-for-the-practising-physicist.pdf 21-Oct-2015 11:17 748K
categories-of-asynchronous-systems.pdf 02-May-2022 10:14 9M
categories-of-nets.pdf 28-Nov-2022 10:50 985K
categorification-and-applications-in-topology-a..> 04-Dec-2017 10:12 3M
category-enriched-in-a-bicategory.jpg 29-May-2023 08:34 176K
category-theoretic-fibration-as-an-abstraction-..> 15-Jan-2019 16:13 253K
category-theoretic-structure-and-radical-ontic-..> 12-Aug-2015 14:22 211K
category-theoretic-syntactic-models-of-programm..> 01-Apr-2024 18:41 769K
category-theoretic-understanding-of-universal-a..> 31-Jan-2018 10:41 287K
category-theory-and-higher-dimensional-algebra-..> 24-Dec-2016 12:10 103K
category-theory-as-coherently-constructive-latt..> 02-Jul-2024 09:10 2M
category-theory-as-conceptual-tool-in-the-study..> 06-Aug-2015 15:34 26M
catren_2011_on-philosophical-alchimery.pdf 02-Aug-2015 19:09 4M
catren_a-throw-of-the-quantum-dice-will-never-o..> 08-Jul-2015 17:23 1M
catren_abstraction-equality-univalence.pdf 16-Jan-2024 13:30 542K
catren_galoisian-structure-of-heisenberg-indete..> 30-Mar-2018 14:57 161K
catren_on-classical-and-quantum-objectivity.pdf 02-Jul-2017 01:53 233K
catren_pleromatica-or-elsinores-drunkenness.pdf 16-Dec-2015 00:29 167K
catren_pleromatica.pdf 30-Jul-2026 08:57 4M
cauchy-completeness-and-causal-spaces.pdf 20-Jan-2021 09:22 216K
cauchy-completion-and-the-associated-sheaf.pdf 17-May-2023 09:24 798K
cauchy-completion-in-category-theory.pdf 03-Jul-2023 14:19 935K
cavailles-lautman_mathematical-thought.pdf 28-Feb-2016 12:26 296K
cavailles_on-logic-and-the-theory-of-science.pdf 17-May-2017 16:08 3M
cavailles_sur-la-logique-et-la-theorie-de-la-sc..> 23-Apr-2019 13:48 2M
censi_mathematical-theory-of-co-design.pdf 12-Dec-2018 13:11 8M
chad-haag-thesis.pdf 09-Oct-2018 15:49 272K
chad-haag_thesis.pdf 09-Oct-2018 15:49 272K
chasing-individuation-mathematical-description-..> 04-Feb-2018 20:26 2M
chatelet_de-la-victoire-de-platon-et-d'un-certa..> 08-Apr-2020 22:35 448K
chatelet_le-potentiel-demoniaque.pdf 08-Apr-2020 16:08 1M
chatelet_on-a-little-phrase-of-riemanns.pdf 22-Aug-2014 21:30 233K
chatin_limits-of-math.pdf 04-Apr-2016 18:29 605K
chatzidakis_intro-to-model-theory.pdf 22-Nov-2019 12:09 247K
chavey1996-algorithms-and-complexity-of-songs.pdf 18-Apr-2016 18:37 468K
chemla_The Dangers and Promises of Comparative ..> 27-Aug-2022 10:28 9M
cheng-lauda_guidebook-higher-categories.pdf 28-Jan-2022 10:43 2M
cheng_mathematics-morality.pdf 23-Mar-2018 12:30 150K
cheng_terminal-coalgebras.pdf 06-Apr-2017 15:04 837K
chern_icm1970-differential-geometry-past-and-fu..> 09-Feb-2017 10:18 4M
chomsky-schutzenberger-pour-les-forets-algebriq..> 11-Jan-2024 10:33 895K
chomsky-schutzenberger_algebraic-theory-of-cont..> 23-Nov-2021 10:48 7M
chorlay_from-problems-to-structures-the-cousin-..> 08-Aug-2019 10:59 6M
chow_beginner's-guide-to-forcing.pdf 25-Mar-2020 15:11 176K
chow_what-is-a-closed-form-number.pdf 25-Mar-2020 15:11 875K
chowning_the-synthesis-of-complex-audio-spectra..> 07-Oct-2017 16:59 811K
christiansen_checking-dependent-types-with-norm..> 02-Oct-2024 12:36 243K
christias_sellars-contra-mcdowell.pdf 22-Nov-2015 13:16 523K
christias_toward-a-materialist-aufhebung-of-heg..> 16-Aug-2020 21:23 2M
church_the-need-for-abstract-entities-in-semant..> 18-Aug-2017 23:37 2M
cia-survey-of-soviet-economics.pdf 02-Dec-2019 13:10 3M
cichercia_why-does-class-matter.pdf 28-Jun-2022 11:06 304K
clark_convergence.pdf 23-Apr-2019 14:03 417K
clark_instructors-guide-to-real-induction.pdf 06-May-2019 11:25 171K
clarke_double-category-of-lenses.pdf 20-Jun-2022 11:52 1M
class-ethnicity-russian-speaking-estonian-miner..> 29-Sep-2026 09:42 142K
classical-logic-continuation-semantics-and-abst..> 30-Jun-2024 19:05 366K
clementino-hofmann_exponentiation-in-vcats.pdf 11-Jul-2025 08:12 185K
climate-change-in-fertile-cresent-and-recent-sy..> 12-Dec-2015 12:02 1M
clingman_2-lessons-mates-and-doctrinal-adjuncti..> 23-Oct-2020 11:13 4M
clingman_proof_relevant_cats.pdf 02-Oct-2022 14:32 853K
clones-from-comonoids.pdf 06-Dec-2021 09:53 260K
closed-bicategories-and-variable-category-theor..> 20-Nov-2020 12:46 391K
clouston_fitch-style-modal-lambda-calculi.pdf 19-Oct-2025 18:30 335K
coalgebraic-representation-theory-of-fractals-(..> 22-Jan-2018 13:03 382K
coalgebraic-semantics-of-reflexive-economics-re..> 21-Jul-2017 11:31 969K
coalgebras-in-functional-programming-and-type-t..> 16-May-2020 15:24 374K
cockett-pastro_logic-of-message-passing.pdf 19-Dec-2021 19:00 1012K
cockett-seely_finite-sum-product-logic.pdf 16-Sep-2024 14:08 302K
cockett-spencer_strong-categorical-datatypes-ii..> 12-Sep-2024 09:36 2M
cockett-spencer_strong-categorical-datatypes.pdf 12-Sep-2024 09:36 304K
cockett_about-charity.pdf 03-Oct-2024 14:42 4M
cockett_categories-and-computability-estonia-no..> 04-Sep-2024 12:14 743K
cockett_garner-restriction-categories-as-enrich..> 07-Dec-2025 12:18 338K
cockett_introduction-to-distributive-categories..> 30-Nov-2017 19:57 1M
cockett_list-arithmetic-distributive-categories..> 03-Oct-2024 14:45 2M
cockshott-cottrell_socialist-calculation.pdf 08-Nov-2017 22:05 166K
cockshott-cottrell_soviet-planning.pdf 08-Nov-2017 22:05 83K
cockshott-cottrell_transition-to-21st-century-s..> 03-Jul-2017 13:26 135K
cockshott_Returning_to_Kantorovich.pdf 09-Dec-2019 16:27 262K
cockshott_calculation-in-natura-from-neurath-to..> 04-Jul-2017 23:17 257K
cockshott_the-scientific-status-of-the-labour-t..> 03-Jul-2017 13:50 95K
coecke_kindergarten-quantum-mechanics.pdf 21-Oct-2015 11:17 152K
coecke_mathematical-foundations-for-a-compositi..> 17-Sep-2017 11:57 396K
coherence-for-logicians.pdf 30-Oct-2026 08:38 437K
coherent-presentations-of-moniodal-categories.pdf 07-Nov-2021 21:57 1M
cohn_algebra-and-language-theory.pdf 07-Dec-2021 07:38 2M
cohomological-learning-of-periodic-motion.pdf 22-Feb-2018 13:56 3M
cohomology-for-anyone.pdf 09-Apr-2019 11:07 385K
colcombet_green's_relations.pdf 23-Oct-2021 18:03 524K
collective-self-organization-in-general-biology..> 08-Aug-2015 11:45 82K
comfort_notes-on-profunctors-and-linear-logic.pdf 22-May-2024 08:49 347K
compfinance-intro.pdf 05-Apr-2018 09:43 1M
compiling-to-categories.pdf 01-Jul-2022 07:51 798K
complement-topoi-and-dual-intuitionistic-logic.pdf 25-May-2017 10:18 228K
completeness-of-ordered-fields.pdf 05-May-2019 13:40 281K
composition-as-identity.pdf 01-Aug-2015 12:46 1M
compositional-cyberphysical-systems-modeling.pdf 05-Aug-2020 12:06 209K
compositional-semantics-grounded-in-commonsense..> 01-Feb-2016 16:05 152K
computability-in-categories.pdf 17-Oct-2017 16:39 778K
computability-short-introduction.pdf 09-Jun-2024 10:29 476K
computation-and-the-explanation-of-intelligent-..> 24-Nov-2019 15:39 228K
computational-descriptions-of-higher-categories..> 02-Jul-2021 09:21 3M
computational-geometric-aspects-of-rhythm,-melo..> 29-Sep-2015 15:01 508K
conciliating-phenomenology-and-neuroscience-via..> 31-Mar-2016 22:45 1M
concurrent-kleene-algebra.pdf 02-Jan-2023 10:45 556K
conduché_au-sujet-de-l'existence-d'adjoints.pdf 10-Feb-2025 15:38 281K
connectionist-symbol-processing-dead-or-alive.pdf 15-Jan-2019 14:35 508K
connes-lott_particles-and-noncommutative-geomet..> 08-Dec-2018 19:54 1M
connes_a-view-of-mathematics.pdf 23-Sep-2017 11:41 418K
connes_the-music-of-shapes.pdf 06-May-2016 23:09 960K
connes_un-topo-sur-les-topos.pdf 26-Aug-2020 12:46 9M
conrad_congruentnumber.pdf 16-May-2018 21:46 347K
consciousness-as-a-state-of-matter.pdf 07-Sep-2015 22:23 6M
constable_proof-assistants-circa-2030.pdf 21-Jan-2019 15:43 422K
constable_proofs-as-programs.pdf 21-Apr-2017 16:28 2M
constable_triumph-of-types.pdf 06-Aug-2016 16:31 172K
constructive-analysis-types-and-exact-real-numb..> 03-Jul-2022 15:46 334K
constructive-homological-algebra-and-applicatio..> 25-Jul-2020 00:08 1M
continuity-and-effectiveness-in-topoi.pdf 18-Mar-2017 17:59 709K
continuous-and-discrete-wavelet-transforms.pdf 18-Jul-2017 09:53 344K
convenient-category-for-higher-order-probabilit..> 04-Oct-2017 12:57 2M
convenient-category-of-locally-preordered-space..> 09-Jul-2017 17:22 534K
conway's-zip-proof.pdf 23-May-2018 20:30 673K
conway_enumeration-of-knots-and-links.pdf 12-Feb-2018 10:50 615K
cooke_uniqueness-of-trigonometric-series-and-de..> 07-May-2019 15:52 5M
copeland_hypercomputation.pdf 20-Apr-2016 21:48 214K
coq-tutorial.pdf 14-Apr-2020 11:28 197K
coquand-danielsson-isomorphism-is-equality.pdf 12-Mar-2021 23:55 281K
coquand-dybjer_intuitionistic-model-constructio..> 04-May-2026 07:46 264K
coquand_from-semantics-to-rules-a-machine-assis..> 04-May-2026 07:38 792K
coquand_infinite-objects-in-type-theory.pdf 15-Mar-2024 08:00 862K
corfield-kromer_duality-of-space-and-function-a..> 21-Jan-2018 18:09 265K
corfield-kromer_form-and-function-of-duality-in..> 21-Jan-2018 18:02 521K
corfield_categorification-as-an-heuristic-devic..> 28-Feb-2017 16:45 356K
corfield_duality-as-category-theoretic-concept.pdf 19-Jan-2016 21:02 303K
corfield_expressing-‘the-structure-of’-in-h..> 25-Sep-2017 20:42 507K
corfield_from-math-to-psychology-lacan's-missed..> 02-Jul-2017 00:52 114K
corfield_homotopy-type-theory-and-the-vertical-..> 24-Feb-2017 17:41 264K
corfield_lautman-and-the-reality-of-mathematics..> 24-Apr-2016 13:47 113K
corfield_mathematical-kinds-or-being-kind-to-ma..> 02-Apr-2016 20:21 173K
corfield_modal-hott-draft.pdf 19-Nov-2018 11:41 468K
corfield_nominalism-realism-internal-external.pdf 08-Sep-2016 09:51 1M
corfield_reflections-on-friedman's-dynamics-of-..> 19-Jul-2017 11:35 71K
corfield_reviving-philosophy-of-geometry.pdf 24-Feb-2017 17:36 223K
corfield_understanding-the-infinite-i:-niceness..> 02-Apr-2016 20:22 165K
corfield_understanding-the-infinite-ii-coalgebr..> 07-Sep-2016 12:07 197K
corry_bourbaki-and-structure.pdf 21-Aug-2020 10:23 4M
corry_hilbert-physics-axiomatization.pdf 09-Dec-2016 15:20 8M
cospan-span-graph-a-compositional-description-o..> 10-Oct-2024 15:07 495K
cospan-span-graph.pdf 12-Jul-2024 15:29 969K
courcelle_basic-notions-of-universal-algebra-fo..> 14-Feb-2023 17:06 4M
courcelle_monadic-second-order-logic-of-graphs-..> 21-Feb-2022 19:15 3M
cox_beyond-representation-and-signification-tow..> 08-Aug-2017 16:39 285K
crapo_unities-and-negation.pdf 04-Apr-2019 13:04 1M
critique-of-the-critical-critique-of-critique.pdf 25-Aug-2015 13:46 523K
crolard_subtractive-logic.pdf 12-Aug-2019 15:59 222K
crole_deriving-category-theory-from-type-theory..> 30-Mar-2018 14:25 154K
crosilla_error-and-predicativity.pdf 16-Oct-2019 10:19 144K
crutchfield-qsoncomplexity.pdf 24-Jan-2016 16:17 80K
crutwell_algebraic_geometry_notes.pdf 30-Jun-2022 09:47 1M
curiel-cm-lag-not-ham.pdf 17-Jul-2016 23:13 302K
curiel-kins-dyns-struc-theory.pdf 17-Jul-2016 18:07 296K
curiel_riemann-glossary.pdf 18-Nov-2018 20:05 92K
curien-garner-hofmann_revisiting-the-categorica..> 05-Jun-2026 19:52 419K
curien_explicit-substitutions.pdf 02-Jul-2025 21:21 2M
curien_notes-on-normalization-by-evaluation-and..> 05-Jun-2026 15:27 235K
curien_operads-clones-distributive-laws.pdf 14-Sep-2025 06:05 262K
currythesis-sheaves-cosheaves-applications.pdf 10-Jul-2016 13:31 2M
cyclic-polycategories-contour-splicing.pdf 29-May-2023 11:07 564K
d6610.pdf 28-Apr-2018 13:44 213K
dagand_a-cosmology-of-datatypes.pdf 29-Sep-2025 06:06 1M
daly_no-more-pyrrhonism-and-non-philosophy.pdf 20-Apr-2015 14:01 269K
daniel-bloom-the-unity-of-oneness-and-plurality..> 08-Aug-2019 17:10 10M
daniel-w.-smith---deleuze-on-leibniz.pdf 30-Aug-2015 11:48 78K
dantzig_optimal-solution-of-a-dynamic-leontief-..> 11-Feb-2019 11:55 275K
daubechies_the-wavelet-transform-time-frequency..> 04-Oct-2017 12:27 4M
dauben_peirce's-philosophy-of-infinite-sets.pdf 24-Sep-2017 11:23 1M
dauben_peirce's-place-in-mathematics.pdf 23-Sep-2017 22:29 1012K
dauben_trigonometric-background-to-cantor's-the..> 07-May-2019 14:40 2M
david-webb-heidegger-and-weyl-on-the-question-o..> 14-Mar-2020 00:14 180K
davidson_on-the-very-idea-of-a-conceptual-schem..> 25-Jan-2016 12:14 364K
davidson_on_saying_that.pdf 21-Sep-2015 23:14 1M
davis_why-godel-didnt-have-church's-thesis.pdf 14-Dec-2020 19:48 1M
dawson-pare-pronk_the-span-construction.pdf 31-Oct-2024 16:04 438K
dawson-pare_characterizing-tileorders.pdf 24-Nov-2021 08:40 1M
dawson-pare_free-double-categories.pdf 24-Nov-2021 08:37 151K
dawson-pare_general-associativity-and-general-c..> 21-Nov-2025 19:31 1M
dawson-pare_tileorders.pdf 24-Nov-2021 08:40 1M
dawson_forbidden-suborder-characterization-of-b..> 16-Sep-2024 15:09 96K
day-street_abstract-substitution-in-enriched-ca..> 22-Jun-2023 08:59 244K
day-street_lax-monoids-pseudo-operads-and-convo..> 18-May-2021 10:31 300K
day-street_monoidal-bicategories-and-hopf-algeb..> 13-Jan-2022 16:25 737K
day-street_on-centers-and-lax-centers.pdf 05-Nov-2024 16:05 181K
day-street_quantum-categories.pdf 11-Jun-2024 10:19 321K
day_biclosed-bicategories.pdf 29-Nov-2022 09:45 75K
day_construction-of-biclosed-categories-ocr.pdf 09-Dec-2022 14:39 10M
day_construction-of-biclosed-categories.pdf 07-Dec-2022 13:08 7M
day_density-presentations-of-functors.pdf 14-Apr-2021 19:22 626K
day_enriched-tannaka-reconstruction.pdf 06-Mar-2021 18:39 268K
day_locale-geometry.pdf 20-Mar-2023 14:00 665K
day_middle-four-maps-and-net-categories.pdf 12-Dec-2022 13:43 108K
day_note-on-monads-with-rank.pdf 21-Aug-2026 08:34 1M
day_note-on-monoidal-monads.pdf 20-Jan-2026 12:35 612K
day_on-closed-categories-of-functors-ii.pdf 27-May-2024 12:20 1M
day_on-closed-categories-of-functors.pdf 27-Nov-2022 12:06 920K
day_promonoidal-functor-categories.pdf 07-Jul-2023 14:16 505K
day_relation-of-spanier-to-k-spaces.pdf 27-Nov-2022 10:50 4M
day_varieties-of-a-closed-category.pdf 13-Apr-2021 22:27 475K
day_varieties-of-an-enriched-category.pdf 13-Apr-2021 22:03 531K
de-paiva_categorical-semantics-of-linear-logic-..> 09-May-2017 10:21 161K
deadlock-free-polar-interleavings.pdf 23-Oct-2023 14:55 469K
debruijn_on-the-roles-of-types-in-math.pdf 16-Sep-2016 17:47 1M
debruijn_set-theory-with-type-restrictions.pdf 13-Mar-2021 14:44 513K
deconstructing-lawvere-theories.pdf 10-Apr-2018 13:10 1M
defence-of-adorno-on-jazz.pdf 02-Aug-2018 10:44 1M
definability-and-invariance.pdf 23-Mar-2018 20:53 1020K
dejong_MGS-categorical-realizability.pdf 30-Mar-2024 08:49 728K
dejong_MGS-domain-theory.pdf 14-Mar-2024 07:47 599K
delanda-deleuze-diagrams-genesis-form.pdf 21-Feb-2016 10:51 872K
deleuze-and-empiricism.pdf 06-Nov-2017 20:57 1M
deleuze-challenges-kolmogorov.pdf 06-Apr-2018 16:57 141K
deleuze_plato-and-the-simulacrum.pdf 24-Oct-2017 09:55 1M
deleuze_postscript.pdf 25-Aug-2014 16:19 1M
deleuze_the-fold.pdf 21-Feb-2018 11:02 1M
deligne-mumford_the-irreducibility-of-the-space..> 12-Jan-2018 15:32 2M
delpeuch_word-problems-on-string-diagrams.pdf 27-Sep-2022 15:21 2M
dennett_real-patterns.pdf 11-Mar-2018 17:51 551K
denotational-semantics-of-ssa.pdf 12-Nov-2025 18:23 942K
dependent-cartesian-closed-categories.pdf 23-Apr-2017 23:34 273K
derived-categories-for-the-working-mathematicia..> 19-Jun-2017 10:39 197K
derrida-and-brandom-on-language.pdf 24-Jun-2020 13:56 50K
determined-to-be-free-the-meaning-of-freedom-in..> 17-Oct-2017 11:31 2M
deutsch-machines-logic-and-quantum-physics.pdf 17-Aug-2016 01:32 268K
developments-of-the-theory-of-generalized-funct..> 21-Mar-2020 16:00 397K
devries_Hegels_Account_of_the_Presence_of_Space..> 02-Mar-2018 12:35 207K
di-liberti_scott-adjunction.pdf 17-Sep-2020 14:11 1016K
diagrammatic-algebra-of-first-order-logic.pdf 03-Feb-2025 15:47 1M
dialectic-of-teleology.pdf 06-Oct-2015 16:36 1M
diers_categorie-des-points-d'un-espace-projecti..> 14-Apr-2021 12:51 1M
diers_foncteur-pleinment-fidele-dense-classant-..> 14-Apr-2021 13:04 860K
diers_multialgebraic-categories.pdf 03-Mar-2021 14:11 180K
dieudonne_Algebraic-geometry_1969_Advances-in-M..> 29-Oct-2019 11:40 5M
dieudonne_emmy-noether-and-algebraic-topology.pdf 20-Jan-2018 15:52 237K
dieudonne_fondements-de-la-geometrie-algebrique..> 29-Oct-2019 11:40 4M
differential-2-rigs.pdf 08-Nov-2022 09:55 365K
differential-geometry-in-toposes.pdf 14-Jun-2016 22:37 1M
dijkstra_why-preorders-are-beautiful.pdf 20-Sep-2020 01:32 119K
dilavore_monoidal-width-journal.pdf 27-Dec-2022 11:20 503K
dilavore_slides-kleisli-categories.pdf 23-Apr-2024 14:12 42M
dilavore_slides-monoidal-categories.pdf 23-Apr-2024 13:36 45M
dilavore_thesis.pdf 12-Aug-2024 13:27 2M
dilemmas-in-a-general-theory-of-planning.pdf 13-Jul-2017 16:51 1M
dinat_directed_pre_arxiv.pdf 15-Sep-2024 09:57 683K
dinatural-numbers.pdf 29-Jun-2024 17:33 3M
dingmar_van_eck_proefschrift_def.pdf 06-Oct-2015 16:30 6M
dirichlet_primes-in-arithmetic-progression-engl..> 04-Apr-2020 15:08 166K
distributed-cognition-in-airline-cockpit.pdf 30-Jul-2015 12:55 1M
djb_calculus.pdf 22-Mar-2019 12:53 156K
do-unchained.pdf 07-Jun-2023 11:17 316K
doctrines-in-categorical-logic.pdf 14-Jul-2017 15:22 1M
does-efficient-causation-presuppose-final-causa..> 05-May-2017 10:51 118K
does_htt_provide_a_foundation_public.pdf 05-Aug-2016 20:37 332K
dolar_the-atom-and-the-void-from-democritus-to-..> 05-Jul-2018 14:23 666K
dolgachev_abstract-algebraic-geometry.pdf 19-Dec-2017 17:16 5M
domain-theory-an-introduction.pdf 26-Sep-2022 13:30 578K
domain-theory-and-general-relativity.pdf 19-Oct-2017 19:38 181K
donato_deep-inference-for-graphical-theorem-pro..> 12-Feb-2025 09:40 7M
dosen_identity-of-proofs-based-on-normalization..> 20-Sep-2024 21:34 238K
double-categories-exercises.pdf 04-Oct-2023 08:25 163K
double-category-theory-lecture-notes-week1.pdf 20-Apr-2026 19:30 151K
doyle-conway_division-by-3.pdf 30-Sep-2016 12:21 201K
drawbridge-up-mathematics-cultural-anathema.pdf 04-Mar-2017 12:56 1M
drinfeld_quantum-groups.pdf 02-Jan-2018 23:24 2M
drumm_The Difference That Money Makes.pdf 11-Dec-2021 11:36 2M
dualized-simple-type-theory.pdf 17-May-2017 21:34 436K
duals-invert.pdf 27-Jan-2023 15:39 954K
dubuc-zilber_banach-spaces-in-an-analytic-model..> 27-Nov-2017 10:15 2M
dubuc-zilber_on-analytic-models-of-synthetic-di..> 27-Nov-2017 10:14 2M
dubuc_germ-representability-and-local-integrati..> 27-Nov-2017 10:13 856K
duffy_deleuze-leibniz-and-projective-geometry-i..> 24-Feb-2018 22:35 284K
duffy_schizomath-the-logic-of-differentciation.pdf 07-Mar-2016 16:12 129K
dugger_sheaves-and-homotopy.pdf 11-Jun-2017 14:15 360K
duoidal-structures-for-compositional-dependence..> 22-Mar-2026 13:50 354K
duoidally-enriched-freyd-categories.pdf 23-Jan-2023 08:55 305K
dupuy_some-pitfalls-in-the-philosophical-founda..> 22-Aug-2015 09:01 180K
dworkin_Marx and Ghandi Were Liberals.pdf 26-Apr-2018 09:56 5M
dybjer_extracting-a-proof-of-coherence-for-mono..> 12-May-2026 13:55 535K
dybjer_normalization-by-evaluation.pdf 29-Apr-2026 16:37 449K
dybjer_normalization-slides.pdf 29-Apr-2026 16:47 1017K
dyer-witheford_red-plenty-platforms.pdf 05-Jul-2017 21:20 152K
dynamic-and-stochastic-systems-as-a-framework-f..> 19-Aug-2015 12:42 831K
dynamical-systems-in-categories.pdf 10-Apr-2017 13:35 2M
dyson_missed-opportunities.pdf 30-May-2016 20:37 2M
easwaran_cheerful-introduction-to-forcing-and-t..> 26-May-2017 16:25 219K
ecological-economics-hayek-neurath.pdf 08-Dec-2019 20:07 85K
ecosocialism-and-democratic-planning.pdf 06-Jul-2017 23:14 87K
edgerton_time-money-history.pdf 16-Dec-2021 20:06 401K
edwards_dedekind's-invention-of-ideals.pdf 01-Jul-2019 11:04 952K
edwards_galois-for-21st-century-readers.pdf 09-Jul-2018 10:53 443K
effects-of-resistance-training-on-health.pdf 19-Jun-2014 19:20 282K
effects-without-monads.pdf 01-Mar-2024 10:25 309K
ehrenreich_death_of_a_yuppie_dream90.pdf 06-Sep-2020 14:14 2M
ehresmann_trends-toward-unity-in-mathematics.pdf 30-Oct-2019 10:57 553K
ehrlich_zeno's-paradox.pdf 22-Apr-2020 14:57 526K
eilenberg-kelly_a-generalization-of-the-functor..> 10-Sep-2021 07:56 410K
eilenberg-kelly_closed-categories.pdf 12-Feb-2021 12:36 8M
eilenberg-maclane_general-theory-of-natural-equ..> 10-Dec-2018 15:58 6M
eilenberg-moore_adjoint-functors-and-triples.pdf 12-Jun-2021 19:51 1M
eilenberg-wright_automata-in-general-algebras.pdf 24-Nov-2020 22:37 781K
eisenbud-harris_cayley-bacharach-theorems.pdf 07-Jan-2020 21:35 471K
elementary-exposition-of-grassmanns-ausdehnungs..> 16-Aug-2016 17:29 1M
elementary-schematic-geometry.pdf 31-Aug-2022 09:20 250K
elementary-topos-theory-and-intuitionistic-logi..> 14-Oct-2017 18:34 301K
ellerman_category-theory-and-concrete-universal..> 06-Aug-2015 15:36 842K
ellerman_category-theory-and-set-theory-univers..> 11-Sep-2016 13:55 662K
elliot_languages.pdf 07-Jul-2022 14:19 192K
empty-music-elian-radigues-l-ile-resonante.pdf 09-Aug-2017 18:01 8M
enriched-categories-as-a-free-cocompletion.pdf 07-Dec-2025 12:17 1M
enriched-lawvere-theories-for-operational-seman..> 16-May-2019 13:41 328K
enriching-diagrams-with-algebraic-operations.pdf 23-Jan-2025 16:53 598K
epoche-and-skepticism-east-and-west-by-j.-garfi..> 08-Nov-2016 23:10 428K
epple--topology,-matter,-and-space,-i:-topologi..> 06-Sep-2016 19:15 744K
epr.pdf 30-Oct-2013 21:45 258K
equivariant-topology-methods-in-discrete-geomet..> 04-Feb-2019 12:21 384K
eraisiku-ankeet-2020-04_EN_m-earnshaw.pdf 24-Nov-2020 10:05 273K
ernst cassirer's neo-kantian philosophy of geom..> 25-Mar-2018 21:41 462K
escardo_brief-complete-formulation-of-voevodsky..> 30-Mar-2018 17:00 103K
escardo_synthetic-topology-of-data-types-and-cl..> 02-Jun-2016 11:28 949K
esik_equational-properties-of-fixed-point-opera..> 21-Jul-2024 12:04 296K
euler's-1760-paper-on-divergent-series.pdf 17-Apr-2019 12:24 1M
eva_topos-theoretic-quantum-realism.pdf 18-Jul-2016 21:30 433K
evans1978-can-there-be-vague-objects.pdf 01-Aug-2016 10:38 51K
evans_formalizing-kant's-ruleis.pdf 03-Feb-2020 15:14 4M
evans_kant-on-constituted-mental-activity.pdf 03-Feb-2020 15:16 3M
evans_kantian-cognitive-architecture.pdf 03-Feb-2020 14:32 464K
every-good-regulator-of-a-system-must-be-a-mode..> 23-Aug-2015 09:52 190K
examples-of-functor-adjunctions-elementary-anal..> 05-Jul-2018 16:59 472K
existence-of-superluminal-particles-is-consiste..> 25-Apr-2019 12:37 255K
expanding-standard-notions-of-constructivity.pdf 07-Feb-2019 16:00 563K
extending-the-algebraic-manipulability-of-diffe..> 19-Mar-2020 13:46 235K
eye-and-mind-merleu-pontymmp-text1.pdf 29-Dec-2015 18:33 2M
faber_homogeneous-models-and-their-toposes-of-s..> 06-Sep-2024 12:27 825K
fajstrup_discovering-spaces.pdf 07-Jul-2017 15:54 254K
fantastic-morphisms-a-guide-to-recursion-scheme..> 26-Feb-2024 09:28 578K
faris-science-of-proof.pdf 06-Aug-2016 13:40 331K
favonia-higher-dimensional-types-in-the-mechani..> 30-Mar-2017 21:19 639K
feferman_kreisel's-unwinding-program.pdf 06-Jun-2019 15:25 225K
feldman_xenakis-in-conversation.pdf 25-Jul-2017 11:13 46K
fermueller_critical-remarks-on-brandom's-incomp..> 17-May-2017 15:07 166K
ferreiros_on-arbitrary-sets-and-zfc.pdf 15-Sep-2019 20:02 3M
ferreiros_the-road-to-modern-logic-an-interpret..> 02-May-2017 11:01 4M
fesenko_notes-on-iutt.pdf 20-Jul-2016 23:26 387K
fiber-bundles-and-non-abelian-cohomology.pdf 16-Aug-2019 12:06 216K
fibrations-and-proofs.pdf 14-Aug-2020 11:01 180K
fibred-categories-a-la-benabou.pdf 17-Feb-2019 13:32 612K
ficara-dialectic-and-dialetheism.pdf 07-Aug-2016 16:08 168K
ficara2014-hegel's-glutty-negation.pdf 07-Aug-2016 15:47 127K
field-theory-via-higher-geometry-i-smooth-sets-..> 14-Jul-2024 19:54 2M
filinski_controlling-effects.pdf 24-Mar-2024 16:14 1M
final-dialgebras-from-categories-to-allegories.pdf 27-Aug-2019 16:42 2M
final-documenting-the-virtual-caliphate.pdf 06-Oct-2015 16:12 3M
finding unity in computational logic.pdf 18-Feb-2020 17:45 155K
fine_financialisation-from-marxist-perspective.pdf 07-Mar-2018 12:07 481K
finite-categories-and-regular-languages.pdf 14-Jan-2021 11:03 323K
fiore-leinster_an-objective-representation-of-t..> 01-Dec-2017 14:41 136K
fiore-leinster_objects-of-categories-as-complex..> 17-Nov-2017 13:39 234K
fiore-noll_commuting-groups-and-topos-of-triads..> 15-May-2017 16:49 220K
fiore-plotkin-turi_abstract-syntax-and-variable..> 29-Mar-2026 12:56 234K
fiore_algebra-of-dags.pdf 11-May-2021 13:18 185K
fiore_isomorphisms-of-generic-recursive-data-ty..> 10-Dec-2017 11:37 190K
fiore_on-the-construction-of-free-algebras-for-..> 29-Jan-2025 09:08 2M
fiore_second-order-and-dependently-sorted-abstr..> 09-Jun-2026 20:25 449K
fiore_semantics-analysis-of-nbe.pdf 12-Jun-2024 15:22 458K
firestone_notes-from-the-first-year.pdf 06-Aug-2017 00:21 19M
firestone_notes-from-the-second-year.pdf 06-Aug-2017 00:54 18M
first-order-proofs-without-syntax.pdf 21-Aug-2020 17:07 626K
fitting_bilattices-and-the-theory-of-truth.pdf 30-Aug-2017 12:29 2M
floridi_plea-for-non-naturalism-as-construction..> 01-Mar-2018 20:35 769K
fncom-09-00111.pdf 24-Feb-2017 09:54 426K
fnhum_2010_00025.pdf 24-Feb-2017 09:54 3M
foley_realization-and-accumulation.pdf 23-Apr-2018 17:57 1M
fomal-structure-of-the-metamorphosis-of-capital..> 24-Apr-2018 13:14 248K
fong_algebra-of-open-and-interconnected-systems..> 08-Nov-2016 20:01 2M
for-an-epistemology-of-mathematical-contents-al..> 08-Apr-2019 10:36 981K
forest_computational-descriptions-of-higher-cat..> 24-Oct-2021 09:50 3M
form-and-freedom-the-kantian-ethos-of-musical-f..> 20-Jul-2017 14:26 94K
formal-geometry-and-bordism-operations.pdf 15-Nov-2017 10:28 2M
formal-truth-and-objective-reference-in-an-infe..> 20-Oct-2017 16:13 512K
formalization-of-hegel's-dialectical-logic.pdf 07-Sep-2017 12:50 725K
formalizing-higher-cartan-geometry-in-modal-hom..> 28-Jun-2017 13:25 392K
formula-for-codensity-monads-and-density-comona..> 27-Oct-2018 14:49 475K
formulae-as-types-notion-of-control.pdf 20-Aug-2020 13:47 175K
forssell-awodey_first-order-logical-duality.pdf 11-Mar-2018 15:15 450K
forssell_first-order-logical-duality.pdf 11-Mar-2018 15:08 985K
fossacs03.pdf 29-Aug-2020 22:28 191K
foucault_what-is-an-author.pdf 30-Dec-2013 18:07 401K
foulis-bennett_effect-algebras-and-unsharp-quan..> 07-Nov-2025 12:36 933K
fourman-scott_sheaves-and-logic.pdf 19-Oct-2017 13:04 4M
fourman_notions-of-choice-sequence.pdf 06-May-2017 20:48 2M
fowler_sustainable-polinator-habitats.pdf 10-Aug-2016 16:31 149K
fox_coalgebras-and-cartesian-categories.pdf 23-Nov-2023 14:35 244K
fox_quick-trip-through-knot-theory.pdf 08-Nov-2017 21:42 6M
fox_universal-coalgebras.pdf 01-Apr-2021 08:03 4M
fractal-sets-as-final-coalgebras-obtained-by-co..> 09-Jul-2017 15:30 429K
framed-combinatorial-topology.pdf 08-Jul-2022 15:47 19M
franks_cut-as-consequence.pdf 26-Apr-2019 12:56 276K
franks_hilbert's-contributions-to-logical-theor..> 27-Nov-2019 16:54 186K
franks_logical-completeness-form-and-content.pdf 23-Apr-2019 13:04 320K
franks_logical-nihilism.pdf 03-Jun-2019 11:00 183K
franks_the-context-of-inference.pdf 03-Jun-2019 11:00 320K
franks_topics-in-logic-and-proof-theory.pdf 26-Apr-2019 11:12 71K
fraser_Return-Oriented_Programme_Evolution_with..> 10-Aug-2019 17:42 587K
fraser_appendices-to-infinite-unanimous-dissona..> 10-Aug-2019 17:41 218K
fraser_go-back-to-an-fang.pdf 14-Jul-2016 14:22 288K
fraser_hegel-miller-petersen-girard.pdf 14-Jul-2016 14:23 354K
fraser_notes-on-the-concept-of-blind-spot-towar..> 09-May-2017 10:12 556K
fraser_nothingness_and_event.pdf 24-Jul-2019 10:36 312K
fraser_the-immanent-genesis-of-logical-forms.pdf 10-Aug-2019 17:41 137K
fraser_the-law-of-the-subject-badiou-browuer-kr..> 20-Jun-2019 14:33 285K
fraser_this-infinite-unanimous-dissonance.pdf 10-Aug-2019 17:41 806K
fraser_urschleim-in-silicon.pdf 18-Apr-2018 13:55 3M
frei_categorical-shape-theory.pdf 27-Oct-2018 14:48 2M
freyd-kelly_categories-of-continuous-functors-i..> 01-Jul-2024 13:07 3M
freyd_algebra-valued-functors-in-general-and-te..> 14-Jan-2018 17:54 6M
freyd_algebraic-real-analysis.pdf 14-Jul-2017 14:46 1M
freyd_aspects-of-topoi.pdf 17-Jul-2016 23:40 5M
freyd_cartesian-logic.pdf 20-Aug-2018 09:05 150K
freyd_homotopy-is-not-concrete.pdf 05-Dec-2017 15:12 149K
freyd_the-axiom-of-choice.pdf 05-Aug-2019 16:23 1M
friedman_an-elementary-illustrated-introduction..> 12-Dec-2016 19:38 3M
friedman_relativizedapriori.pdf 20-Mar-2016 22:57 268K
from-market-to-non-market-an-autonomous-approac..> 06-Jul-2017 21:52 256K
from-science-to-science-pannekoek-bonger.pdf 30-Sep-2020 10:46 268K
from-sheaf-cohomology-to-algebraic-de-rham.pdf 12-Feb-2019 15:48 410K
fuiji_enriched-categories-and-tropical-mathemat..> 21-May-2021 15:44 273K
fujii_Introduction_to_universal_algebra_and_clo..> 06-Dec-2021 09:49 196K
fujii_unified-framework-for-notions-of-algebrai..> 03-Nov-2021 19:33 662K
fujii_virtual-double-category-linear-logic.pdf 16-Apr-2026 10:45 9M
fuller_world-game-series-document-1.pdf 13-Jul-2017 16:49 3M
functional-taxonomy-of-music-generation-systems..> 19-Mar-2019 10:30 620K
functional_data_structures_algorithms.pdf 28-Apr-2026 19:21 2M
functions_between_reasons_and_causes.pdf 29-Aug-2015 10:17 2M
functorial-polymorphism.pdf 01-Jul-2024 13:51 3M
functorial-semantics-for-partial-theories.pdf 16-Nov-2020 10:47 913K
fuzzy-terms.pdf 17-Feb-2019 22:02 497K
gabbay_the-new-logic.pdf 09-Aug-2015 15:48 401K
gabor_theory-of-communication.pdf 19-Sep-2017 09:29 3M
gabriel-tupinambaet-al.pdf 18-Oct-2021 11:33 335K
galison_aufbau-bauhaus-logical-positivism-and-a..> 20-Mar-2018 20:52 5M
galois connections and the leray spectral seque..> 14-Aug-2018 10:32 1M
galois-connection-bw-syntax-and-semantics.pdf 11-Sep-2016 02:20 246K
gambino_kock-monads-in-double-categories.pdf 26-Sep-2025 17:11 320K
game-semantics-in-string-diagrams.pdf 05-May-2017 10:03 2M
gandy_the-simple-theory-of-types.pdf 23-Aug-2017 12:29 495K
gangle-caterina_iconicity-and-abduction.pdf 07-Jul-2017 22:10 376K
gangle2014_theoretical-pragmatics-of-non-philos..> 09-Aug-2015 15:26 260K
gangle2017_semiotics-in-mathematics-education:-..> 09-Apr-2017 11:30 308K
gangle_consequences-of-a-diagrammatic-represent..> 02-Sep-2015 10:50 406K
gangle_generic-figures-reconstruction-of-peirce..> 29-Jun-2020 18:48 458K
gangle_messianic-media.pdf 02-Sep-2015 10:50 181K
gangle_the-logic-of-picturing-sellars-wittgenst..> 30-Jan-2020 16:48 13M
ganglewcp2008diagrammaticreasoning.pdf 07-Aug-2015 22:17 366K
garde2008.pdf 20-Sep-2023 11:44 142K
gardenfors_conceptual-spaces.pdf 16-Jan-2019 11:19 1M
garner-lopez-franco_commutativity.pdf 03-Apr-2023 07:33 887K
garner-power_an-enriched-view-of-the-extended-f..> 01-Feb-2021 11:03 407K
garner_2-categories-and-monoidal-categorise.pdf 29-Jun-2022 11:44 138K
garner_lawvere-theories-finitary-monads-cauchy-..> 02-Feb-2021 14:57 254K
garner_polycategories.pdf 05-Jan-2022 13:31 1M
garner_two-dimensional-models-of-type-thory.pdf 08-Oct-2024 09:51 498K
gegensichkollektiv-caution.pdf 01-Nov-2018 00:11 700K
gelbert-elementary-intro-langlands.pdf 11-May-2016 22:33 4M
gellner_the-concept-of-kinship.pdf 15-Nov-2023 13:15 469K
generalized-chord-spaces.pdf 28-Jan-2018 22:31 1M
generalized-distributive-law.pdf 09-Jun-2021 09:32 401K
generalized-eilenberg-theorem-varieties-of-lang..> 20-Nov-2020 22:17 1023K
generalized-multicategories-change-of-base.pdf 30-Sep-2025 14:20 1M
generalized-voice-leading-spaces.pdf 28-Jan-2018 22:32 259K
generalizing-canonical-extensions-of-posets-to-..> 10-Mar-2019 16:24 2M
generalizing-the-powerset-operation-coalgebraic..> 01-Feb-2018 15:48 572K
genesis-of-ideal-theory.pdf 28-Jul-2018 09:12 5M
gentile-reform_of_the_hegelian_dialectic.pdf 01-Apr-2016 15:34 3M
gentleintro-to-transcendental-syntax.pdf 28-Aug-2021 12:30 143K
gentzen's-proof-systems-byproducts-in-a-work-of..> 04-Aug-2020 22:30 4M
geometric-arbitrage-theory-and-market-dynamics.pdf 06-Nov-2017 21:24 519K
geometric-visual-hallucinations,-euclidean-symm..> 30-Jun-2013 17:41 4M
geometrical-formulations-of-quantum-mechanics.pdf 02-Dec-2018 19:55 412K
geometry-for-prime-addicts.pdf 18-May-2018 12:24 1M
geometry-of-musical-chords.pdf 28-Jan-2018 22:32 2M
geometry-of-the-space-of-phylogenetic-trees.pdf 28-Mar-2017 15:00 720K
george-di-giovanni-the-category-of-contingency-..> 20-Apr-2016 13:58 535K
gerner_le-lien-entre-la-logique-et-la-geometrie..> 20-May-2019 15:38 2M
geroch-einstein-algebras.pdf 31-Jul-2016 20:54 452K
gesture-theory-topos-theoretic-perspectives.pdf 23-Jul-2020 13:58 2M
gg_bcl-report-no-30.pdf 03-Nov-2017 16:27 102K
gg_cyb_ontology.pdf 03-Nov-2017 16:27 630K
ghica_Applications of Game Semantics: From Prog..> 07-Aug-2017 14:46 353K
ghrist-hiraoka_applications-of-sheaf-cohomology..> 22-Jul-2018 18:05 227K
ghrist-krishnan_topological-max-flow-min-cut-th..> 22-Jul-2018 12:29 154K
ghrist_applied-algebraic-topology-and-sensor-ne..> 31-Jul-2017 10:28 50M
ghrist_barcodes-the-persistent-topology-of-data..> 03-Aug-2016 22:43 895K
gibbons-hinze_simple-monadic-equational-reasoni..> 20-Oct-2020 23:14 193K
gibbons_datatype-generic-programming.pdf 15-Mar-2024 10:04 589K
gilbert_my-friend-mark-(fisher).pdf 19-Jan-2018 15:09 512K
giordano_infinitesimal-differential-geometry.pdf 17-Jun-2017 18:44 469K
girard_geometry-of-interaction-vi-a-blueprint-f..> 10-May-2017 13:39 530K
girard_linear-logic.pdf 20-Oct-2017 13:12 11M
girard_locus-solum.pdf 15-Nov-2015 12:37 1M
girard_logique2.0.pdf 12-Nov-2017 16:14 560K
girard_normativity-in-logic.pdf 01-May-2020 14:57 264K
girard_on-the-meaning-of-logical-rules.pdf 14-Jul-2016 17:50 422K
girard_phantom-of-transparency.pdf 12-Oct-2014 14:03 391K
girard_towards-a-geometry-of-interaction.pdf 24-Apr-2016 18:33 4M
girard_transcendental-syntax-iii.pdf 18-Oct-2016 22:12 513K
girard_trsy1.pdf 06-Aug-2019 13:29 575K
girard_trsy2.pdf 06-Aug-2019 13:29 462K
gironi_between-naturalism-and-rationalism-a-new..> 06-Nov-2016 14:15 504K
gironi_infinite-turn-and-speculative-explanatio..> 03-Sep-2016 20:10 417K
giving-a-good-research-talk.pdf 31-Mar-2023 18:26 77K
gleason_from-classical-to-quantum-f*-algebraic.pdf 24-Nov-2019 19:36 445K
global-division-of-labor-and-division-of-global..> 27-Nov-2017 19:58 3M
global-intuitionistic-analysis.pdf 21-Sep-2021 11:52 2M
globalization-of-resentment.pdf 27-Jan-2018 21:12 472K
glubb_the-fate-of-empires.pdf 03-Dec-2021 19:46 354K
glueing-enriched-modules-and-composition-of-aut..> 24-Nov-2020 14:53 624K
glymour_theoretical-equivalence-and-the-semanti..> 11-Mar-2018 14:17 531K
godel's-incompleteness-after-joyal.pdf 18-Oct-2020 15:28 554K
godel-on-deduction-intensional-logic.pdf 06-Aug-2016 13:40 197K
goguen_a-categorial-manifesto.pdf 15-Jul-2015 00:03 635K
goguen_categorical-approach-to-general-systems-..> 04-Aug-2017 15:17 1M
goguen_order-sorted algebra i equational deduct..> 25-Jul-2017 15:03 505K
goguen_sheaf-semantics-for-concurrent-interacti..> 14-Apr-2016 10:09 5M
goguen_types-as-theories.pdf 03-Aug-2017 13:06 333K
goguen_what-is-unification.pdf 31-Jan-2019 13:57 377K
goldblatt_mathematical-modal-logic-and-its-evol..> 11-Jul-2016 18:20 864K
goldblatt_varieties-of-complex-algebras.pdf 09-Sep-2021 08:38 8M
goldin-wegner-strong-cct.pdf 09-Jan-2016 11:11 229K
golubitsky_symmetry-and-neuroscience.pdf 07-Apr-2017 09:56 701K
gomezmarin2016_causalcircuitexplanations_final.pdf 02-May-2017 14:37 384K
goubault_geometry-and-concurrency-a-user's-guid..> 05-Jul-2017 19:40 305K
gould_what-if-anything-is-a-zebra.pdf 12-May-2026 11:24 477K
gouvea_wiles-marvelous-proof.pdf 21-May-2018 14:26 2M
grabowski_on-partial-languages.pdf 27-Dec-2022 17:34 3M
graded-hoare-logic-and-its-categorical-semantic..> 17-Dec-2025 13:44 559K
graded-lie-algebras-in-math-and-physics.pdf 19-Feb-2017 21:51 3M
grammatical-case-in-estonian.pdf 23-Apr-2024 12:47 1M
grandis-pare_adjoint-for-double-categories.pdf 23-Sep-2024 09:39 3M
grandis-pare_intercategories.pdf 14-Jul-2024 11:38 5M
grandis-pare_limits-in-double-categories.pdf 03-Dec-2024 18:24 4M
grandis_cohesive-categories-and-manifolds.pdf 18-Feb-2021 15:19 3M
grant_all-things-think.pdf 27-Jun-2015 12:47 615K
grant_everything.pdf 26-Jan-2016 14:27 115K
grant_introduction-to-schellings-on-the-world-s..> 20-Aug-2015 13:11 586K
grant_movements-of-the-world.pdf 28-Sep-2016 14:59 361K
grant_nature-after-nature-or-naturephilosophica..> 30-Jun-2020 13:16 145K
grant_the-chemistry-of-darkness.pdf 16-Aug-2015 17:13 212K
grant_the-eternal-and-necessary-bond-between-ph..> 17-Aug-2015 09:00 227K
grant_the-law-of-insuperable-environment.pdf 23-Jul-2016 01:10 340K
grant_the-universe-in-the-universe:-german-idea..> 26-Jan-2016 14:00 264K
granule-icfp19.pdf 04-Jul-2019 13:59 912K
grattan-guinness2004-the-mathematics-of-the-pas..> 25-Jun-2016 17:30 267K
grattan-guinness_Numbers, Magnitudes, Ratios, a..> 05-Sep-2017 20:21 280K
grattan-guinness_bolzano-cauchy-and-the-new-ana..> 28-Oct-2019 15:58 3M
gratzer_denotational-semantics-of-type-theory.pdf 09-Jun-2026 07:37 321K
gray_fragments-of-the-history-of-sheaf-theory.pdf 31-Mar-2017 17:10 4M
gray_intrinsic-linear-programming.pdf 10-Feb-2025 14:23 1M
gray_poincare-and-the-idea-of-a-group.pdf 24-Jan-2018 14:00 293K
gray_poincare-replies-to-hilbert.pdf 24-Jan-2018 13:49 456K
gray_review-of-accessible-categories-makkai-par..> 13-Mar-2018 12:58 1M
gray_riemann-roch-theorem-and-geometry.pdf 04-Oct-2018 11:29 146K
grayson_introduction-to-univalent-foundations-f..> 30-Mar-2018 17:09 342K
greechie-ottenheimer_mathematical-kinship.pdf 12-Jan-2025 17:13 1M
greenlees_first-steps-in-brave-new-algebra.pdf 19-Mar-2017 16:31 366K
greenlees_spectra-for-commutative-algebraists.pdf 19-Mar-2017 16:31 297K
grelet_proletarian-gnosis.pdf 09-May-2019 16:28 108K
grietzer_ambient-meaning-mood-vibe-and-system.pdf 27-Nov-2017 13:45 2M
grietzer_on-euadaimonia-and-optimization.pdf 16-Apr-2025 09:00 320K
griffing_composition-representative-subsets.pdf 24-May-2021 19:26 196K
grokking-the-sequent-calculus.pdf 12-Jul-2024 09:52 1005K
gromov_ergobrain.pdf 23-Nov-2016 00:05 12M
gromov_in-search-for-a-structure.pdf 09-Feb-2018 20:53 408K
grothendieck-intro-to-EGA1-english.pdf 10-Jul-2019 04:43 357K
grothendieck-topologies.pdf 19-Jun-2017 15:01 271K
grothendieck_a-general-theory-of-fibre-spaces-w..> 06-Jan-2018 01:39 2M
grothendieck_allons-nous-continuer-recherche-sc..> 13-Mar-2018 12:38 892K
grothendieck_cohomology-theory-of-abstract-alge..> 05-Jun-2018 12:50 6M
grothendieck_esquisse-d'un-programme_en.pdf 09-Apr-2016 14:26 221K
grothendieck_introduction-to-the-language-of-fu..> 10-Jan-2018 11:04 4M
grothendieck_la-clef-du-songes.pdf 29-Jun-2021 11:53 426K
grothendieck_la-théories-des-classes-de-chern...> 28-Jan-2018 12:43 795K
grothendieck_pursuing-stacks.pdf 31-Mar-2017 16:28 4M
grothendieck_responsibility-of-the-scientist-to..> 29-Dec-2020 17:43 182K
grothendieck_some-aspects-of-homological-algebr..> 10-Jun-2019 12:41 957K
groupoids-and-categorification-in-physics.pdf 30-Nov-2017 11:29 241K
groups_with_a_cayley_graph_isomorphic_to_a_hype..> 10-Oct-2023 09:48 484K
grunbaum_modern-science-and-refutation-of-the-p..> 22-Apr-2020 11:44 1M
grunbaum_the-poverty-of-theistic-cosmology.pdf 14-Feb-2017 21:50 278K
gruska_context-free-expression.pdf 24-Nov-2021 15:49 522K
guiraud_two polygraphic presentations of Petri ..> 28-Jul-2021 11:37 388K
guitart-gerner_The Locally Free Relatively Filt..> 20-May-2019 15:24 251K
guitart-lair_Existence de diagrammes localement..> 24-May-2019 16:59 944K
guitart_Emergence cohomologique du sens dans le..> 08-Feb-2019 13:35 467K
guitart_autocategories-i.pdf 07-Nov-2022 10:03 275K
guitart_autocategories-ii.pdf 28-Nov-2025 12:18 353K
guitart_autocategories-iii.pdf 07-Nov-2022 10:03 2M
guitart_bibliography.pdf 22-Mar-2019 18:02 176K
guitart_caractere-global-et-caractere-local-de-..> 08-Feb-2019 13:37 777K
guitart_categories-et-philosophie.pdf 08-Feb-2019 13:37 404K
guitart_cohomological-emergence-of-sense-in-dis..> 22-Mar-2019 15:22 362K
guitart_construction-of-an-homology-and-a-cohom..> 22-Mar-2019 15:23 434K
guitart_coordonnes-curvilignes-de-gabriel-lame.pdf 22-Mar-2019 15:22 1M
guitart_courbure-de-la-raison.pdf 26-Mar-2019 14:07 386K
guitart_des-machines-aux-bimodules.pdf 25-Sep-2025 18:25 1M
guitart_deux-problemes-en-vue-d'une-epistemolog..> 24-Mar-2019 13:20 481K
guitart_geometry-of-computations.pdf 21-May-2018 16:13 2M
guitart_getting-started-algebraic-analysis.pdf 13-Apr-2022 17:16 211K
guitart_history-in-math-according-to-andre-weil..> 23-Mar-2019 15:36 257K
guitart_introduction-a-l'analyse-algebrique-ii.pdf 10-Aug-2021 14:21 2M
guitart_introduction-a-l'analyse-algebrique.pdf 22-Mar-2019 15:16 1M
guitart_klein's-group-as-a-borromean-object.pdf 22-Mar-2019 15:19 446K
guitart_l'idee-borromeen.pdf 22-Mar-2019 14:59 1M
guitart_l'idee-de-la-logique-speculaire.pdf 22-Mar-2019 15:07 342K
guitart_lecons-sur-la-theorie-des-esquisses-1.pdf 31-Aug-2018 09:50 3M
guitart_lecons-sur-la-theorie-des-esquisses-2.pdf 31-Aug-2018 09:50 3M
guitart_moving-logic-from-boole-to-galois.pdf 22-Mar-2019 15:01 142K
guitart_on-the-geometry-of-computations-i.pdf 22-Mar-2019 15:08 2M
guitart_on-the-geometry-of-computations-ii.pdf 22-Mar-2019 15:08 2M
guitart_qu'est-ce-que-la-logique-dans-une-categ..> 22-Mar-2019 15:17 3M
guitart_relations-et-carres-exact.pdf 22-Mar-2019 15:10 2M
guitart_the-field-f8-as-a-boolean-manifold.pdf 22-Mar-2019 15:16 1M
guitart_theorie-cohomologique-de-la-logique-du-..> 08-Feb-2019 16:04 1M
guitart_toute-theorie-est-algebrique-et-topolog..> 22-Mar-2019 15:34 4M
gunn_notes on class.pdf 23-Jun-2019 13:48 261K
gut-brain-axis-influences-anxiety-and-depressio..> 01-Feb-2018 11:48 527K
gutting1982_scientific-realism-vs.-constructive..> 30-Oct-2016 10:52 801K
hacking_infinite-analysis.pdf 18-Jun-2019 12:11 585K
hacking_what-is-logic.pdf 30-May-2017 20:17 979K
hadamard - Sur les problèmes aux dérivées pa..> 30-Jan-2020 14:41 867K
hadzihasanovic_algebra-of-entanglement-geometry..> 16-Oct-2020 13:45 2M
hadzihasanovic_diagrammatic-sets.pdf 14-Dec-2020 17:33 825K
hadzihasanovic_smash_2021-01-18.pdf 19-Jan-2021 12:49 683K
haghverdi_categorical-approach-to-linear-logic-..> 10-Apr-2024 08:58 1M
haghverdi_unique-decomposition-categories-geome..> 09-Apr-2024 13:54 406K
hagino_a-categorical-programming-language.pdf 22-Sep-2017 10:33 929K
halimi_diagrams-as-sketches.pdf 12-Jun-2019 13:05 259K
hall_the-neoliberal-revolution.pdf 18-Jul-2017 14:27 376K
hallett_towards-a-theory-of-mathematical-resear..> 16-Jul-2019 12:59 3M
hallward_order-and-event-on-badiou's-logics-of-..> 15-Sep-2017 15:20 127K
halpin_sense-and-reference-on-the-web.pdf 30-Nov-2018 20:06 2M
halvorson-tsementzis_categories-of-scientific-t..> 17-Jul-2016 16:33 370K
halvorson_what-scientific-theories-could-not-be..> 10-Mar-2018 16:57 224K
hamilton_pure-time.pdf 10-Oct-2020 16:23 540K
hamming_codes.pdf 02-Apr-2026 20:23 4M
han_reconstruction-results-for-first-order-theo..> 04-Jun-2018 15:37 686K
handlers-in-action.pdf 16-Jan-2024 12:22 465K
harari_Proclus’ Account of Explanatory Demons..> 10-Sep-2017 23:27 522K
harari_The Concept of Existence and the Role of..> 10-Sep-2017 23:27 2M
hare_the-effects-of-concatenation-precorrection..> 26-Apr-2025 14:59 2M
harper-licata_mechanizing-metatheory-in-a-logic..> 10-Oct-2024 15:35 417K
harper_automata-and-concurrency.pdf 31-Jul-2024 12:40 303K
harper_computational-higher-dimensional-type-th..> 16-Oct-2016 20:32 310K
harper_mutual-induction.pdf 03-Oct-2024 15:05 71K
harper_natural-and-conatural-numbers.pdf 31-Jul-2024 13:00 258K
harper_two-notions-of-beauty-in-programming.pdf 11-Jun-2016 09:33 131K
harris-do-androids-prove-theorems-in-their-slee..> 12-Oct-2016 21:46 536K
hasegawa_the-uniformity-principle-on-traced-mon..> 21-Jul-2024 12:06 268K
hawkins_reflections-on-klein's-erlangen-program..> 30-Oct-2018 13:55 2M
hawkins_weierstrass-and-the-theory-of-matrices.pdf 04-May-2018 11:03 3M
haydon_continuity-of-explanation.pdf 26-Nov-2021 09:05 468K
haydon_peirce-early-developments-in-linear-logi..> 23-May-2024 15:02 8M
haydon_thesis.pdf 22-May-2024 11:43 8M
hazewinkel_ubiquity-of-coxeter-dynkin-diagrams.pdf 21-Jun-2017 17:00 4M
healy-caudell_ontologies-and-worlds-in-cat-theo..> 26-Mar-2017 11:34 487K
healy_Knowledge Representation and Possible Wor..> 15-Jan-2019 14:35 294K
healy_applying-category-theory-to-derive-engine..> 15-Jan-2019 14:36 158K
healy_from-categorical-semantics-to-neural-netw..> 15-Jan-2019 14:35 477K
healy_local-and-distributed-concept-representat..> 15-Jan-2019 14:29 3M
heaps-of-pieces-i--basic-definitions-and-combin..> 07-Apr-2023 10:08 1M
hedberg_normalizing-the-associative-law.pdf 12-May-2026 13:59 2M
hedges_compositional-game-theory.pdf 08-Jul-2020 13:44 919K
hegel's-bad-infinity-as-a-logical-problem.pdf 07-Jun-2019 14:18 409K
hegel-and-fichte-over-kant.pdf 01-Mar-2016 17:00 79K
hegel-celestial-mechanics-of-newton-einstein.pdf 14-Jan-2020 17:37 3M
hegel-on-calculus.pdf 02-Mar-2021 17:34 371K
hegel-on-reference-&-knowledge.pdf 06-Oct-2015 16:36 679K
hegel-on-representation-&-thought.pdf 06-Oct-2015 16:36 496K
hegel-on-zenos-arrow.pdf 02-Sep-2016 22:57 2M
hegel-the-comedian.pdf 30-Nov-2018 14:49 512K
hegels-circular-epistemology-in-the-logic-and-p..> 26-Apr-2017 09:14 594K
hegel’s-conceptual-group-action-on-creative-d..> 14-Aug-2016 17:41 2M
heidegger-and-cavailles-on-movement-of-scientif..> 14-May-2026 08:55 298K
heidegger_recent-research-in-logic.pdf 10-Apr-2021 11:20 5M
heidegger_the-ontotheological-constitution-of-m..> 26-Aug-2019 15:53 5M
heindel_MyhillNerodeFoSSaCS18.pdf 14-Jan-2021 13:03 565K
heindel_chomsky-schutz-for-props.pdf 07-Nov-2021 21:16 571K
heinrich_a-thing-with-transcendental-qualities-..> 04-May-2018 14:27 34K
helgason_sophus-lie-the-mathematician.pdf 26-Aug-2018 17:53 1M
hellman_Mathematical Pluralism: The Case of Smo..> 18-Oct-2017 14:05 408K
henrich_beginning-and-method-of-(the)-logic.pdf 30-Nov-2018 14:54 553K
herbart's-influence-on-bernhard-riemann.pdf 22-Nov-2018 21:07 2M
herbrand's-fundamental-theorem-an-encyclopedia-..> 03-Jun-2019 13:27 371K
hermida_categorical-outlook-on-relational-modal..> 05-Aug-2026 11:28 284K
hermida_fibrations-and-yoneda-structure-for-mul..> 03-Nov-2021 10:38 294K
hermida_fibrations-for-multicategories.pdf 07-Nov-2024 15:17 2M
hermida_fibrations-logical-predicates-and-indet..> 04-Nov-2021 15:27 7M
hermida_from-coherent-structure-to-universal-pr..> 05-Aug-2026 11:32 724K
hermida_from-coherent-structure-to-universal-pr..> 07-Feb-2023 16:48 673K
hermida_logical-relations-and-parametricity.pdf 01-Oct-2020 17:27 336K
hermida_paracategories-ii.pdf 09-Nov-2025 14:58 750K
hermida_representable-multicategories.pdf 22-May-2021 09:44 874K
hermida_roadmap.pdf 05-Aug-2026 11:29 88K
hess_rational-homotopy-theory.pdf 12-Jun-2018 11:39 340K
heterogeneous view integration via sketches.pdf 28-Apr-2019 12:46 169K
heunen-vicary_cqm-notes.pdf 25-Sep-2017 13:03 754K
heunen_categories-of-relations-as-models-of-qua..> 04-Oct-2017 12:58 243K
heunen_extending-obstructions-to-noncommutative..> 03-Dec-2018 10:20 293K
heunen_on-the-functor-l2.pdf 11-Sep-2017 20:46 201K
heunen_space-in-monoidal-categories.pdf 04-Oct-2017 12:57 222K
heyting-kolmogorov.pdf 22-Aug-2016 17:28 5M
hierarchical-file-systems-are-dead.pdf 25-Mar-2017 14:41 177K
hierarchical-string-diagrams.pdf 31-May-2023 08:56 1M
higgs_universal-characterization-of-0-infty.pdf 23-Nov-2017 11:40 451K
higher-category-theory-and-homotopical-algebra.pdf 04-Apr-2017 18:38 776K
hilbert-programme-and-applied-proof-theory.pdf 23-Apr-2019 13:21 573K
himr-data-mining-research-problem-book.pdf 10-Feb-2017 17:05 1M
hindley-cardone_history-of-lambda-calculus-and-..> 12-Oct-2017 19:42 680K
hintikka1997-hilbert-vindicated.pdf 25-Jun-2016 21:12 102K
hintikka_IF-logic-definitions-and-the-vicious-c..> 24-Aug-2017 14:40 203K
hintikka_the-place-of-cs-peirce-in-the-history-..> 10-Sep-2017 16:00 1M
hinton_distilling-the-knowledge-in-a-neural-net..> 16-Feb-2017 17:12 115K
hinton_to-recognize-shapes-first-learn-to-gener..> 24-Jun-2017 21:18 502K
hinze-marsden_graphical-theory-of-monads.pdf 02-Mar-2024 14:50 495K
hironaka-theorem-on-resolution-of-singularities..> 27-Dec-2017 21:09 2M
hirsch_dialectics-and-logic.pdf 07-Sep-2017 12:43 236K
hirschowitz_cartesian-closed-2-categories-and-p..> 08-Mar-2023 17:12 243K
historical-and-philosophical-significance-of-th..> 22-Nov-2017 15:32 12M
history-and-becoming-of-science-in-jean-cavaill..> 21-Jun-2019 10:40 244K
history-and-technical-review-of-expert-systems.pdf 15-Nov-2018 14:31 414K
hlobil_what-is-inference.pdf 15-May-2017 14:04 1M
hoare-communicating-sequential-processes.pdf 02-Apr-2014 13:57 1M
hoare_axiomatic-basis.pdf 04-Jun-2026 21:41 641K
hochster_why-characteristic-p-is-better.pdf 18-Jan-2018 14:03 6M
hodges2001_formal-features-of-compositionality.pdf 07-Dec-2016 21:56 123K
hodges_hopeless-papers.pdf 31-Jan-2017 13:05 458K
hodges_traditional-logic-modern-logic-and-natur..> 28-Aug-2017 21:25 301K
hofmann-streicher_groupoid-interpretation-of-ty..> 02-Jun-2017 17:14 274K
hofmann_syntax-and-semantics-of-dependent-types..> 12-May-2026 10:58 3M
hofstra_dialectica.pdf 16-Dec-2021 09:40 346K
holder-presenting_cohesion 1.pdf 11-Oct-2018 12:11 89K
holder_letter to matt2.pdf 19-Oct-2018 14:52 64K
homological-computations-for-term-rewriting-sys..> 14-Feb-2019 17:36 680K
homotopical-patch-theory.pdf 31-Mar-2017 11:29 662K
homotopy-theory-for-beginners.pdf 12-Apr-2017 14:16 348K
homotopy-theory-of-equivalence-relations.pdf 11-May-2019 20:50 210K
hopf-algebras-of-combinatorial-structures.pdf 14-May-2021 14:48 1M
hott-primer-part-one.pdf 27-Jul-2015 14:36 567K
houellebecq_hp-lovecraft-against-the-world-agai..> 24-Oct-2018 10:17 190K
houlgate-necessity_and_contingency_in_hegels_lo..> 19-Apr-2016 20:41 339K
houlgate_hegel's-critique-of-foundationalism-in..> 17-Apr-2018 20:35 1M
houlgate_hegel-on-the-category-of-quantity.pdf 07-Mar-2021 14:19 314K
houlgate_logic-of-measure.pdf 07-Jun-2018 18:18 355K
houlgate_phenomenology-and-de-re-interpretation..> 06-Jul-2016 18:33 121K
houlgate_right-and-trust-in-hegels-philosophy-o..> 21-Nov-2018 11:34 122K
houlgate_the-logic-of-measure.pdf 04-Jun-2021 10:30 355K
how-to-be-both-a-quinean-and-a-bayesian.pdf 19-Apr-2016 02:18 202K
howard80_formulae-as-types-notion-of-constructi..> 02-May-2017 10:31 3M
hoyois_sur-la-cohomology-des-schemas.pdf 25-Jan-2018 15:28 560K
hs.ps.gz 06-Sep-2020 11:44 116K
hu_cartesian-closed-categories-and-lambda-calcu..> 13-Apr-2026 10:03 466K
huet-saibi_constructive-category-theory.pdf 01-Feb-2022 14:02 136K
huet_initiation-a-categories.pdf 26-Mar-2024 09:48 15M
hughes_generalizing-monads-to-arrows.pdf 31-Mar-2023 18:43 268K
hughes_why-functional-programming-matters.pdf 01-Mar-2024 10:24 162K
hulswit_peirce-on-final-causation.pdf 05-May-2017 10:34 3M
human-level-concept-learning-through-probabilis..> 24-Jun-2017 20:51 2M
humans-as-super-organisms.pdf 27-Jul-2015 10:03 504K
hume's-pyrrhonism-and-critique-thereof.pdf 17-May-2015 15:27 737K
husserl's-pluralistic-philosophy-of-mathematics..> 18-Oct-2017 16:18 177K
husserl_philosophy-as-a-rigourous-science.pdf 03-May-2021 18:37 174K
husserlian-and-fichtean-leanings-weyl-on-logici..> 25-Feb-2019 11:47 279K
hutton_fold-and-unfold-for-program-semantics.pdf 08-Feb-2024 10:06 165K
hutton_programming-language-semantics-its-easy-..> 31-Jan-2024 21:34 244K
hutton_universality-and-expressivity-of-fold.pdf 20-Sep-2014 20:25 204K
hyland-ong_full-abstraction-for-pcf.pdf 18-Jan-2023 10:31 717K
hyland-plotkin-power_combining-effects-sum-and-..> 22-Feb-2024 13:11 404K
hyland-power_Symmetric_Monoidal_Sketches_and_Ca..> 09-Apr-2023 14:39 305K
hyland-power_symmetric-monoidal-sketches.pdf 29-Mar-2019 17:13 146K
hyland-power_the-category-theoretic-understandi..> 28-Oct-2016 17:18 445K
hyland_abstract-concrete-models-of-recursion.pdf 19-Apr-2023 13:12 200K
hyland_abstract-interpretations-of-proofs-class..> 20-Apr-2023 18:07 188K
hyland_classical-lambda-calculus-in-modern-dres..> 28-Aug-2020 19:49 230K
hyland_elements-of-a-theory-of-algebraic-theori..> 05-Mar-2024 08:23 457K
hyland_first-steps-in-synthetic-domain-theory.pdf 28-Sep-2019 18:21 10M
hyland_lambda-calculus-in-modern-dress.pdf 06-Nov-2021 19:09 194K
hyland_multicategories-in-and-around-algebra-an..> 02-Jul-2023 11:51 4M
hyland_proof-theory-in-the-abstract.pdf 13-Jun-2019 09:49 315K
hyland_the-category-theoretic-understanding-of-..> 28-Oct-2016 17:18 445K
hypersets-as-truth-values.pdf 12-Aug-2019 14:45 206K
hyslop_white-labourism-and-imperialism.pdf 31-Dec-2017 14:29 146K
icfp12-superficial-krishnaswami-turon-dreyer-ga..> 07-Nov-2025 23:53 273K
ignorance.pdf 05-Oct-2015 18:36 219K
ij-good-speculations-concerning-the-first-ultra..> 21-Apr-2016 00:48 4M
illusie-beilinson-block-drinfeld_reminiscences-..> 20-Jan-2018 14:38 1M
immanuel-kant-what-does-it-mean-to-orient-onese..> 03-May-2015 18:25 718K
implications-of-quantum-theory-in-the-foundatio..> 15-Oct-2015 21:17 214K
implicit-automata-in-linear-logic.pdf 26-Nov-2021 10:01 3M
infinitesimals-as-an-issue-of-neo-kantian.pdf 22-Mar-2016 20:06 424K
innovations-in-computational-type-theory-using-..> 06-Aug-2016 18:53 367K
input-output-modeling-of-production-processes-f..> 06-Dec-2019 17:23 1M
interacting-hopf-algebras.pdf 22-Aug-2020 12:39 4M
interacting-monoidal-structures-in-computer-sci..> 07-Nov-2024 10:16 417K
intercategories.pdf 01-Nov-2024 13:38 465K
internal-coalgebras-in-varieties.pdf 29-Aug-2019 18:58 410K
interpreting_peirces_abduction_through_the_lens..> 14-Apr-2017 12:00 240K
interview-with-iannis-xenakis.pdf 25-Jul-2017 11:06 2M
interview-with-urs-schreiber.pdf 01-Oct-2016 18:42 477K
interview-with-vladimir-arnold.pdf 20-Mar-2019 12:28 107K
intro-to-grothendieck-galois-theory.pdf 31-May-2016 00:30 852K
introduction-to-cobordism-theory.pdf 17-Nov-2017 11:10 386K
introduction-to-constructive-algebraic-analysis..> 16-Mar-2020 18:12 2M
introduction-to-differentiable-stacks.pdf 09-Jul-2018 16:32 632K
introduction-to-homotopy-type-theory.pdf 22-Dec-2022 10:55 3M
introduction-to-infty-categories.pdf 12-Oct-2020 11:05 262K
introduction-to-linear-bicategories.pdf 19-Feb-2022 21:19 614K
introduction-to-logical-relations.pdf 31-Jul-2024 12:24 521K
introduction-to-stacks-and-moduli.pdf 17-Oct-2022 08:45 1M
introduction-to-the-theory-of-species-of-struct..> 05-May-2021 14:36 5M
introduction-to-the-theory-of-supermanifolds.pdf 21-Nov-2018 16:32 3M
introduction-to-type-theory.pdf 16-Sep-2016 10:11 351K
intuitionistic-logic-vs-paraconsistent-logic.pdf 27-May-2026 07:14 768K
inverting-back-the-inversion-of-control-or,-con..> 15-Dec-2016 11:01 103K
invitation-to-model-theoretic-galois-theory.pdf 06-Apr-2019 13:17 139K
ipline.pdf 03-Jul-2026 12:33 17M
iris-paper.pdf 12-Jan-2026 10:40 415K
is-information-a-proper-observable-for-biologic..> 12-Apr-2017 16:27 180K
is-the-jones-polynomial-really-a-polynomial.pdf 02-Sep-2016 01:52 184K
isbell_adequate-subcategories.pdf 11-Oct-2018 15:12 2M
isbell_general-functorial-semantics.pdf 24-Jan-2018 14:58 8M
isbell_pulling-paths-and-canonical-sheaves-of-p..> 16-Aug-2020 10:28 249K
isbell_small-adequate-subcategories.pdf 13-Mar-2023 14:25 385K
isbell_some_remarks_concerning_categories_and_s..> 30-Aug-2020 01:49 2M
isbell_structure-of-categories.pdf 20-Dec-2018 10:54 4M
isbell_subobjects-adequacy-completeness-and-cat..> 12-Apr-2019 11:24 3M
isbell_top-and-its-adjoint-relatives.pdf 26-Jan-2018 12:31 986K
isham_topos-methods-in-the-foundations-of-physi..> 18-Jul-2016 14:45 206K
jacobs-rutten_intro-to-coalgebra-and-coinductio..> 10-Apr-2017 16:43 383K
jacobs-silva_automata-learning-a-categorical-pe..> 01-Feb-2018 15:08 176K
jacobs-westerbaan-cho_introduction-to-effectus-..> 25-Nov-2017 11:16 2M
jacobs_ProbabilisticReasoning.pdf 06-Oct-2022 09:11 3M
jacobs_bayesian-networks-as-coalgebras.pdf 29-Jun-2017 11:16 620K
jacobs_categorical-type-theory.pdf 08-Aug-2019 17:13 822K
jacobs_causal-inference-by-string-diagam-surger..> 07-Mar-2019 15:57 266K
jacobs_coalgebra-intro.pdf 11-Jul-2016 12:16 3M
jacobs_coalgebras-and-monads-in-the-semantics-o..> 21-Jul-2017 11:18 225K
jacobs_comprehension-categories-and-the-semanti..> 13-Sep-2019 17:07 2M
jacobs_new-directions-in-categorical-logic-for-..> 25-Nov-2017 11:20 884K
jacobs_objects-and-classes-coalgebraically.pdf 23-Sep-2026 20:06 240K
jacobs_semantics-of-weakening-and-contraction.pdf 29-Sep-2017 11:12 2M
jacques-herbrand-life-logic-and-automated-deduc..> 22-Mar-2019 13:05 2M
jafarrahmani-zeilberger_fibrational-characteriz..> 19-Feb-2024 12:19 121K
jaffe-quinn_theoretical-mathematics:-toward-a-c..> 04-Apr-2016 18:30 155K
james_closed-set-logic-in-categories.pdf 06-Aug-2019 16:53 26M
jameson_badiou-and-the-french-tradition.pdf 18-Aug-2017 22:57 255K
jameson_cognitive-mapping.pdf 24-Jan-2017 14:18 155K
jameson_five-theses-on-actually-existing-marxis..> 23-Jul-2017 18:23 398K
jameson_postmodernism.pdf 03-Aug-2026 11:35 260K
janelidze-street_infinitary-addition-real-numbe..> 14-Nov-2018 14:56 593K
janelidze-street_real-sets.pdf 23-Nov-2017 11:59 703K
japaridze_intro-to-computability-logic.pdf 10-Jun-2016 20:49 718K
jardine_simplicial-presheaves.pdf 21-Jun-2016 21:16 2M
jay_languages-for-monoidal-categories.pdf 07-Jul-2022 11:25 1M
jaz-myers_categorical-systems-theory.pdf 18-Jul-2024 12:44 2M
jaz-myers_string-diagrams-for-double-categories..> 10-Nov-2020 16:07 1M
jean-cavailles-jean-cavailles-les-deuxiemes-cou..> 16-Jan-2019 13:12 13M
jean-cavailles-philosophie-mathematique-troisie..> 23-Apr-2019 13:58 13M
jean-cavaillès-and-the-vienna-circle.pdf 22-Jul-2019 14:34 2M
jedrzejweski_diagrammes-et-categories.pdf 14-Mar-2019 12:58 7M
jeffrey_Premonoidal_categories_and_a_graphical_..> 23-Nov-2021 21:11 239K
jeffrey_graphical-view-appendices.pdf 03-Apr-2023 19:17 339K
jiblaze_cohomology-of-algebraic-theories.pdf 14-Feb-2019 16:49 2M
jiblaze_quillen-cohomology-and-baues-wirsching-..> 11-Apr-2019 13:58 3M
johnson_invariance-of-dimension.pdf 07-Apr-2020 13:38 6M
johnson_remarks-on-representations-of-universal..> 17-Aug-2023 17:01 3M
johnstone_rings-fields-spectra.pdf 28-Feb-2018 16:21 2M
johnstone_the-art-of-pointless-thinking.pdf 25-Apr-2023 16:22 1M
johnstone_the-point-of-pointless-topology.pdf 17-Jul-2016 16:24 2M
joinet-on-naturalness-in-logic.pdf 06-Jun-2016 16:32 448K
joinet_Nature et logique, de G. Gentzen à J-Y...> 18-Jun-2019 11:52 313K
joinet_logique-et-metaphysique.pdf 18-Jun-2019 12:30 669K
joinet_ouvrir-la-logique-au-monde.pdf 18-Jun-2019 12:34 2M
joncas_pataphor.pdf 02-May-2018 21:29 260K
joyal-street-verity_traced-monoidal.pdf 22-Feb-2024 14:28 821K
joyal-street_braided-monoidal-categories.pdf 02-Jan-2021 15:02 4M
joyal-street_braided-tensor-categories.pdf 19-Jan-2022 16:50 2M
joyal-street_geometry-of-tensor-calculus-ii.pdf 07-Feb-2023 14:52 179K
joyal-street_geometry-of-tensor-calculus.pdf 28-Sep-2021 07:59 2M
joyal-street_introduction-to-tannaka-duality-an..> 06-Mar-2021 18:52 702K
joyal-street_planar-diagrams-and-tensor-algebra..> 28-Sep-2021 08:17 3M
joyal_braided-tensor-categories.pdf 19-Jan-2022 16:48 2M
joyal_foncteurs-analytiques-et-especes-de-struc..> 02-Dec-2017 19:27 1M
joyal_remarks-on-the-theory-of-two-player-games..> 28-Apr-2017 10:00 195K
joyal_une-theorie-combinatoire-des-series-forme..> 06-May-2021 10:41 3M
joyce_c-infty-algebraic-geometry.pdf 14-Jun-2017 19:05 2M
julia_a-fresh-approach-to-numerical-computing.pdf 08-Nov-2014 11:35 3M
justifying-path-induction.pdf 23-Sep-2016 15:32 803K
kainen2009_on-the-ehresmann–vanbremeersch-the..> 01-Apr-2017 20:33 281K
kambites_formal-languages-and-groups-as-memory.pdf 23-May-2022 15:33 216K
kan-extensions-are-partial-colimits.pdf 13-Jan-2021 18:27 650K
kan-extensions-for-program-optimisation.pdf 07-May-2021 11:05 412K
kant-within-the-tradition-of-modern-logic-the-r..> 01-May-2018 10:28 2M
kant_Attempt-to-Introduce-the-Concept-of-Negati..> 27-Jul-2017 14:27 3M
kantorovich-price-implications-of-optimal-plann..> 10-Dec-2019 17:06 2M
kantorovich_mathematical-methods-of-organizing-..> 22-Jul-2018 12:03 3M
kant’s-transcendental-synthesis-of-the-imagin..> 07-Jul-2016 14:30 783K
kappe_completeness-of-kleene-algebra.pdf 02-Jan-2023 10:37 325K
karatani_science-of-spirit.pdf 08-Jan-2022 13:12 94K
karvonen-broadbent_categorical-composable-crypt..> 31-Aug-2022 09:14 440K
kasangian-labella_observational-trees-as-models..> 08-Mar-2021 13:05 384K
kasangian_b-categories-and-gamuts.pdf 23-Nov-2020 19:33 850K
kasangian_on-continuous-time-agents.pdf 05-Feb-2021 16:52 1M
kashiwara_algebraic-study-of-systems-of-partial..> 15-Jan-2018 22:19 5M
katis-sabadini-walters_bicategories-of-processe..> 20-Nov-2020 12:08 2M
katis-sabadini-walters_span-graph.pdf 11-Nov-2020 12:04 682K
kato_Sheaf Cohomology of Conscious Entity.pdf 22-Jul-2018 11:11 743K
kato_category-theory-and-consciousness.pdf 22-Jul-2018 11:20 4M
kato_category-theory-as-the-language-of-conscio..> 22-Jul-2018 11:19 239K
kato_grasping-a-concept-as-an-image-or-as-a-wor..> 22-Jul-2018 11:32 249K
kato_sheaf-theoretic-formulation-for-consciousn..> 22-Jul-2018 11:22 694K
katsumata_parametric-effect-monads-and-semantic..> 28-Jan-2026 11:39 497K
katz-borovich_who-gave-you-the-cauchy-weierstra..> 29-Mar-2020 17:23 474K
katz_misconceptions-from-the-history-of-analysi..> 29-Mar-2020 19:59 694K
kauffman_biologic.pdf 03-Jul-2016 19:19 559K
kauffman_knotlogic.pdf 28-Apr-2017 20:24 4M
kauffman_knots-intro.pdf 03-Jul-2016 19:19 1018K
kauffman_peirce's-mathematics.pdf 05-Jun-2017 16:56 167K
kauffman_spencer-brown's-laws-of-form.pdf 26-Aug-2016 21:21 3M
kaufmann_hegel-on-calculus.pdf 02-Mar-2021 17:34 371K
kaufmann_the-inevitability-of-alienation.pdf 19-Sep-2017 09:53 1M
kawase_double-categories-of-profunctors.pdf 22-Jul-2026 14:57 1M
kedlaya_why-schemes.pdf 17-Dec-2017 19:03 121K
kelly-lack_finite-product-preserving-functors-k..> 19-Dec-2025 09:24 536K
kelly-lack_on-property-like-structures.pdf 08-May-2021 13:19 312K
kelly-power_two-dimensional-monad-theory.pdf 25-Nov-2020 20:25 3M
kelly-street_review-of-the-elements-of-2categor..> 15-Oct-2020 11:15 1M
kelly_a-unified-treatment-of-transfinite-constr..> 16-Feb-2024 11:03 3M
kelly_basic-concepts-of-enriched-category-theor..> 17-Jan-2024 17:10 1M
kelly_categories-enriched-on-two-sides.pdf 14-Jun-2023 14:38 330K
kelly_cofibrations-and-the-realization-of-non-d..> 13-Nov-2020 10:33 2M
kelly_coherence-theorems-for-lax-algebras-and-f..> 11-Oct-2021 08:57 3M
kelly_doctrinal-adjunction.pdf 21-Oct-2017 19:53 991K
kelly_elementary-observations-on-2-categorical-..> 23-Feb-2021 13:26 791K
kelly_flexible-limits-for-2-categories.pdf 23-Apr-2021 11:57 2M
kelly_on-clubs-and-doctrines.pdf 09-Feb-2023 10:31 3M
kempf_elementary-proofs-cohomology-of-quasi-coh..> 02-Aug-2018 10:35 777K
khovanov_categorification-of-the-jones-polynomi..> 03-Oct-2017 17:57 477K
kim_arithmetic-gauge-theory-a-brief-introductio..> 21-Dec-2017 19:20 388K
kim_grothendieck.pdf 29-Oct-2019 16:47 94K
kim_why-everyone-should-know-number-theory.pdf 12-Jun-2018 14:14 101K
kindergarten-qm-graduates.pdf 30-Jun-2022 13:14 2M
kinship -- Britannica Online Encyclopedia.pdf 10-Aug-2022 11:29 559K
kleene-for-planar-acyclic-graphs.pdf 15-Jan-2021 16:42 1M
kleene_origins-of-recursive-function-theory.pdf 14-Dec-2020 20:05 20M
kleene_representation-of-events-in-nerve-nets-a..> 12-Nov-2020 14:32 3M
klein-isocahedron-and-dessins-d'enfants.pdf 22-Oct-2018 16:44 3M
klein-weyls-program-and-the-ontology-of-gauge-a..> 11-May-2017 12:56 427K
klein_a-comparative-review-of-recent-researches..> 06-Jun-2016 16:53 209K
klein_riemann-and-his-significance-for-the-deve..> 28-Mar-2020 01:07 2M
kleiner_evolution-of-the-function-concept.pdf 07-Jun-2018 15:25 2M
kleiner_from-numbers-to-rings.pdf 07-Jun-2018 15:14 249K
kleiner_genesis-of-the-abstract-ring-concept.pdf 07-Jun-2018 15:24 305K
kleiner_roots-of-commutative-algebra-in-algebra..> 07-Jun-2018 15:25 1M
knowledge-based-approach-for-military-planning-..> 16-Jan-2019 11:27 7M
knowledge-planning-and-markets-a-missing-chapte..> 08-Dec-2019 19:59 134K
knowledge-representation-for-unit-manufacturing..> 04-Jan-2019 18:44 3M
knowledge-representation-learning-overview.pdf 15-Jan-2019 16:13 910K
knuth_on-the-translation-of-languages-from-left..> 07-Jul-2022 12:10 1M
koan-like-ambiguities-in-cage's-music-for-piano..> 29-Jan-2018 21:55 1M
kock wraith topos theory 71.pdf 28-Jul-2025 17:37 244M
kock-wraith_elementary-toposes.pdf 28-Jul-2025 17:59 4M
kock_a-simple-axiomatics-for-differentiation.pdf 24-Mar-2017 10:16 685K
kock_commutative-monads-as-a-theory-of-distribu..> 11-May-2022 09:53 310K
kock_continuous-yoneda-representation-of-a-smal..> 05-Aug-2020 22:10 8M
kock_differential-calculus-and-nilpotent-real-n..> 24-Mar-2017 10:16 132K
kock_elementary-remarks-on-monoidal-units.pdf 11-May-2021 08:38 226K
kock_fibrations-as-eilenberg-moore-algebras.pdf 21-May-2021 21:21 139K
kock_graphs-hypergraphs-and-properads.pdf 09-Sep-2024 10:03 650K
kock_introduction-to-functorial-semantics.pdf 24-Mar-2017 13:30 19M
kock_metric-spaces-and-sdg.pdf 24-Mar-2017 16:48 215K
kock_monads-for-which-structures-are-adjoint-to..> 07-May-2021 16:39 1M
kock_new-methods-for-old-spaces-sdg.pdf 17-Jul-2016 09:58 233K
kock_strong-functors-and-monoidal-monads.pdf 04-Apr-2021 12:27 348K
kock_synthetic-reasoning-in-differential-geomet..> 24-Mar-2017 10:16 4M
kock_universal-projective-geometry-over-topos-t..> 22-Jan-2018 11:41 3M
kolakowski_my-correct-views-on-everything.pdf 29-Aug-2017 12:23 210K
kollar_the-structure-of-algebraic-threefolds-an..> 15-Dec-2017 16:44 7M
kolman_adventure-of-cybernetics-in-the-soviet-u..> 03-Jul-2017 14:31 999K
kolmogorov_on-the-interpretation-of-intuitionis..> 07-Apr-2018 20:21 120K
kordela_materialist-epistemontology-sohn-rethel..> 24-Oct-2018 10:50 182K
koslowski_categorical-model-for-2-pdas.pdf 23-Oct-2025 17:39 779K
kostecki-ittt.pdf 26-Apr-2017 16:49 1M
kostecki_sketch-of-category-theoretic-interface..> 17-May-2017 14:55 241K
koymans_models-of-the-lambda-calculus.pdf 14-May-2026 08:47 874K
kozen_completeness-theorem-for-kleene-algebras.pdf 16-Jun-2022 11:20 228K
kozen_myhill-nerode-for-trees.pdf 24-Mar-2022 10:07 120K
kreines_hegel's-critique-of-pure-mechanism.pdf 05-May-2017 13:31 231K
kreisel_a-notion-of-mechanistic-theory.pdf 12-Apr-2020 12:30 2M
kreisel_church's-thesis-and-the-ideal-of-inform..> 06-May-2017 20:52 3M
kreisel_ordinal-logics-and-the-characterization..> 11-Jun-2019 15:34 1M
kripke_semantical-analysis-of-modal-logic-i.pdf 13-Aug-2016 23:49 818K
kroker_baudrillard's-marx.pdf 10-Aug-2018 11:26 2M
kurz_an-introduction-to-coalgebra-in-four-short..> 26-Aug-2019 09:20 645K
la-position-de-cavailles-dans-le-probleme-de-fo..> 17-Feb-2019 17:04 1M
labor-value-and-exploitation-in-the-global-econ..> 05-May-2018 20:11 306K
lack-adamek-borceux-rosicky_a-classification-of..> 17-Sep-2020 14:34 198K
lack-garner_lex-colimits.pdf 29-Apr-2021 15:51 440K
lack_2-categories-companion.pdf 21-Oct-2017 18:02 555K
lack_algebra-of-distributive-and-extensive-cate..> 08-Jan-2026 12:25 11M
lack_australian-category-theory.pdf 15-Oct-2020 11:57 468K
lack_codescent-objects-and-coherence.pdf 19-Jan-2022 19:30 194K
lack_composing-props.pdf 15-May-2016 21:20 186K
lack_on-the-monadicity-of-finitary-monads.pdf 16-Feb-2024 11:04 88K
ladyman-presnell_identity-in-hott-ii.pdf 07-Jan-2017 21:25 386K
ladyman_does-hott-provide-a-foundation.pdf 07-Jan-2017 21:26 273K
ladyman_empirical-and-materialist-stances-recon..> 24-Jun-2015 12:13 142K
ladyman_hott-i-justification-of-path-induction.pdf 27-Jul-2015 10:32 310K
ladyman_science-metaphysics-and-methods.pdf 24-Jun-2015 12:20 214K
ladyman_structural-vs-scientific-realism.pdf 24-Jun-2015 12:13 182K
ladyman_what-is-a-complex-system.pdf 03-May-2015 18:24 561K
ladyman_what-is-structural-realism.pdf 11-Mar-2018 00:15 75K
lafont_algebra-and-geometry-of-rewriting.pdf 31-Jan-2018 10:58 179K
lafont_algebraic-boolean-circuits.pdf 14-Jan-2021 14:20 429K
lafont_equational-reasoning-with-2-dimensional-..> 19-Jul-2021 11:24 285K
lafont_logiques-categories-et-machines.pdf 28-Sep-2022 08:37 8M
lagrange's-algebraic-vision-of-the-calculus.pdf 24-Mar-2019 14:36 1M
lair_DIAGRAMMES LOCALEMENT LIBRES EXTENSIONS DE..> 20-May-2019 15:03 1M
lair_morphismes-et-structures-algebriques.pdf 15-Sep-2020 22:27 759K
lamarche_on-the-algebra-of-structural-contexts.pdf 12-Nov-2025 21:44 494K
lambek's-categorial-proof-theory-and-lauchli's-..> 07-Jul-2019 12:45 3M
lambek_bicategories-in-algebra-and-linguistics.pdf 20-Oct-2021 14:57 209K
lambek_binary-relations-in-social-and-mathemati..> 17-May-2022 08:45 2M
lambek_deductive-systems-and-categories-i.pdf 15-Dec-2018 18:50 2M
lambek_deductive-systems-and-categories-ii.pdf 15-Dec-2018 18:51 2M
lambek_from-lambda-to-cartesian-closed-categori..> 16-May-2024 07:58 2M
lambek_from-the-rules-of-grammar-to-the-laws-of..> 04-Jun-2021 10:09 287K
lambek_from-word-to-sentence.pdf 09-Oct-2025 13:35 431K
lambek_how-to-program-an-infinite-abacus.pdf 19-Feb-2024 12:13 518K
lambek_if-hamilton-had-prevailed.pdf 17-Aug-2016 00:47 2M
lambek_influence-of-heraclitus-on-modern-math.pdf 04-Jul-2016 20:34 1M
lambek_multicategories-revisited.pdf 08-Sep-2025 10:25 1M
lambek_on-a-connection-between-logic-algebra-an..> 09-Jun-2026 07:34 1M
lambek_on-a-sheaf-of-possible-worlds.pdf 13-Dec-2017 16:25 642K
lambek_on-the-calculus-of-syntactic-types.pdf 30-Jul-2024 10:31 923K
lambek_production-grammar-for-english-kinship-t..> 08-Aug-2022 12:57 2M
lambek_programs-grammars-arguments.pdf 23-Oct-2023 20:15 639K
lambek_rewrite-system-of-the-western-pacific.pdf 08-Aug-2022 10:53 1M
lambek_some-aspects-of-categorical-logic.pdf 20-Sep-2025 16:56 1005K
lambek_the-mathematics-of-sentence-structure.pdf 17-Sep-2017 21:15 4M
lambek_what-is-the-world-of-mathematics.pdf 15-Mar-2017 10:18 190K
lambert-patterson_cartesian-double-theories.pdf 16-Jul-2025 12:41 1M
lamport_time-clocks-and-the-ordering-of-events-..> 31-Aug-2014 21:26 695K
landin_mechanical-evaluation-of-expressions.pdf 04-Feb-2024 20:48 1M
landry_recollection-and-the-mathematician's-met..> 12-Aug-2019 20:12 241K
landsman_general-principle-of-tovariance.pdf 16-May-2017 16:39 1009K
langlands_genesis-and-gestation-of-functorialit..> 11-Oct-2018 14:03 91K
langlands_representation-theory.pdf 11-Jan-2018 11:04 247K
language-theory-and-infinite-graphs.pdf 06-Jun-2022 09:08 259K
language_models_are_unsupervised_multitask_lear..> 19-Feb-2019 17:36 569K
lapointe_Bolzano on Logic.pdf 02-Apr-2019 11:03 568K
lardreau_the-problem-of-great-politics-in-the-l..> 15-Oct-2018 10:11 148K
larvor_lakatos'-mathematical-hegelianism.pdf 08-Jan-2017 20:06 130K
larvor_lautman-dialectics-in-mathematics.pdf 14-Jul-2015 19:39 349K
larvor_what-is-dialectical-philosophy-of-mathem..> 08-Jan-2017 20:04 126K
lash_bailey-prynne-lachenmann-metonymy.pdf 26-May-2019 23:55 4M
lau_freedom-spontaneity-and-the-noumenal-perspe..> 28-Jul-2015 07:33 148K
lauda_frobenius-algebras-and-planar-open-string..> 21-Jul-2016 12:37 995K
laughren_warlpiri-kinship-structure.pdf 14-Aug-2023 10:18 5M
launchberry_natural-semantics-for-lazy-evaluati..> 26-Oct-2025 07:23 1011K
law_the-reputational-economics-of-open-inputs-s..> 18-Sep-2022 17:28 3M
lawen-another_beginning-of-philosophy.pdf 16-Oct-2020 00:06 332K
lawfulness-without-laws.pdf 22-Jun-2021 10:45 8M
lax-orthogonal-factorization-systems-preprint.pdf 02-May-2021 18:28 813K
le-condizioni-di-riemann-e-concetto-di-misura.pdf 03-Apr-2020 12:05 2M
lean-metaprogramming-framework.pdf 02-Mar-2020 13:12 355K
learning-automata-and-transducers-categorical-a..> 05-Dec-2021 19:55 646K
lebesgue_integrale-longueur-aire.pdf 24-Jun-2020 11:05 8M
lectures-on-herbrand-as-a-logician.pdf 05-Jun-2019 14:20 1M
lectures-on-moduli-spaces-of-elliptic-curves.pdf 10-Jun-2018 20:55 592K
leinster_a-general-theory-of-self-similarity.pdf 03-Jan-2017 17:53 870K
leinster_are-operads-algebraic-theories.pdf 17-Nov-2017 13:49 115K
leinster_basic-bicategories.pdf 17-Jan-2022 21:02 141K
leinster_cobbold_bio-diversity.pdf 06-Apr-2017 14:49 382K
leinster_codensity-and-the-ultrafilter-monad.pdf 22-Oct-2018 10:22 549K
leinster_coproducts-of-operads.pdf 18-May-2023 12:53 140K
leinster_doing-without-diagrams-(elements).pdf 12-Jun-2016 10:22 120K
leinster_fourier-analysis-notes.pdf 11-Mar-2020 14:06 843K
leinster_galois-theory.pdf 24-Apr-2022 13:12 1M
leinster_general-operads-and-multicategories.pdf 06-Dec-2022 13:50 258K
leinster_generalized-categories-of-enrichment.pdf 26-Nov-2020 21:48 174K
leinster_generalized-enrichment-for-categories-..> 26-Nov-2020 21:02 618K
leinster_generalized-enrichment-of-categories.pdf 26-Nov-2020 21:48 174K
leinster_higher-categories-higher-operads.pdf 27-Oct-2025 17:49 3M
leinster_homotopy-algebras-for-operads.pdf 28-Nov-2017 21:30 710K
leinster_how-to-measure-almost-anything.pdf 17-Nov-2017 13:37 1M
leinster_informal-intro-to-topos-theory.pdf 17-Jul-2016 11:54 277K
leinster_lebesgue.pdf 04-Nov-2020 14:03 516K
leinster_monadicity.pdf 11-Jan-2022 13:08 149K
leinster_operads-in-higher-dimensional-category..> 29-Nov-2017 13:22 1M
leinster_periodicity-of-spaces-of-walks.pdf 01-Dec-2017 21:02 107K
leinster_rethinking-set-theory.pdf 24-Mar-2016 23:19 320K
leinster_structures-in-higher-dimensional-categ..> 06-Dec-2022 13:42 1M
leinster_the-eventual-image.pdf 04-Jun-2024 12:20 713K
leinster_the-magnitude-of-a-metric-space.pdf 04-Jan-2017 09:45 403K
leinster_the-magnitude-of-metric-spaces.pdf 04-Jan-2017 09:45 657K
leinster_topology-and-higher-dimensional-catego..> 02-Jan-2017 17:22 236K
leinster_up-to-homotopy-monoids.pdf 28-Nov-2017 17:15 117K
leinster_yoneda.pdf 05-Jun-2016 16:07 152K
leontief-wassily_input-output-economics-1951-oc..> 01-Sep-2022 11:05 1M
leray-in-oflag-xviia-origins-of-sheaf-theory.pdf 21-Jul-2018 18:02 222K
lerman_networks-of-open-systems.pdf 11-Dec-2018 13:52 532K
leroy_software-between-mind-and-matter.pdf 13-May-2020 15:01 301K
les-esquisses-entre-logique-et-geometrie-la-the..> 31-Aug-2018 09:51 312K
les-levidow-radical-science-1.pdf 06-Apr-2020 21:27 6M