MATH
Login Or Sign up

List Question

13
119
Views

categorical logic and computation

Published on
#category-theory #computational-complexity #computability #categorical-logic
250
Views

Precise statement of the syntactic category of a logic/type theory, in maximum generality?

Published on
#category-theory #type-theory #formal-systems #categorical-logic
243
Views

Intuition for Exists and Forall functors

Published on
#category-theory #intuition #adjoint-functors #categorical-logic
77
Views

Categories of presheaves with topologies stronger than $\neg\neg$-topology

Published on
#category-theory #topos-theory #categorical-logic
82
Views

Does the forgetful functor from the category of models of a cartesian theory preserve and create limits?

Published on
#category-theory #limits-colimits #categorical-logic #forgetful-functors
96
Views

Models of pretoposes vs. models of coherent categories

Published on
#logic #category-theory #topos-theory #categorical-logic
108
Views

Name of functor from "Propositions"/"Properties" to "Power set" implied (in part?) by axiom schema of specification?

Published on
#reference-request #category-theory #terminology #topos-theory #categorical-logic
211
Views

Mistake in B. Jacobs book Categorical Logic and Type Theory?

Published on
#category-theory #type-theory #categorical-logic
287
Views

Linear logic and linearly distributive categories

Published on
#logic #category-theory #sequent-calculus #categorical-logic #linear-logic
82
Views

Is there a decent notion of "double Lawvere theory?"

Published on
#category-theory #categorical-logic
138
Views

Why is $V(xy)$ the (geometrically correct) union of the two axis (as a scheme)?

Published on
#algebraic-geometry #category-theory #schemes #affine-schemes #categorical-logic
108
Views

is the NNO in a sheaf topos a model of classical PA?

Published on
#logic #topos-theory #intuitionistic-logic #categorical-logic
101
Views

Classifying Topos of a Classical First-order Theory

Published on
#logic #topos-theory #categorical-logic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.