Categorical set theory

Results: 10



#Item
1Topology / Mathematics / Homotopy theory / Algebraic topology / Abstract algebra / Fundamental group / Covering space / Countable set

COMMENTS ON “CONFORMAL AND QUASICONFORMAL CATEGORICAL REPRESENTATION OF HYPERBOLIC RIEMANN SURFACES” Shinichi Mochizuki December 2015

Add to Reading List

Source URL: www.kurims.kyoto-u.ac.jp

Language: English - Date: 2015-12-01 15:44:58
2

Categorical semantics of constructive set theory Beim Fachbereich Mathematik der Technischen Universit¨at Darmstadt

Add to Reading List

Source URL: staff.fnwi.uva.nl

Language: English - Date: 2012-01-23 06:19:16
    3Functors / Homotopy theory / Natural transformation / Functor category / 2-category / Functor / Equivalence of categories / Adjoint functors / Simplicial set / Category theory / Abstract algebra / Higher category theory

    Theory and Applications of Categories, Vol. 28, No. 27, 2013, pp. 933–980. A DOUBLE CATEGORICAL MODEL OF WEAK 2-CATEGORIES SIMONA PAOLI, DORETTE PRONK Abstract. We introduce the notion of weakly globular double catego

    Add to Reading List

    Source URL: www.emis.de

    Language: English - Date: 2013-10-06 12:55:00
    4Statistical theory / Statistical models / Categorical data / Logistic regression / Statistical inference / SAS / Linear regression / Proportional hazards models / Statistics / Regression analysis / Econometrics

    Suppose you are interested in assessing the risk of an event as it depends on a set of covariates

    Add to Reading List

    Source URL: www.amstat.org

    Language: English - Date: 2005-01-29 00:13:58
    5Sheaf theory / Topos theory / Homological algebra / Order theory / Topos / Sheaf / Subobject classifier / Categorical logic / Adjoint functors / Category theory / Mathematics / Abstract algebra

    LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio

    Add to Reading List

    Source URL: www.andrew.cmu.edu

    Language: English - Date: 2014-06-01 15:27:23
    6Model theory / Predicate logic / Z notation / Sheaf theory / Topos / Categorical logic / Axiom schema of replacement / Sheaf / Constructive set theory / Mathematical logic / Mathematics / Logic

    Relating first-order set theories, toposes and categories of classes Steve Awodey

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2013-04-30 07:46:02
    7Probability space / Independence / Joint probability distribution / Conditioning / Random variable / Dirac measure / Conditional probability / Borel set / Measure / Probability theory / Mathematical analysis / Mathematics

    arXiv:1205.1488v2 [math.CT] 12 Jun[removed]A Categorical Foundation

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2012-06-12 20:51:58
    8Categorical logic / William Lawvere / Category of sets / Topos / Categorical set theory / Morphism / Function / Axiom of choice / Metric / Mathematics / Category theory / Mathematical logic

    Reprints in Theory and Applications of Categories, No. 11, 2005, pp. 1–35. AN ELEMENTARY THEORY

    Add to Reading List

    Source URL: tac.mta.ca

    Language: English - Date: 2005-05-20 10:56:44
    9Categorical logic / William Lawvere / Category of sets / Topos / Categorical set theory / Morphism / Function / Axiom of choice / Metric / Mathematics / Category theory / Mathematical logic

    PDF Document

    Add to Reading List

    Source URL: www.tac.mta.ca

    Language: English - Date: 2005-05-20 10:56:44
    10Categorical logic / Theoretical computer science / Topos / William Lawvere / Mathematical constructivism / Sheaf / Mathematical logic / Alexander Grothendieck / Set theory / Mathematics / Category theory / Abstract algebra

    PDF Document

    Add to Reading List

    Source URL: publish.uwo.ca

    Language: English - Date: 2012-09-08 09:36:38
    UPDATE