MATH
Login Or Sign up

List Question

15
432
Views

An $\omega$-categorical theory $T$ with no finite models is complete.

Published on
#logic #model-theory #categorical-logic
183
Views

Hyperdoctrines and Contravariance

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

Sorting out what's true in the generic model in the classifying topos of a theory

Published on
#reference-request #soft-question #intuition #topos-theory #categorical-logic
1.4k
Views

Some reference for categorical logic?

Published on
#logic #reference-request #category-theory #categorical-logic
9.3k
Views

What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?

Published on
#logic #category-theory #formal-languages #topos-theory #categorical-logic
208
Views

Logic and adjunctions with ideals in ring theory

Published on
#ring-theory #commutative-algebra #adjoint-functors #categorical-logic
100
Views

Which limit sketches produce Grothendieck toposes?

Published on
#category-theory #topos-theory #categorical-logic #locally-presentable-categories
940
Views

The legitimacy of topos theory and intuitionism.

Published on
#foundations #philosophy #topos-theory #intuitionistic-logic #categorical-logic
115
Views

Syntactic category of a geometric theory has finite limits.

Published on
#logic #category-theory #first-order-logic #topos-theory #categorical-logic
169
Views

What is a logical formula in the language of categories? How can we express basic model theoretic concepts categorically?

Published on
#logic #reference-request #category-theory #model-theory #categorical-logic
59
Views

Defining truth in a topos model

Published on
#definition #topos-theory #categorical-logic
374
Views

How to express predicate logic in the categorical (monoidal) logics?

Published on
#category-theory #computer-science #predicate-logic #monoidal-categories #categorical-logic
93
Views

How to construct a regular functor from a categorical interpretation?

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

Introduction and elimination rules for type-theoretic equalizers/coequalizers/pushforwards/pullbacks

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

What does "full first-order logic" mean?

Published on
#topos-theory #categorical-logic

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.