Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
articles search
articles
Fundraising:
8.3% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Introduction to Categories and Categorial Logic (draft)
arXiv.org
Samson Abramsky
,
Nikos Tzevelekos
category
categories
arrow
functor
products
arrows
functors
π2
λx
monoidal
π1
linear
function
unique
defined
product
calculus
functions
examples
terminal
define
exists
composition
consider
diagram
isomorphism
morphism
symmetric
moreover
µa
initial
adjunction
sets
transformations
map
commutes
θc
comonad
naturality
θa
proofs
typed
in2
adjoint
categorical
proposition
coproducts
jγ
uniqueness
monoid
Year:
2011
Language:
english
File:
PDF, 898 KB
Your tags:
0
/
0
english, 2011
2
Le calcul dans les topos relatifs et l’interprétation du langage W
Méven Cadet
π1
ϕ
topos
flèche
π2
x:t
objet
hgiy
l’interprétation
objets
foncteur
notations
πf
notation
garant
interprétation
variables
élément
ϕ0
ceci
ensemblistement
l’ensemble
relativement
règles
ψ1
ensembles
hξiz
l’objet
opérations
énoncé
produits
représente
théorème
construire
natif
pullback
singleton
autrement
envoie
preuves
relatifs
éléments
γ1
cible
fibré
hπ1
intuitivement
représentant
monomorphisme
notons
Year:
2012
Language:
french
File:
PDF, 668 KB
Your tags:
0
/
0
french, 2012
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×